Affiliation:
1. Department of Computer Science, Swansea University, Swansea, UK
Abstract
Abstract
The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott–Strachey style by making extensive use of combinators which have a fixed
operational
interpretation. After recalling the main features of denotational semantics and the Scott–Strachey style, we examine the combinators of the VDM specification language, and relate them to monads, which were introduced more than 15 years later. We also suggest that use of further monadic combinators in VDM could be beneficial. Finally, we provide an overview of published VDM semantic descriptions of major programming languages.
Publisher
Association for Computing Machinery (ACM)
Subject
Theoretical Computer Science,Software
Reference43 articles.
1. Andrews DJ Henhapl W (1982) Pascal. In: Formal specification and software development ch 7. Computer science series. Prentice-Hall Int. Englewood Cliffs pp 175–252
2. Direct semantics of concurrent languages in the SMoLCS approach
3. Revised report on the algorithm language ALGOL 60
4. Bekič H Bjørner D Henhapl W Jones CB Lucas P (1984) On the formal definition of a PL/I subset (selected parts). In: Programming languages and their definition—Hans Bekič (1936–1982). LNCS vol 177. Springer Berlin pp 107–155. Available at http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/LNCS177-Bekic/. Full version published as Technical Report 25.139 IBM Lab. Vienna Dec. 1974; available at http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/TR25139/
5. The Vienna Development Method: The Meta-Language
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献