Jane Hesketh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1989–1993
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | ISMIS | Expressing Program Requirements Using Refinement Lattices. | David Stuart Robertson, Jaume Agust-Cullell, Jane Hesketh, Jordi Levy |
| 1993 | LOPSTR | A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract). | Peter Madden, Jane Hesketh, Ian Green, Alan Bundy |
| 1992 | CADE | Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. | Jane Hesketh, Alan Bundy, Alan Smaill |
| 1991 | LOPSTR | Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof. | Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh |
| 1989 | IJCAI | A Rational Reconstruction and Extension of Recursion Analysis. | Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens |