Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Compiler generation from denotational semantics
Paulson L., Cambridge University Press, New York, NY, 1984. Type: Book (9780521268431)
Date Reviewed: Jun 1 1985

This is a well-written, crisp account of semantics-directed compiler generation. The article surveys current research in generating compilers from denotational definitions of programming language semantics. Two semantics-directed compiler generators are described: Mosses’s SIS and Paulson’s own system PSP.

The article also gives a brief presentation of denotational semantics which can be recommended as a concise introduction to the technique. A denotational definition of a language can be viewed as a functional implementation of a compiler or interpreter. Code generation from denotational semantics is closely related to code generation for functional languages.

Reviewer:  M. Tienari Review #: CR109076
Bookmark and Share
 
Translator Writing Systems And Compiler Generators (D.3.4 ... )
 
 
Denotational Semantics (F.3.2 ... )
 
 
Semantics (D.3.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
Automatic compiler production: the front end
Reiss S. IEEE Transactions on Software Engineering SE-13(6): 609-627, 1987. Type: Article
Feb 1 1988
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