Program Synthesis
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Formal Mathematics for Verifiably Correct Program SynthesisLogic Journal of the IGPL, 1996
- The calculus of constructionsInformation and Computation, 1988
- A 15 Year Perspective on Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- Proofs as programsACM Transactions on Programming Languages and Systems, 1985
- Derivation of Logic ProgramsJournal of the ACM, 1981
- An experimental program transformation and synthesis systemArtificial Intelligence, 1981
- Syntax-directed, semantics-supported program synthesisArtificial Intelligence, 1980
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Zur Deutung der intuitionistischen LogikMathematische Zeitschrift, 1932