Travelled to:1 × Belgium
1 × USA
Collaborated with:A.Bundy A.Smaill P.Madden I.Green G.A.Wiggins I.Kraan
Talks about:program (3) synthesi (2) proof (2) use (2) construct (1) transfom (1) techniqu (1) generat (1) general (1) control (1)
Person: Jane Hesketh
DBLP: Hesketh:Jane
Contributed to:
1993
19921991Wrote 3 papers:
- LOPSTR-1993-MaddenHGB #automation #generative #performance #proving #source code #theorem proving #using
- A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (PM, JH, IG, AB), pp. 64–66.
- CADE-1992-HeskethBS #reasoning #recursion #source code #synthesis #using
- Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs (JH, AB, AS), pp. 310–324.
- LOPSTR-1991-WigginsBKH #induction #logic programming #proving #source code #synthesis
- Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.