Semantic evaluation from left to right
Communications of the ACM
The intrinsically exponential complexity of the circularity problem for attribute grammars
Communications of the ACM
Communications of the ACM
Communications of the ACM
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Alternating semantic evaluator
ACM '75 Proceedings of the 1975 annual conference
Semantic attributes and improvement of generated code
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Automatic generation of efficient evaluators for attribute grammars
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Folds, a declarative formal language definition system
Folds, a declarative formal language definition system
On attribute grammars and the semantic specification of programming languages.
On attribute grammars and the semantic specification of programming languages.
Co-evolutionary automatic programming for software development
Information Sciences: an International Journal
| Hi-index | 0.00 |
An automatic programming system is proposed based on the works of Noonan [2] and Jazayeri and Walter [10]. The system may be used to automatically produce text processing programs or to test the specifications for such programs. This is the first of three reports covering, respectively, the background and overview, architecture, and implementation of the system.