Searching for authors named Jane Hesketh – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs
- …Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs 1 Jane Hesketh…
- Cited by 10 (3 self) – Add To MetaCart
-
A Recursion Planning Analysis of Inductive Completion
- … of Inductive Completion Richard Barnett David Basin Jane Hesketh MPI--I--94--230 June 1994 ����i j ���� k I N…
- Cited by 6 (2 self) – Add To MetaCart
-
Expressing Program Requirements using Refinement Lattices
- …Expressing Program Requirements using Refinement Lattices Dave Robertson y, Jaume Agust'i z, Jane…
- Cited by 8 (4 self) – Add To MetaCart
-
Lightweight Formalisation in Support of Requirements Engineering
- …Lightweight Formalisation in Support of Requirements Engineering 1 Jane Hesketh, 1 David Robertson…
- Add To MetaCart
-
Experiments with Proof Plans for Induction
- …Experiments with Proof Plans for Induction Alan Bundy Frank van Harmelen Jane Hesketh Alan Smaill…
- Cited by 84 (27 self) – Add To MetaCart
-
A Rational Reconstruction and Extension of Recursion Analysis
- …, Jane Hesketh Alan Smaill, and Andrew Stevens Department of Artificial Intelligence, University…
- Cited by 24 (13 self) – Add To MetaCart
Showing 1 through 6.
