An algebraic specification of a Pascal compiler
SIGPLAN Notices, Volume 18, Issue 12, 1983, Pages 34-48.
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 ...More
Full Text (Upload PDF)
PPT (Upload PPT)