Programming in the meta-language: A tutorial

  • Dines Bjørner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 61)


This paper provides an informal introduction to the "art" of abstractly specifying software architectures using the VDM meta-language. A formal treatment of the semantics, as well as a BNF-like concrete syntax, of a large subset of the meta-language is given in [Jones 78a] following this paper.


File System Domain Expression Function Definition Abstract Syntax Source Language 

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Dines Bjørner

There are no affiliations available

Personalised recommendations