The Specification of Code Generation Algorithms
This thesis addresses the problem of automatically constructing the code generation phrase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine dependent semantics in incorpora...
Main Author: | Terman, Christopher J. |
---|---|
Other Authors: | Ward, Stephen A. |
Published: |
2023
|
Online Access: | https://hdl.handle.net/1721.1/149487 |
Similar Items
-
GroverCode : code canonicalization and clustering applied to grading
by: Terman, Stacey (Stacey E.)
Published: (2017) -
Simulation Tools for Digital LSI Design
by: Terman, Christopher J.
Published: (2023) -
Simulation tools for digital LSI design
by: Terman, Christopher Jay
Published: (2005) -
Using Specifications to Check Source Code
by: Evans, David
Published: (2023) -
Using specifications to check source code
by: Evans, David Elliot, 1971-
Published: (2007)