BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hesketh:Jane

Contributed to:

LOPSTR 19931993
CADE 19921992
LOPSTR 19911991

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.