The Definition Mechanism for Standard PL/I.

Abstract

The mechanism used to define the programming language PL/I in the recently adopted American National Standard is presented. This method provides a rigorous though semi-formal specification of the language. It uses the model of translation of programs into an abstract form to define the context-free and context-sensitive syntax. The semantics are defined by the interpretation of the abstract form of the program on a hypothetical machine. The method and metalanguage are presented along with several small examples to illustrate the definition technique's features. The complete definition process is shown by the definition of a small example language. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1976
Accession Number
ADA053247

Entities

People

  • Frederick G. Sayward
  • Michael Marcotty

Organizations

  • Yale University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Science
  • Computers
  • Concrete
  • Construction
  • Formal Languages
  • Information Processing
  • Instructions
  • Language
  • Molecular Dynamics
  • Programming Languages
  • Standardization
  • Standards
  • Translations
  • Translators
  • United States

Fields of Study

  • Computer science

Readers

  • Computational Linguistics