Lawrence Paulson
- Alfred V. Aho, Jeffrey D. Ullman. Principles of Compiler Design. Addison-Wesley, 1978. Google Scholar
Digital Library
- W. H. Burge. Recursive Programming Techniques. Addison-Wesley, 1976.Google Scholar
- Michael Gordon. The Denotational Description of Programming Languages: An Introduction. Springer-Verlag, 1979. Google ScholarDigital Library
- Neil D. Jones (editor). Semantics- Directed Compiler Generation. Springer-Verlag, 1980. Google ScholarDigital Library
- D. E. Knuth. Semantics of Context-Free Languages. Mathematical Systems Theory 2:127 -- 145, February, 1968.Google Scholar
- Ole L. Madsen. On Defining Semantics by Means of Extended Attribute Grammars. Technical Report DAIMI PB-109, Computer Science Department, Aarhus University, Denmark, January, 1980. Pages 259 -- 299 of Jones {4}. Google ScholarDigital Library
- Peter D. Mosses. Mathematical Semantics and Compiler Generation. PhD thesis, Oxford University, 1975.Google Scholar
- Lawrence Paulson. A Compiler Generator for Semantic Grammars. PhD thesis, Stanford University, 1982. Forthcoming. Google ScholarDigital Library
- Kari-Jouko Raiha. Experiences with the Compiler Writing System HLP. Pages 350 -- 362 of Jones {4}. Google ScholarDigital Library
- Martin Raskovsky. Step by Step Generation of a Compiler for Flow Diagram Language with Jumps. Technical Report CSM-42, Department of Computer Science, University of Essex, June, 1981.Google Scholar
- Ravi Sethi. Circular Expressions: Elimination of Static Environments. In S. Even, O. Kariv (editors), Eighth International Colloquium on Automata, Languages and Programming, pages 378 -- 392. Springer-Verlag, 1981. Google ScholarDigital Library
- David A. Watt, Ole L. Madsen. Extended Attribute Grammars. Technical Report DAIMI PB-105, Computer Science Department, Aarhus University, Denmark, November, 1979.Google Scholar
- David A. Watt. An Extended Attribute Grammar for Pascal. SIGPLAN Notices 14:60 -- 74, February, 1979. Google ScholarDigital Library
- A semantics-directed compiler generator
Recommendations
A truly generative semantics-directed compiler generator
Proceedings of the 1982 SIGPLAN symposium on Compiler constructionThis paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This ...
A truly generative semantics-directed compiler generator
SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler constructionThis paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This ...
A syntax directed generator
AFIPS '61 (Eastern): Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems controlThe recent proliferation of algebraic translators or "compilers"--programs which translate from an algebraic language (like ALGOL, IT, or Lo) to the hardware language of a digital computer--has stimulated a good deal of work on techniques of reducing ...
Comments