|
|
Edinburgh Research Archive >
Browsing by Author Bundy, Alan
Showing results 25 to 44 of 73
| Issue Date | Title | Author(s) | Supervisor(s) | | Jul-1989 | The ECO Program Construction System: Ways of Increasing its Representational Power and their Effects on the User Interface | Robertson, D.; Uschold, M.; Bundy, Alan; Muetzelfeldt, R. | - |
| 1996 | Experiments in Automating Hardware Verification using Inductive Proof Planning | Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David | - |
| 1990 | Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs | Bundy, Alan; van Harmelen, F.; Smaill, A.; Ireland, A. | - |
| 2010 | Formalising Term Synthesis for Isacosy | Johansson, Moa; Dixon, Lucas; Bundy, Alan | - |
| 1993 | A general technique for automatically optimizing programs through the use of proof plans (Extended Abstract) | Madden, P.; Bundy, Alan; Hesketh, Jane; Green, Ian | - |
| 1993 | General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving | Madden, P.; Bundy, Alan | - |
| Dec-1984 | A Generalized Interval Package and its Use for Semantic Checking | Bundy, Alan | - |
| Nov-2006 | HEDGEHOG: Automatic Verification of Design Patterns in Java | Blewitt, Alex | Bundy, Alan; Stark, Ian |
| 1992 | Incidence Calculus | Bundy, Alan | - |
| 1985 | Incidence Calculus: A Mechanism for Probabilistic Reasoning | Bundy, Alan | - |
| 1993 | Increasing the Versatility of Heuristic Based Theorem Provers | Bundy, Alan; Manning, A.; Ireland, A. | - |
| 1984 | Intelligent Front Ends | Bundy, Alan | - |
| 2009 | Isacosy: Synthesis of Inductive Theorems | Dixon, Lucas; Bundy, Alan; Johansson, Moa | - |
| 1999 | Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts | Dennis, Louise; Bundy, Alan; Green, Ian | - |
| 1984 | Meta-level Inference and Consciousness | Bundy, Alan | - |
| Mar-1994 | The New Software Copyright Law | Bundy, Alan; MacQueen, H. | - |
| Jun-2009 | On Process Equivalence = Equation Solving in CCS | Bundy, Alan; Monroy, Raul; Green, Ian | - |
| 1989 | On the efficiency of meta-level inference | Harmelen, Frank van | Reichgelt, Han; Bundy, Alan |
| Dec-2003 | Plan Execution Failure Analysis Using Plan Deconstruction | McNeill, F.; Bundy, Alan; Walton, Ch.; Schorlemmer, Marco | - |
| Jul-1997 | Planning Proofs of Correctness of CCS Systems | Monroy-Borja, Raul | Bundy, Alan; Hesketh, Jane; Green, Ian; Ireland, Andrew |
Showing results 25 to 44 of 73
|
