An edition of Realistic compiler generation (1989)

Realistic compiler generation

by

  • 1 Want to read
Realistic compiler generation
Peter Lee, Peter Lee
Locate

My Reading Lists:

Create a new list

Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by WorkBot
December 12, 2009 | History
Edit
An edition of Realistic compiler generation (1989)

Realistic compiler generation

by

  • 1 Want to read

This book describes and surveys semantics-based compiler generation and presents a new method for expressing the formal semantics of programming languages that allows realistic compilers to be generated automatically. The book demonstrates a working compiler generator called MESS, which is used to generate a realistic compiler for a Pascal-like language. The generated compiler is then compared with several hand-crafted compilers and shown to be at least comparable, and in some cases superior, performance. (from back-cover copy)

Publish Date
Publisher
MIT Press
Language
English
Pages
246

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Compilers (Computer programs), Compiling (Electronic computers), Electronic digital computers, Programming languages (Electronic computers), Semantics, Semantik, Compiler-Compiler, Sémantique, Compilateurs (Logiciels), Langages de programmation, Langages de programmation - Sémantique, Compiler, Semantique, Computer input-output equipment
Edition Availability
Cover of: Realistic compiler generation
Realistic compiler generation
1989, MIT Press, The MIT Press
in English
Cover of: Realistic compiler generation
Realistic compiler generation
1989, MIT Press
in English

Add another edition?

Book Details

First Sentence

"The term compilation refers to the translation of a program written in a source language to a program with an equivalent meaning in an target language."

Table of Contents

Series Forward
Forward
Perface
. 1: Compiler Generation, 1
1.1: A New Approach, 3
1.2 A Preview of the Book, 4
. 2: Tools for Pratical Compiler Generation, 9
2.1: The Idealized Structure of a Compiler, 9
2.2: The Structure of Real Compilers, 11
2.3: Compiler Generation Tools, 12
2.4: Semantics-Directed Compiler Generation, 14
2.5 Summary
. 3: Semantics-Directed Compiler Generation, 17
3.1: Methods for Formal Description of Semantics, 17
3.2: Classical Compiler Generation, 20
3.3: The Structure of Denotational Descriptions, 21
3.4: An Example of Denotational Semantics, 27
3.5: Implementing Denotational Semantics, 36
3.6: Existing Classical Compiler Generators, 44
3.7: Nonclassical Compiler Generation, 47
3.8: Summary, 49
. 4: Problems with Using Denotational Semantics, 51
4.1: The Use of a Low-Level Notation, 51
4.2: The Lack of Separability, 53
4.3: The Loss of Semantic Distinctions, 60
4.4: Overspecification of Semantics, 62
4.5: The Lack of a Static/Dynamic Distinction, 64
4.6: Summary, 65
. 5: High-Level Semantics, 67
5.1: An Overview of High-Level Semantics, 67
5.2: The Macrosemantics, 72
5.3: The Microsemantics, 86
5.4: Extending High-Level Semantic Specifications, 93
5.5 Summary, 109
. 6: The MESS System, 111
6.1: Comparison with Paulson's Semantics Processor, 113
6.2: Generating the Compiler, 116
6.3: Compiling Programs, 117
6.4: Executing the Compiled Programs, 117
. 7: A SOL/C Compiler, 119
7.1: The Generation of a Compiler for Sol/C, 119
7.2 Compilation of SOL/C Programs, 120
7.3 Performance Evaluation of the Compiler, 120
7.4 Correctness Concerns, 122
. 8 Conclusions, 125
8.1 Extensions to MESS, 126
8.2 A Language Designer's Workbench, 127
. A A Traditional Denotational Semantics for HypoPL, 131
. B A Macrosemantics for HypoPL, 139
. C Four Microsemantic Specificatons for HypoPL, 149
. D A Compiler for HypoPL, 189
. E The HypoPL Bubble-Sort Program, 193
. F A Macrosemantics for SOL/C, 201
. G SOL/C Benchmark Programs, 229
. H Using the MESS System, 235
Bibliography, 237
Index, 243

Edition Notes

Bibliography: p. [237]-242.
Includes index.

Published in
Cambridge, Mass
Series
Foundations of computing

Classifications

Dewey Decimal Class
005.4/53
Library of Congress
QA76.76.C65 L44 1989

The Physical Object

Pagination
ix, 246 p. ;
Number of pages
246

Edition Identifiers

Open Library
OL2210634M
ISBN 10
0262121417
LCCN
89033174

Work Identifiers

Work ID
OL4796471W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 12, 2009 Edited by WorkBot link works
January 3, 2009 Edited by 68.239.170.45 Edited without comment.
January 3, 2009 Edited by 68.239.170.45 added description and first sentence.
January 3, 2009 Edited by 68.239.170.45 added the rest of the toc.
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record