VDM Semantics of Programming Languages: Combinators and Monads

DOI10.1007/978-3-540-75221-9_23MaRDI QIDQ3526945zbMATH OpenOpenAlexWikidataFDO

Authors Peter D. Mosses

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9_23

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• VDM semantics of programming languages: Combinators and monads
• scientific article; zbMATH DE number 1696886
• scientific article; zbMATH DE number 2090722
• Monads in action
• Programming language description languages. From Christopher Strachey to semantics online

Cited in

(2)

• scientific article; zbMATH DE number 1241701 (Why is no real title available?)
• VDM semantics of programming languages: Combinators and monads

This page was built for publication: VDM Semantics of Programming Languages: Combinators and Monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3526945)