`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:

### Wrote 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.