Jed Marti
Abstract
The META/REDUCE translator writing system operates in a LISP environment closely interfaced with both LISP and REDUCE syntax. The language supports: BNF like syntax, recursive descent parsing schemes, lexical primitives, symbol table primitives, and automatic syntax error message generation. A complete simple arithmetic expression evaluator provides an introduction to the capabilities of the system. The body of the work describes the control constructs and primitives of the system. The paper is completed with the description of a working interpreter for a subset of a contemporary programming language. It is assumed that the reader has some familiarity with LISP 1.5 and REDUCE.
- E. A. Ashcroft, W. W. Wadge, 'LUCID-A Formal System for Writing and Proving Programs', SIAM J. Comp., Vol. 5, No. 3, 336--354 (1976).Google Scholar
Cross Ref
- E. A. Ashcroft, W. W. Wadge, 'LUCID, a Nonprocedural Language with Iteration', CACM, Vol. 20, No. 7, 517--526 (1977). Google ScholarDigital Library
- C. Stephen Carr, David A. Luther, Sherian Erdmann, 'The TREE-META Compiler-Compiler System: A Meta Compiler System for the Univac 1108 and General Electric 645', University of Utah Technical Report RADC-TR-69-83.Google Scholar
- D. Gries, 'Compiler Construction for Digital Computers' John Wiley and Sons, Inc., New York, 225--229 (1971). Google ScholarDigital Library
- M. Griss, C. Griss, and J. Marti, 'META/LISP' Utah Computational Physics, Operating Note No. 24, 1976.Google Scholar
- A. C. Hearn, 'REDUCE 2 Users Manual', Utah Computational Physics, UCP-19 (1973).Google Scholar
- R. D. Jenks, 'META/LISP: An Interactive Translator Writing System', IBM Corporation, Thomas J. Watson Research Center, Yorktown Heights, New York.Google Scholar
- R. D. Jenks, Private communication.Google Scholar
- R. Loos, Private communication.Google Scholar
- J. Marti, A. Hearn, M. Griss, and C. Griss, 'Standard LISP Report', Utah Symbolic Computation Group, Operating Note 27 (1977).Google Scholar
- D. V. Schorre, 'META-II: A Syntax Oriented Compiler Writing System', Proc. ACM 19th Natl. Conf., D1.3 (1964). Google ScholarDigital Library
Recommendations
Translator writing systems
A critical review of recent efforts to automate the writing of translators of programming languages is presented. The formal study of syntax and its application to translator writing are discussed in Section II. Various approaches to automating the ...
META II a syntax-oriented compiler writing language
ACM '64: Proceedings of the 1964 19th ACM national conferenceMETA II is a compiler writing language which consists of syntax equations resembling Backus normal form and into which instructions to output assembly language commands are inserted. Compilers have been written in this language for VALGOL I and VALGOL ...
Comments