VDM semantics of programming languages: combinators and monads
VDM semantics of programming languages: combinators and monads
复制标题
编程语言的 VDM 语义：组合子和 monad
DOI：
--
复制
发表时间：
2011
影响因子：
1
通讯作者：
Peter D. Mosses
中科院分区：
文献类型：
--
作者：
Peter D. Mosses
维也纳发展方法(VDM)是20世纪70年代初发展起来的，是指称语义学的一种变体。VDM对编程语言的描述不同于最初的Scott-Straceh风格，因为它广泛使用了具有固定操作解释的组合符。在回顾了指称语义和Scott-Straceh风格的主要特征之后，我们研究了VDM规范语言的组合子，并将它们与15多年后引入的Monad联系起来。我们还建议在VDM中使用更多的一元组合子可能是有益的。最后，我们对已发表的主要编程语言的VDM语义描述进行了概述。
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.