Mathematical Foundation of A Semantic Directed Compiler Generator

Abstract

This paper describes technical details which were not included in the paper ''Control Flow Treatment in a Simple Semantics-Directed Compiler Generator'', presented at the IFIP working conference on Formal Description of Programming Concepts, Germany, 1982, due to lack of space. The present paper cannot be read separately.

We describe our method in full detail, including the iterate-operator in the S-algebra. Furthermore we give complete formal descriptions of the semantic algebra S and its models (Section 1), the compiler generation function d^c and the compile time interpretation J (Section 2), the target language semantics (Section 3), and in Section 4 the correctness proof.