Abstract
The recent work of the Vienna Laboratory on the subject of semantic definitions has used the "denotational semantics" approach. Although this is a clear break with the earlier abstract interpreter approach, the newer meta-language has tried to preserve and even improve upon the readability of the earlier "VDL" notation. The meta-language described here has been used in the definitions of large programming languages and systems. This paper is not a tutorial; rather it provides a reference document for the meta-language.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jones, C.B. (1978). The meta-language: A reference manual. In: Bjørner, D., Jones, C.B. (eds) The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, vol 61. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08766-4_10
Download citation
DOI: https://doi.org/10.1007/3-540-08766-4_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08766-3
Online ISBN: 978-3-540-35836-7
eBook Packages: Springer Book Archive