Follow
Andrew Ireland
Andrew Ireland
Professor of Computer Science, Heriot-Watt University
Verified email at hw.ac.uk - Homepage
Title
Cited by
Cited by
Year
Rippling: A heuristic for guiding inductive proofs
A Bundy, A Stevens, F Van Harmelen, A Ireland, A Smaill
Artificial intelligence 62 (2), 185-253, 1993
3811993
Productive use of failure in inductive proof
A Ireland, A Bundy
Automated Mathematical Induction, 79-111, 1996
2401996
Rippling: meta-level guidance for mathematical reasoning
A Bundy, D Basin, D Hutter, A Ireland
Cambridge University Press, 2005
2052005
The use of planning critics in mechanizing inductive proofs
A Ireland
International Conference on Logic for Programming Artificial Intelligence …, 1992
1231992
Extensions to the rippling-out tactic for guiding inductive proofs
A Bundy, F Harmelen, A Smaill, A Ireland
International Conference on Automated Deduction, 132-146, 1990
961990
Invariant discovery via failed proof attempts
J Stark, A Ireland
International Workshop on Logic Programming Synthesis and Transformation …, 1998
631998
On the automatic discovery of loop invariants
A Ireland, J Stark
NASA Conference Publication, 137-152, 1997
451997
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
391992
Proof plans for the correction of false conjectures
R Monroy, A Bundy, A Ireland
International Conference on Logic for Programming Artificial Intelligence …, 1994
341994
Extensions to a generalization critic for inductive proof
A Ireland, A Bundy
International Conference on Automated Deduction, 47-61, 1996
311996
Automatic verification of functions with accumulating parameters
A Ireland, A Bundy
Journal of Functional Programming 9 (2), 225-245, 1999
301999
Proof planning for strategy development
A Ireland, J Stark
Annals of Mathematics and Artificial Intelligence 29 (1), 65-97, 2000
282000
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
252006
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
241997
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
202010
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
Increasing the versatility of heuristic based theorem provers
A Manning, A Ireland, A Bundy
International Conference on Logic for Programming Artificial Intelligence …, 1993
181993
Rippling: A heuristic for guiding inductive proofs. Research Paper 567, Dept. of Artificial Intelligence, Edinburgh, 1991
A Bundy, A Stevens, F van Harmelen, A Ireland, A Smaill
Artificial Intelligence, 0
17
Formal verification of concurrent scheduling strategies using TLA
G Grov, G Michaelson, A Ireland
2007 International Conference on Parallel and Distributed Systems, 1-6, 2007
162007
The system can't perform the operation now. Try again later.
Articles 1–20