Dines Bjørner, Cliff B. Jones
The Vienna Development Method: The Meta-Language
VDM, 1978.
@proceedings{VDM-1978,
editor = "Dines Bjørner and Cliff B. Jones",
isbn = "3-540-08766-4",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{The Vienna Development Method: The Meta-Language}",
volume = 61,
year = 1978,
}
Contents (6 items)
- VDM-1978-Lucas #formal method #on the #programming language
- On the Formalization of Programming Languages: Early History and Main Approaches (PL), pp. 1–23.
- VDM-1978-Bjorner #metalanguage #programming #tutorial
- Programming in the META-Language: A Tutorial (DB), pp. 24–217.
- VDM-1978-Jones #metalanguage
- The META-Language: A Reference Manual (CBJ), pp. 218–277.
- VDM-1978-Jones78a #continuation #goto #semantics
- Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations (CBJ), pp. 278–304.
- VDM-1978-HenhaplJ #algol
- A Formal Definition of Algol 60 as Described in the 1975 Modified Report (WH, CBJ), pp. 305–336.
- VDM-1978-Bjorner78a #abstraction #operating system #pl-i #specification #tutorial
- Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition (DB), pp. 337–374.
