WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/52222814

The Definition Mechanism for Standard PL/I

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 All Close All

http://schema.org/description

  • "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)."@en

http://schema.org/name

  • "The definition mechanism for standard PL/I"
  • "The Definition Mechanism for Standard PL/I"@en
  • "The Definition Mechanism for Standard PL/I"