|
Please note that only papers and publications recorded in this departments
database are shown here. An author may have many other papers and
publications produced while working elsewhere which are not listed here.
This page does not therefore represent a definitive list of this authors
work.
|
| Chapter in Edited Book
|
| CB748
| 1994 Chapter in Edited Book
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
| Journal Paper
|
| JP752
| 1994 Journal Paper
| Robertson,DS; Agusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements Using Refinement Lattices
|
| JP28
| 1991 Journal Paper
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD
|
| Experiments with Proof Plans for Induction
|
| Paper in Conference Proceedings
|
| PP227
| 1994 Paper in Conference Proceedings
| Correa da Silva,FS; Robertson,DS; Hesketh,J
|
| Automated Reasoning with Uncertainties
|
| PP749
| 1994 Paper in Conference Proceedings
| Robertson,DS; Hesketh,J
|
| Making Specification Design More Accountable
|
| PP616
| 1993 Paper in Conference Proceedings
| Madden,P; Hesketh,J; Green,I; Bundy,A
|
| a General Technique for Automatically Optimizing Programs through the Use of Proof Plans
|
| PP637
| 1993 Paper in Conference Proceedings
| Robertson,DS; Augusti,J; Hesketh,J; Levy,J
|
| Expressing Program Requirements using Refinement Lattices
|
| PP146
| 1992 Paper in Conference Proceedings
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-out Reasoning to Control the Synthesis of Tail Recursive Programs
|
| PP192
| 1992 Paper in Conference Proceedings
| Wiggins,G; Bundy,A; Kraan,H; Hesketh,J
|
| Synthesis and Transformation of Logic Programs Through Constructive, Inductive Proof
|
| PP235
| 1992 Paper in Conference Proceedings
| Bundy,A; Hesketh,J; Smaill,AD
|
| Using Middle-out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
| PP439
| 1990 Paper in Conference Proceedings
| Bundy,A; Smaill,AD; Hesketh,J
|
| Turning Eureka Steps into Calculations in Automatic Program Synthesis
|
| PP346
| 1989 Paper in Conference Proceedings
| Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD; Stevens,A
|
| a Rational Reconstruction and Extension of Recursion Analysis
|
| PhD Thesis
|
| PT9111
| 1991 PhD Thesis
| Hesketh,J
|
| Using Middle-Out Reasoning to Guide Inductive Theorem Proving
|
| Research Paper
|
| RP781
| 1996 Research Paper
| Monroy-Borja,R; Bundy,A; Ireland,A; Hesketh,J
|
| Proof Planning the Verification of Ccs Programs
|
| RP823
| 1996 Research Paper
| Hesketh,J; Robertson,DS; Fuchs,N; Bundy,A
|
| Automating Reasoning Support for Design
|
| RP608
| 1992 Research Paper
| Madden,P; Hesketh,J; Green,I; Bundy,A
|
| A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans
|
| RP518
| 1991 Research Paper
| Barnett,R; Basin,D; Hesketh,J
|
| A Recursion Planning Analysis of Inductive Completion
|
| RP512
| 1990 Research Paper
| Hesketh,J; Bundy,A; Smaill,AD
|
| Using Middle-Out Reasoning to Transform Naive Programs into Tail-Recursive Ones
|
| RP448
| 1989 Research Paper
| Bundy,A; Smaill,AD; Hesketh,J
|
| Turning Eureka Steps into Calculations in Automatic Program Synthesis
|
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}