An algebraic specification of a Pascal compiler

SIGPLAN Notices, Volume 18, Issue 12, 1983, Pages 34-48.

Cited by: 5|Bibtex|Views0|
EI
Other Links: dl.acm.org|academic.microsoft.com|dblp.uni-trier.de

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments