VDM semantics of programming languages: combinators and monads - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Formal Aspects of Computing Année : 2010

VDM semantics of programming languages: combinators and monads

Résumé

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 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.
Fichier principal
Vignette du fichier
PEER_stage2_10.1007%2Fs00165-009-0145-4.pdf (285.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00583552 , version 1 (06-04-2011)

Identifiants

Citer

Peter D. Mosses. VDM semantics of programming languages: combinators and monads. Formal Aspects of Computing, 2010, 23 (2), pp.221-238. ⟨10.1007/s00165-009-0145-4⟩. ⟨hal-00583552⟩

Collections

PEER
73 Consultations
252 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More