Searching for authors named Andrew Ireland – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
The Use of Planning Critics in Mechanizing Inductive Proofs
- …The Use of Planning Critics in Mechanizing Inductive Proofs Andrew Ireland Department…
- Cited by 50 (8 self) – Add To MetaCart
-
Extensions to a Generalization Critic for Inductive Proof
- …Extensions to a Generalization Critic for Inductive Proof Andrew Ireland Alan Bundy Computing…
- Cited by 8 (3 self) – Add To MetaCart
-
On the Automatic Discovery of Loop Invariants
- …On the Automatic Discovery of Loop Invariants Andrew Ireland y and Jamie Stark z Department…
- Cited by 9 (2 self) – Add To MetaCart
-
Invariant Discovery via Failed Proof Attempts
- …Invariant Discovery via Failed Proof Attempts ? Jamie Stark and Andrew Ireland Department…
- Cited by 10 (0 self) – Add To MetaCart
-
Using Failure to Guide Inductive Proof
- …Using Failure to Guide Inductive Proof Andrew Ireland Alan Bundy Email: air@(email omitted); Email…
- Cited by 5 (1 self) – Add To MetaCart
-
Productive Use of Failure in Inductive Proof
- …Productive Use of Failure in Inductive Proof Andrew Ireland Alan Bundy a.ireland@(email omitted); a…
- Cited by 82 (18 self) – Add To MetaCart
-
Automatic Verification of Functions with Accumulating Parameters
- … Automatic Verification of Functions with Accumulating Parameters ANDREW IRELAND Department of Computing…
- Cited by 6 (1 self) – Add To MetaCart
-
Higher Order Function Synthesis Through Proof Planning
- … Through Proof Planning Andrew Cook, Andrew Ireland and Greg Michaelson Department of Computing…
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying Temporal Properties in HW-Hume
- …Verifying Temporal Properties in HW-Hume Gudmund Grov, Andrew Ireland and Greg Michaelson School…
- Add To MetaCart
-
Automation for Exception Freedom Proofs
- …. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
