article

Free access

LINGUIST-86: Yet another translator writing system based on attribute grammars

Author:

Rodney FarrowAuthors Info & Claims

ACM SIGPLAN Notices, Volume 17, Issue 6

Pages 160 - 171

https://doi.org/10.1145/872726.806992

Published: 01 June 1982 Publication History

Abstract

LINGUIST-86 is a commercially-developed translator-writing-system based on attribute grammars [K]. From an input attribute grammar it generates a set of high-level language source modules that form an alternating-pass attribute evaluator [JW]. LINGUIST-86 generates attribute evaluators efficient enough to run on a microcomputer at speeds competitive with other translators on the system. The Attributed Program Tree is kept on secondary storage rather than in randomly-accessed memory, thus allowing non-trivial inputs to be evaluated on a microcomputer system. LINGUIST-86 also applies an optimization called static subsumption that eliminates many copy rules from the generated evaluators. LINGUIST-86 is itself written as an 1800 line attribute grammar and is self-generating.

References

[1]

Bochman, G.V. Semantic evaluation form left to right. Communications of the ACM, Vol 19, Num 2, February 1976.

Digital Library

[2]

Fang,I. FOLDS, a declarative formal language definition system. STAN-CS-72-329, Computer Science Department, Stanford University, Stanford, California, December 1972.

[3]

Ganzinger,H. On storage optimization for automatically generated compilers. Theoretical Computer Science, 4th GI Conference, K.Weihrauch (ed.), Springer-Verlag, Berlin-Heidelberg-NewYork, March 1979, 132-141.

Digital Library

[4]

Ganzinger, H., K. Ripken, and R. Wilhelm. Automatic Generation of Optimizing Multi-Pass Compilers. Proc IFIP 1977, Toronto, Ontario, 1977.

[5]

Jazayeri, M., W. F. Ogden and W. C. Rounds. The intrinsically exponential complexity of the circularity problem for attribute grammars. CACM vol. 8, no. 12, December 1975.

Digital Library

[6]

Jazayeri, M. and K.G. Walter. Alternating semantic evaluator. 10 ACM '75, Annual Conference. Minneapolis, Minn., Oct. 1975.

Digital Library

[7]

Kastens, U. Ordered attribute grammars. Acta Informatica 13, Springer-Verlag, 1980, pp.229-256.

Digital Library

[8]

Kastens, U. and E. Zimmerman. GAG - A Generator Based on Attribute Grammars. Institut fur Informatik II, Universitat Karlsruhe, Bericht NR. 14/80.

[9]

Kennedy,K. and S.K.Warren. Automatic generation of efficient evaluators for attribute grammars. Conference Record of the Third ACM Symposium on Principles of Programming Languages, Jan. 1976.

Digital Library

[10]

Knuth,D.E. Semantics of context-free languages. Math. Systems Theory 2 (1968), 127-145. Knuth,D. E. Semantics of context free languages: correction. Math. Systems Theory 5, No. 1. 95-96.

[11]

Lorho, B. Semantic attribute processing in the system DELTA. In Lecture Notes in Computer Science: Methods of Algorithmic Language Implementation, A. Ershov and C.H.A. Koster (Eds.). Spinger-Verlag, New York, 1977.

Digital Library

[12]

Pozefsky,D. and M.Jazayeri. A family of pass-oriented attribute grammar evaluators. Proceedings of the ACM 1978 Annual Conference, December 1978.

Digital Library

[13]

Pozefsky,D. and M.Jazayeri. Space efficient storage management in an attribute evaluator. ACM TOPLAS, vol. 3, num. 4, Oct. 1981.

Digital Library

[14]

Raiha, K-J, M. Saarinen, E. Soisalon-Soininen, and M. Tienari. The Compiler Writing System HLP (Helsinki Language Processor). Report A-1978-2, Department of Computer Science, University of Helsinki, Helsinki, Finland. March 1978.

[15]

Raiha,K-J. Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars. Proceedings of the SIGPLAN Symposium on Compiler Construction, Denver, Colo., 1979.

Digital Library

[16]

Saarinen, M. On constructing efficient evaluators for attribute grammars. In Automata, Language and Programming: 5th Colloq., C. Ausiello and C. Bohm (Eds.). Springer-Verlag, New York, 1978.

Digital Library

[17]

Schulz, W.A. Semantic Analysis and Target Language synthesis in a Translator. Ph.D. Thesis, University of Colorado, Boulder, Colorado, 1976.

Digital Library

Cited By

(2012)BibliographyEngineering a Compiler10.1016/B978-0-12-088478-0.00024-4(765-785)Online publication date: 2012
Sasaki HKatayama T(2005)Global storage allocation in attribute evaluationRIMS Symposia on Software Science and Engineering II10.1007/3-540-16470-7_10(181-211)Online publication date: 28-May-2005
Cooper KTorczon L(2003)Engineering a CompilerundefinedOnline publication date: 11-Dec-2003
Show More Cited By

Index Terms

LINGUIST-86: Yet another translator writing system based on attribute grammars
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Translator writing systems and compiler generators
2. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms
      1. Rewrite systems
    2. Grammars and context-free languages

Recommendations

LINGUIST-86: Yet another translator writing system based on attribute grammars
SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction

LINGUIST-86 is a commercially-developed translator-writing-system based on attribute grammars [K]. From an input attribute grammar it generates a set of high-level language source modules that form an alternating-pass attribute evaluator [JW]. LINGUIST-...
Linguist's assistant: a multi-lingual natural language generator based on linguistic universals, typologies, and primitives
INLG '12: Proceedings of the Seventh International Natural Language Generation Conference

Linguist's Assistant (LA) is a large scale semantic analyzer and multi-lingual natural language generator designed and developed entirely from a linguist's perspective. The system incorporates extensive typological, semantic, syntactic, and discourse ...
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior

We propose a family of static evaluators for subclasses of the well-defined (i.e., noncircular) attribute grammars. These evaluators augment the evaluator for the absolutely noncircular attribute grammars with look-ahead behaviors. Because this family ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 17, Issue 6

Proceedings of the 1982 SIGPLAN symposium on Compiler construction

June 1982

347 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/872726

Issue’s Table of Contents

SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler construction
June 1982
357 pages
ISBN:0897910745
DOI:10.1145/800230
Chairmen:
John R. White,
Frances E. Allen

Copyright © 1982 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1982

Published in SIGPLAN Volume 17, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

51
Total Citations
View Citations
323
Total Downloads

Downloads (Last 12 months)54
Downloads (Last 6 weeks)23

Reflects downloads up to 02 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

(2012)BibliographyEngineering a Compiler10.1016/B978-0-12-088478-0.00024-4(765-785)Online publication date: 2012
Sasaki HKatayama T(2005)Global storage allocation in attribute evaluationRIMS Symposia on Software Science and Engineering II10.1007/3-540-16470-7_10(181-211)Online publication date: 28-May-2005
Cooper KTorczon L(2003)Engineering a CompilerundefinedOnline publication date: 11-Dec-2003
Frost R(1989)Application programming as the construction of language interpretersACM SIGPLAN Notices10.1145/68127.6813824:9(142-151)Online publication date: 11-Aug-1989
Mahn UMahn U(1988)AnhangAttributierte Grammatiken und Attributierungsalgorithmen10.1007/978-3-642-51709-9_5(239-272)Online publication date: 1988
Raoult JSethi RKennedy KVan Deusen MLandweber L(1984)The global storage needs of a subcomputationProceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages10.1145/800017.800526(148-157)Online publication date: 15-Jan-1984
Reiss S(1984)An approach to incremental compilationACM SIGPLAN Notices10.1145/502949.50288919:6(144-156)Online publication date: 1-Jun-1984
Reiss SVan Deusen MGraham S(1984)An approach to incremental compilationProceedings of the 1984 SIGPLAN symposium on Compiler construction10.1145/502874.502889(144-156)Online publication date: 17-Jun-1984
Jiau HYang F(2012)Facing up to the inequality of crowdsourced API documentationACM SIGSOFT Software Engineering Notes10.1145/2088883.208889237:1(1-9)Online publication date: 27-Jan-2012
Ardis MHenderson P(2012)Software engineering education (SEEd)ACM SIGSOFT Software Engineering Notes10.1145/2088883.208888637:1(10-11)Online publication date: 27-Jan-2012
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

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

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents