Abstract/Details

THE AUTOMATIC GENERATION OF REALISTIC COMPILERS FROM HIGH-LEVEL SEMANTIC DESCRIPTIONS

LEE, PETER.   University of Michigan ProQuest Dissertations & Theses,  1987. 8712161.

Abstract (summary)

Several recently developed semantics systems automatically generate compilers from denotational descriptions of programming languages. Unfortunately, the object programs produced by the generated compilers run several orders of magnitude slower than those produced by hand-written compilers. We believe that this is due in large part to fundamental problems with denotational semantics as a language for specifying compilers. These problems effectively preclude any possibility for efficient implementation, and furthermore lead to specifications that are unnecessarily hard to comprehend and debug.

In order to overcome these problems, we have developed a new style of semantic definition called high-level semantics. Unlike the traditional denotational approach, our high-level technique is suitable for both defining the functional meaning of programming languages as well as describing realistic complier implementations.

The feasibility of our ideas is demonstrated by a system called MESS which derives realistic compilers from high-level semantic descriptions. MESS has been used to generate a compiler for a language with recursive procedures, reference and value parameters, multidimensional flexible array parameters, and the usual Pascal-like control structures. The object programs produced by the compiler compare favorably with those produced by commercially available, hand-written compilers in both size and speed.

Indexing (details)


Subject
Computer science
Classification
0984: Computer science
Identifier / keyword
Applied sciences
Title
THE AUTOMATIC GENERATION OF REALISTIC COMPILERS FROM HIGH-LEVEL SEMANTIC DESCRIPTIONS
Author
LEE, PETER
Number of pages
269
Degree date
1987
School code
0127
Source
DAI-B 48/02, Dissertation Abstracts International
ISBN
979-8-206-46209-8
University/institution
University of Michigan
University location
United States -- Michigan
Degree
Ph.D.
Source type
Dissertation or Thesis
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
8712161
ProQuest document ID
303474607
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
https://www.proquest.com/docview/303474607/