An algebraic specification of a Pascal compiler

Authors:
Joëlle Despeyroux
Affiliations:
INRIA, Le Chesnay, France
Venue:
ACM SIGPLAN Notices
Year:
1983

Citing 2
Cited 0

Parameterized Data Types in Algebraic Specification Languages (Short Version)

Proceedings of the 7th Colloquium on Automata, Languages and Programming
Perluette: A compilers producing system using abstract data types

Proceedings of the 5th Colloquium on International Symposium on Programming

Quantified Score

Hi-index	0.01

Visualization

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 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.