Andrew Ireland
Andrew Ireland
Professor of Computer Science, Heriot-Watt University
Verified email at hw.ac.uk - Homepage
Title
Cited by
Cited by
Year
The computer modelling of mathematical reasoning
A Bundy
Academic Press, 1983
4551983
Rippling: A heuristic for guiding inductive proofs
A Bundy, A Stevens, F Van Harmelen, A Ireland, A Smaill
Elsevier, 1993
3721993
Productive use of failure in inductive proof
A Ireland, A Bundy
Automated Mathematical Induction, 79-111, 1996
2341996
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
Cambridge University Press, 2005
1942005
The use of planning critics in mechanizing inductive proofs
A Ireland
International Conference on Logic for Programming Artificial Intelligence …, 1992
1211992
Extensions to the rippling-out tactic for guiding inductive proofs
A Bundy, F Van Harmelen, A Smaill, A Ireland
International Conference on Automated Deduction, 132-146, 1990
971990
Invariant discovery via failed proof attempts
J Stark, A Ireland
International Workshop on Logic Programming Synthesis and Transformation …, 1998
581998
On the automatic discovery of loop invariants
A Ireland, J Stark
NASA Conference Publication, 137-152, 1997
451997
Proof plans for the correction of false conjectures
R Monroy, A Bundy, A Ireland
International Conference on Logic for Programming Artificial Intelligence …, 1994
321994
On the use of the constructive omega-rule within automated deduction
S Baker, A Ireland, A Smaill
International Conference on Logic for Programming Artificial Intelligence …, 1992
321992
Automatic verification of functions with accumulating parameters
A Ireland, A Bundy
Journal of Functional Programming 9 (2), 225-245, 1999
301999
Extensions to a generalization critic for inductive proof
A Ireland, A Bundy
International Conference on Automated Deduction, 47-61, 1996
301996
Proof planning for strategy development
A Ireland, J Stark
Annals of Mathematics and Artificial Intelligence 29 (1-4), 65-97, 2000
262000
Interactive proof critics
A Ireland, M Jackson, G Reid
Formal Aspects of Computing 11 (3), 302-325, 1999
241999
Towards a skeleton based parallelising compiler for SML
G Michaelson, A Ireland, P King
Proceedings of 9th International Workshop on Implementation of Functional …, 1997
231997
An integrated approach to high integrity software verification
A Ireland, BJ Ellis, A Cook, R Chapman, J Barnes
Journal of Automated Reasoning 36 (4), 379-410, 2006
212006
Reasoned modelling critics: turning failed proofs into modelling guidance
A Ireland, G Grov, M Butler
International Conference on Abstract State Machines, Alloy, B and Z, 189-202, 2010
192010
Increasing the versatility of heuristic based theorem provers
A Manning, A Ireland, A Bundy
International Conference on Logic for Programming Artificial Intelligence …, 1993
191993
Low-level programming in Hume: an exploration of the HW-Hume level
K Hammond, G Grov, G Michaelson, A Ireland
Symposium on Implementation and Application of Functional Languages, 91-107, 2006
182006
Invariant patterns for program reasoning
A Ireland, BJ Ellis, T Ingulfsen
Mexican International Conference on Artificial Intelligence, 190-201, 2004
162004
The system can't perform the operation now. Try again later.
Articles 1–20