The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents on: program synthesis

RP654 1993 Research Paper Basin,D; Bundy,A; Kraan,I; Matthews,S
A Framework for Program Development Based on Schematic Proof
PP197 1993 Paper in Conference Proceedings Kraan,I; Bundy,A; Basin,D
Logic Program Synthesis from Proof Planning
PP115 1992 Paper in Conference Proceedings Basin,D
Extracting Circuits from Constructive Proofs
RP923 1998 Research Paper Castro,A; Robertson,DS; Muetzelfeldt,R
Domain-specific synthesis of simulation models
CB440 1990 Chapter in Edited Book Bundy,A; Smaill,AD; Wiggins,G
the Synthesis of Logic Programs from Inductive Proofs

[Search These Pages] [DAI Home Page] [Comment]