Algebraic specification of a compiler for a language with pointers
Emma van der Meulen, van der · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1988
ASPLE is a simple programming language that has been used as an example in several studies on formal language definitions.The major characteristic of ASPLE is a pointer system in the spirit of Algol68.We present a complete definition of ASPLE in the formalism ASF+SDF.First, a complete specification is given of syntax, as well as static and dynamic semantics.Next, the simple stack machine language SML is introduced together with a definition of its dynamic semantics.Finally, the translation from ASPLE to SML is specified.