The Vienna Development Method: The Meta-Language
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Dines Bjørner, Cliff B. Jones
The Vienna Development Method: The Meta-Language
VDM, 1978.

Full names Links ISxN
	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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.