|
|
An Integrated Approach to Program Reasoning
– Andrew Ireland , Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
|
|
16
|
Invariant Discovery via Failed Proof Attempts
– Jamie Stark, Andrew Ireland
- 1998
|
|
|
An Integrated Approach to High . . .
– Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes
|
|
8
|
Extensions to a Generalization Critic for Inductive Proof
– Andrew Ireland, Alan Bundy
- 1996
|
|
38
|
The automation of proof by mathematical induction
– Alan Bundy
- 1997
|
|
3
|
Planning and patching proof
– Alan Bundy
- 2004
|
|
11
|
A Proof Planning Framework for Isabelle
– Lucas Dixon
- 2005
|
|
11
|
Proof Plans for the Correction of False Conjectures
– Raul Monroy , Alan Bundy, Andrew Irel
- 1994
|
|
24
|
Middle-Out Reasoning for Synthesis and Induction
– Ina Kraan, David Basin, Alan Bundy
- 1995
|
|
31
|
Specification and Verification of Object-Oriented Programs
– Arndt Poetzsch-Heffter
- 1997
|
|
57
|
Mechanizing Programming Logics in Higher Order Logic
– Michael J. C. Gordon
- 1989
|
|
14
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
|
7
|
A Relational Basis for Program Construction by Parts
– Marc Frappier
- 1995
|
|
2
|
Specification and Verification
– Mike Gordon
- 1988
|
|
3
|
Higher Order Function Synthesis Through Proof Planning
– Andrew Cook, Andrew Ireland, Greg Michaelson
- 2001
|
|
6
|
Invariant Patterns for Program Reasoning
– Andrew Ireland, Bill J. Ellis, Tommy Ingulfsen
|
|
|
Witnesses for Coinduction from Divergent Proof Attempts
– Louise Dennis, Alan Bundy, Ian Green, Louise Dennis, Alan Bundy, Ian Green
|
|
18
|
Higher-order Annotated Terms for Proof Search
– Alan Smaill , Ian Green
- 1996
|
|
|
Progress in Computer-Assisted Inductive . . .
– Claus-peter Wirth
- 2006
|
