The synthesizer generator
- 25 April 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 19 (5), 42-48
- https://doi.org/10.1145/390011.808247
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Attribute coupled grammarsPublished by Association for Computing Machinery (ACM) ,1984
- Interactive proof checkingPublished by Association for Computing Machinery (ACM) ,1984
- Incremental Context-Dependent Analysis for Language-Based EditorsACM Transactions on Programming Languages and Systems, 1983
- The Cornell program synthesizerCommunications of the ACM, 1981
- Incremental evaluation for attribute grammars with application to syntax-directed editorsPublished by Association for Computing Machinery (ACM) ,1981
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- Semantics of context-free languagesTheory of Computing Systems, 1968