Syntax-directed, semantics-supported program synthesis
- 31 October 1980
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 14 (3) , 243-261
- https://doi.org/10.1016/0004-3702(80)90050-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A synthesis of several sorting algorithmsActa Informatica, 1978
- Fast Pattern Matching in StringsSIAM Journal on Computing, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- On Algorithms for Enumerating All Circuits of a GraphSIAM Journal on Computing, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975