On the formal definition of PL/I

  • K. Bandat
  • Published 1968 in AFIPS Spring Joint Computing Conference


This paper describes a formal definition of PL/I which has been produced by a group in the IBM Vienna Laboratory. The paper contains the outlines of the method rather than details of PL/I. The definition currently exists as a Technical Report "Formal Definition of PL/I" which contains the abstract syntax and the semantics for PL/I program text. A second… (More)
DOI: 10.1145/1468075.1468130


12 Figures and Tables