The Vienna Development Method: The Meta-Language

Keyphrases

Publications

1978

Peter Lucas
On the Formalization of Programming Languages: Early History and Main Approaches. The Vienna Development Method: The Meta-Language (1978)
Cliff B. Jones
The META-Language: A Reference Manual. The Vienna Development Method: The Meta-Language (1978)
Dines Bjørner
Programming in the META-Language: A Tutorial. The Vienna Development Method: The Meta-Language (1978)
Dines Bjørner
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition. The Vienna Development Method: The Meta-Language (1978)
Cliff B. Jones
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations. The Vienna Development Method: The Meta-Language (1978)
Wolfgang Henhapl, Cliff B. Jones
A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language (1978)

volume 61, 1978

The Vienna Development Method: The Meta-Language The Vienna Development Method: The Meta-Language 61 (1978)