WorldCat Identities

Marcotty, Michael

Works: 3 works in 16 publications in 2 languages and 78 library holdings
Roles: Author
Classifications: QA76.7, 005.13
Publication Timeline
Most widely held works by Michael Marcotty
The world of programming languages by Michael Marcotty( Book )

10 editions published between 1986 and 1987 in 3 languages and held by 22 WorldCat member libraries worldwide

The Definition Mechanism for Standard PL/I by Michael Marcotty( Book )

4 editions published in 1976 in English and Undetermined and held by 4 WorldCat member libraries worldwide

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)
A sampler of formal definitions by Michael Marcotty( Book )

2 editions published between 1975 and 1976 in English and held by 2 WorldCat member libraries worldwide

Audience Level
Audience Level
  Kids General Special  
Audience level: 0.66 (from 0.59 for The world ... to 0.95 for The Defini ...)

English (12)

German (1)