COMPILER GENERATION USING FORMAL SPECIFICATION OF PROCEDURE-ORIENTED AND MACHINE LANGUAGES
ROME AIR DEVELOPMENT CENTER GRIFFISS AFB NY
Pagination or Media Count:
A compiler generation system is described which is rigorously based and which allows formal specification both of the source procedure oriented languages and of the object machine oriented languages. An intermediate or buffer language, BASE, is interposed, reducing the required transformation techniques described. The system, so far, includes those elements in BASE necessary to produce ALGOL, FORTRAN, and JOVIAL compilers. This paper was presented at the 1967 Spring Joint Computer Conference.
- Computer Programming and Software