Coalgebras and monads in the semantics of Java

DOI10.1016/S0304-3975(02)00366-3zbMath1008.68073OpenAlexW2149123662MaRDI QIDQ1853752

Bart Jacobs, Erik Poll

Publication date: 22 January 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00366-3

zbMATH Keywords

coalgebraJavamonad

Mathematics Subject Classification ID

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

Related Items

Kleene Monads: Handling Iteration in a Framework of Generic Effects ⋮ From global to local state, coalgebraically and compositionally ⋮ Deriving escape analysis by abstract interpretation ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes

Uses Software

• PVS
• JML
• LOOP

Cites Work

• Notions of computation and monads
• Coalgebraic logic
• Strong functors and monoidal monads
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Correct and Robust Programs
• Comprehending monads
• Axiomatic Domain Theory in Categories of Partial Maps
• The temporal logic of coalgebras via Galois algebras
• An approach to object semantics based on terminal co-algebras
• Specifying coalgebras with modal logic
• From modal logic to terminal coalgebras
• A case study in class library verification: Java's vector class
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item