An Algebraic Specification Of A Pascal Compiler

There is a growing interest in abstract data types as a tool for specifying semantics of programming languages and for specifying translations. This paper present the first large scale experience in this area. An algebraic semantics of Pascal, using abstract data type is given. Then an algebraic semantics of the low-level language P-Code is given. Finally a specification of a compiler from Pascal to P-Code, by means of implementation of abstract data types, is given, with a small example of translation.