COMPILER GENERATION USING FORMAL SPECIFICATION OF PROCEDURE-ORIENTED AND MACHINE LANGUAGES

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1967
Accession Number
AD0658029

Entities

People

  • Philip Gilbert
  • William G. Mclellan

Organizations

  • Rome Laboratory

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Facilities
  • Assembly Languages
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Demographic Cohorts
  • Grammars
  • Language
  • Machine Languages
  • Production
  • Specifications
  • Standards
  • Translations

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science.