Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language (1996)
BibTeX
@MISC{Freericks96designand,
author = {Markus Freericks},
title = {Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This thesis describes a compiler for the asynchronous real-time programming language ALDiSP. Though the language has a complex semantics not suited for easy compilation, the compiler has to generate code for target platforms that have stringent space limitations, and for target applications that have to satisfy hard real-time requirements. To accomplish this feat, the compiler is based upon an abstract interpreter that simulates all possible evaluation paths of the program. In a reconstruction phase, the program is then totally re-created from the information gained during this simulation. The abstract interpreter is an extension of the formal semantics of ALDiSP.
