The Vienna Development Method:
The Meta-Language 1978
Dines Bjørner, Cliff B. Jones (Eds.):
The Vienna Development Method: The Meta-Language.
Lecture Notes in Computer Science 61 Springer 1978, ISBN 3-540-08766-4
- Peter Lucas:
On the Formalization of Programming Languages: Early History and Main Approaches.
1-23
- Dines Bjørner:
Programming in the META-Language: A Tutorial.
24-217
- Cliff B. Jones:
The META-Language: A Reference Manual.
218-277
- Cliff B. Jones:
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.
278-304
- Wolfgang Henhapl, Cliff B. Jones:
A Formal Definition of Algol 60 as Described in the 1975 Modified Report.
305-336
- Dines Bjørner:
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.
337-374
Last update Fri May 25 08:14:12 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page