Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development
Handbook of theoretical computer science (vol. B)
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
ISO/IEC 10514–1, the standard for Modula-2: process aspects
ACM SIGPLAN Notices
The Vienna Definition Language
ACM Computing Surveys (CSUR)
The denotational semantics of programming languages
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Fundamental Concepts in Programming Languages
Higher-Order and Symbolic Computation
Towards a Formal Description of Ada
Towards a Formal Description of Ada
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
On the Formal Definition of a PL/I Subset (Selected parts)
Programming Languages and Their Definition - Hans Bekic (1936-1982)
Formal specification and development of an ada compiler - a vdm case study
ICSE '84 Proceedings of the 7th international conference on Software engineering
Formal definition of programming language standards
ACM SIGPLAN Notices
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
Component-based description of programming languages
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
| Hi-index | 0.00 |
Although VDM semantic descriptions of programming language are denotational, they can be read quite operationally. After recalling the main features of denotational semantics, this paper examines the combinators of the VDM specification language, and relates them to the use of monads in the monadic style of denotational semantics. It also provides an overview of published VDM semantic descriptions of major programming languages. Familiarity is assumed with the basic concepts of formal specification.