Coalgebras and monads in the semantics of Java

DOI10.1016/S0304-3975(02)00366-3MaRDI QIDQ1853752zbMATH OpenOpenAlexFDO

Authors 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, http://hdl.handle.net/2066/130375

zbMATH Keywords

coalgebraJavamonad

Mathematics Subject Classification ID

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

Recommendations

• A monad for basic Java semantics
• scientific article; zbMATH DE number 1231635
• scientific article; zbMATH DE number 139984
• Recursive coalgebras from comonads
• A coalgebraic semantics of subtyping

Cites work

• A case study in class library verification: Java's vector class
• A formalisation of Java's exception mechanism
• A logic for the Java modeling language JML
• A monad for basic Java semantics
• A type-theoretic memory model for verification of sequential Java programs
• An approach to object semantics based on terminal co-algebras
• Axiomatic Domain Theory in Categories of Partial Maps
• Categories of processes enriched in final coalgebras
• Coalgebraic logic
• Comprehending monads
• Correct and Robust Programs
• Formal specification and verification of JavaCard's application identifier class
• From modal logic to terminal coalgebras
• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3769855 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• scientific article; zbMATH DE number 1497877 (Why is no real title available?)
• scientific article; zbMATH DE number 1497882 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Inheritance in higher order logic: Modeling and reasoning
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Notions of computation and monads
• Specifying coalgebras with modal logic
• Strong functors and monoidal monads
• The LOOP compiler for Java and JML
• The temporal logic of coalgebras via Galois algebras

Cited in

(10)

• From global to local state, coalgebraically and compositionally
• A monad for basic Java semantics
• Kleene monads: handling iteration in a framework of generic effects
• Coalgebraic approach for program behavior in comonads over toposes
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• Coalgebraic operational semantics for an imperative language
• Shades of iteration: from Elgot to Kleene
• Deriving escape analysis by abstract interpretation
• A generic complete dynamic logic for reasoning about purity and effects

Describes a project that uses

Uses Software

• LOOP
• JML
• PVS

This page was built for publication: Coalgebras and monads in the semantics of Java

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