Jane Hesketh

11 papers A* 1A 1C 3Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
1998 J jnl
Lightweight Formalisation in Support of Requirements Engineering.
Autom. Softw. Eng.
Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy
1997 J jnl
Reliable and accountable system design.
Knowl. Eng. Rev.
Paul J. Krause, Jane Hesketh, Dave Robertson
1994 J jnl
Expressing Program Requirements Using Refinement Lattices.
Fundam. Informaticae
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
1993 C conf
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).
LOPSTR
Peter Madden, Jane Hesketh, Ian Green, Alan Bundy
1993 J jnl
A Recursion Planning Analysis of Inductive Completion.
Ann. Math. Artif. Intell.
Richard Barnett, David A. Basin, Jane Hesketh
1993 C conf
Expressing Program Requirements Using Refinement Lattices.
ISMIS
David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy
1992 — conf
Automated Reasoning with Uncertainties.
Logic at Work
Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh
1992 A conf
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.
CADE
Jane Hesketh, Alan Bundy, Alan Smaill
1991 J jnl
Experiments with Proof Plans for Induction.
J. Autom. Reason.
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill
1991 C conf
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.
LOPSTR
Geraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh
1989 A* conf
A Rational Reconstruction and Extension of Recursion Analysis.
IJCAI
Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill, Andrew Stevens