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 BibTeX
@proceedings{DBLP:conf/fm/1978,
editor = {Dines Bj{\o}rner and
Cliff B. Jones},
title = {The Vienna Development Method: The Meta-Language},
booktitle = {The Vienna Development Method: The Meta-Language},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {61},
year = {1978},
isbn = {3-540-08766-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Peter Lucas:
On the Formalization of Programming Languages: Early History and Main Approaches.
1-23 BibTeX
- Dines Bjørner:
Programming in the META-Language: A Tutorial.
24-217 BibTeX
- Cliff B. Jones:
The META-Language: A Reference Manual.
218-277 BibTeX
- Cliff B. Jones:
Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations.
278-304 BibTeX
- Wolfgang Henhapl, Cliff B. Jones:
A Formal Definition of Algol 60 as Described in the 1975 Modified Report.
305-336 BibTeX
- 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 BibTeX
Copyright © Sat May 16 23:12:14 2009
by Michael Ley (ley@uni-trier.de)