article

Free access

The META/REDUCE translator writing system

Author:

Jed MartiAuthors Info & Claims

ACM SIGPLAN Notices, Volume 13, Issue 10

Pages 42 - 49

https://doi.org/10.1145/987508.987512

Published: 01 October 1978 Publication History

PDF eReader

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.

References

[1]

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).

Crossref

Google Scholar

[2]

E. A. Ashcroft, W. W. Wadge, 'LUCID, a Nonprocedural Language with Iteration', CACM, Vol. 20, No. 7, 517--526 (1977).

Digital Library

Google Scholar

[3]

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

[4]

D. Gries, 'Compiler Construction for Digital Computers' John Wiley and Sons, Inc., New York, 225--229 (1971).

Digital Library

Google Scholar

[5]

M. Griss, C. Griss, and J. Marti, 'META/LISP' Utah Computational Physics, Operating Note No. 24, 1976.

Google Scholar

[6]

A. C. Hearn, 'REDUCE 2 Users Manual', Utah Computational Physics, UCP-19 (1973).

Google Scholar

[7]

R. D. Jenks, 'META/LISP: An Interactive Translator Writing System', IBM Corporation, Thomas J. Watson Research Center, Yorktown Heights, New York.

Google Scholar

[8]

R. D. Jenks, Private communication.

Google Scholar

[9]

R. Loos, Private communication.

Google Scholar

[10]

J. Marti, A. Hearn, M. Griss, and C. Griss, 'Standard LISP Report', Utah Symbolic Computation Group, Operating Note 27 (1977).

Google Scholar

[11]

D. V. Schorre, 'META-II: A Syntax Oriented Compiler Writing System', Proc. ACM 19th Natl. Conf., D1.3 (1964).

Digital Library

Google Scholar

Cited By

View all

Marti J(2006)The little META translator writing systemSoftware: Practice and Experience10.1002/spe.438013100613:10(941-959)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380131006
Griss MKessler RMaguire G(2005)TLISP — A “transportable-lisp” implemented in pcodeSymbolic and Algebraic Computation10.1007/3-540-09519-5_98(490-502)Online publication date: 24-May-2005
https://doi.org/10.1007/3-540-09519-5_98
Marti JKessler RWesselkamper TJohnson GBelgard RFlinn M(1979)A medium level compiler generating microcodeProceedings of the 12th annual workshop on Microprogramming10.5555/800093.803009(36-41)Online publication date: 18-Nov-1979
https://dl.acm.org/doi/10.5555/800093.803009
Show More Cited By

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 conference

META 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 ...
A translator writing system for algebraic modeling languages

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 13, Issue 10

October 1978

19 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/987508

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1978

Published in SIGPLAN Volume 13, Issue 10

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
249
Total Downloads

Downloads (Last 12 months)76
Downloads (Last 6 weeks)5

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Marti J(2006)The little META translator writing systemSoftware: Practice and Experience10.1002/spe.438013100613:10(941-959)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380131006
Griss MKessler RMaguire G(2005)TLISP — A “transportable-lisp” implemented in pcodeSymbolic and Algebraic Computation10.1007/3-540-09519-5_98(490-502)Online publication date: 24-May-2005
https://doi.org/10.1007/3-540-09519-5_98
Marti JKessler RWesselkamper TJohnson GBelgard RFlinn M(1979)A medium level compiler generating microcodeProceedings of the 12th annual workshop on Microprogramming10.5555/800093.803009(36-41)Online publication date: 18-Nov-1979
https://dl.acm.org/doi/10.5555/800093.803009
Marti JKessler R(1979)A medium level compiler generating microcodeACM SIGMICRO Newsletter10.1145/1014188.80300910:4(36-41)Online publication date: 18-Nov-1979
https://dl.acm.org/doi/10.1145/1014188.803009

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Translator writing systems

META II a syntax-oriented compiler writing language

A translator writing system for algebraic modeling languages

Comments

Information

Published In

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations