Design and Implementation
of a
Partial Evaluation Based Compiler
for an
Asynchronous Realtime Programming Language
Markus Freericks
May
Abstract
This thesis describ es 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 co de
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 up on an abstract interpreter that
simulates all p ossible 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
Diese Dissertation b eschreibt einen Compiler fur die asynchrone Echtzeit Programmiersprache ALDiSP Ob