Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Automatic compiler production: the front end
Reiss S. IEEE Transactions on Software EngineeringSE-13 (6):609-627,1987.Type:Article
Date Reviewed: Feb 1 1988

Automating the construction of translators is an attractive proposition for compiler writers, and several translator writing programs have been developed, ranging from a widely-used portable compiler for the C programming language [1] to a system employing denotational semantics [2]. This paper presents a system for the automatic construction of compiler front ends from non-procedural specifications and describes the model of a compiler on which the system is based. The system is independent of the source language and the target machine.

The compiler front end model follows tradition in containing six components: lexical analysis, syntax analysis, symbol processing, semantic analysis, data type processing, and expression processing. Each component is implemented by a separate module, and each requires separate specifications from the user. The approach is not tools based, although use is made of some existing tools (including LEX and YACC) in the implementation.

The system is clearly explained, although it is not possible to cover it in depth in a relatively short paper. An appendix contains example specifications of a small subset of Pascal that illustrate the breadth of the system but lack the comments that might afford deeper explication. The paper deals with front ends only and offers only brief reference to the more difficult area of automatic generation of back ends. The system appears cumbersome but forms a useful contribution in its modular approach to a working compiler generator; the paper is worth reading by people with an interest and some background in compiler writing.

Reviewer:  Julia Dain Review #: CR123219
1) Johnson, S. C.A portable compiler: theory and practice, in Proc. 5th ACM symposium on principles of programming languages (Tucson, AZ, Jan. 23–25, 1978), ACM, New York, 1978, 97–104. See <CR> 20, 6 (June 1979), Rev. 34,658.
2) Mosses, P. D.SIS: A compiler-generator system using denotational semantics, Rep. 78-4-3, Dept. of Computer Science, University of Aarhus, Denmark, June 1978.
Bookmark and Share
 
Translator Writing Systems And Compiler Generators (D.3.4 ... )
 
 
ACORN (D.3.4 ... )
 
 
Algebraic Approaches To Semantics (F.3.2 ... )
 
 
Algebraic Language Theory (F.4.3 ... )
 
 
Compilers (D.3.4 ... )
 
 
Methodologies (D.2.1 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Translator Writing Systems And Compiler Generators": Date
The art of compiler design
Pittman T., Peters J., Prentice-Hall, Inc., Upper Saddle River, NJ, 1992. Type: Book (9780130481900)
Apr 1 1994
Compiler generation from denotational semantics
Paulson L., Cambridge University Press, New York, NY, 1984. Type: Book (9780521268431)
Jun 1 1985
Program translation fundamentals: methods and issues
Calingaert P., Computer Science Press, Inc., New York, NY, 1988. Type: Book (9789780881750966)
Dec 1 1988
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy