A monad for basic Java semantics

DOI10.1007/3-540-45499-3_12MaRDI QIDQ2767171zbMATH OpenFDO

Authors Bart Jacobs, Erik Poll

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_12

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Coalgebras and monads in the semantics of Java
• Algebraic Methodology and Software Technology
• Monad as modality
• scientific article; zbMATH DE number 1569118
• A monadic semantics for core Curry
• Monads in action
• scientific article; zbMATH DE number 3841844
• scientific article; zbMATH DE number 2086588

Cited in

(5)

• Coalgebras and monads in the semantics of Java
• Building verification condition generators by compositional extension
• VDM Semantics of Programming Languages: Combinators and Monads
• Algebraic Methodology and Software Technology
• VDM semantics of programming languages: Combinators and monads

This page was built for publication: A monad for basic Java semantics

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