VDM semantics of programming languages: Combinators and monads

DOI10.1007/S00165-009-0145-4zbMath1216.68157OpenAlexW2147822230WikidataQ57783401 ScholiaQ57783401MaRDI QIDQ539163

Peter D. Mosses

Publication date: 27 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-009-0145-4

zbMATH Keywords

denotational semanticsmonadscombinatorsprogramming language semanticsVDM

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Towards a formal description of Ada
• The Vienna development method: The meta-language
• Fundamental concepts in programming languages
• VDM Semantics of Programming Languages: Combinators and Monads
• Direct semantics of concurrent languages in the SMoLCS approach
• The denotational semantics of programming languages
• Correspondence between ALGOL 60 and Church's Lambda-notation

This page was built for publication: VDM semantics of programming languages: Combinators and monads