Compiler generation using formal specification of procedure-oriented and machine languages

Authors:
Philip Gilbert;William G. McLellan
Affiliations:
Measurement Analysis Corporation, Los Angeles, California;Rome Air Development Center, Griffiss Air Force Base, New York
Venue:
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Year:
1967

Citing 6
Cited 0

Two Families of Languages Related to ALGOL

Journal of the ACM (JACM)
On The Ambiguity Problem of Backus Systems

Journal of the ACM (JACM)
On the Syntax of Algorithmic Languages

Journal of the ACM (JACM)
A syntax directed compiler for ALGOL 60

Communications of the ACM
Report on the algorithmic language ALGOL 60

Communications of the ACM
Some remarks on the syntax of symbolic programming languages

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports on a recently developed compiler generation system which is rigorously based, and which allows formal specification both of source (procedure-oriented) languages (POLs) and of machine languages (MLs). Concepts underlying the system are discussed, an example correlating source language specification with system operation is given, and the status and potentialities of the system are discussed.