Compiler Design Analysis and Transformation /
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source a...
Main Authors: | , , |
---|---|
Corporate Author: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012.
|
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Introduction
- Program Semantics
- Transformations
- Static Analysis
- Imperative Programs
- Functional Programs
- References
- Index.