Coalgebras and monads in the semantics of Java
type: Item
instance of: scholarly article
title: Coalgebras and monads in the semantics of Java
zbMATH Open document ID: 1008.68073
DOI: 10.1016/S0304-3975(02)00366-3
author: Bart Jacobs
author: Erik Poll
published in: Theoretical Computer Science
publication date: 2003-01-22T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1857230
zbMATH Keywords: coalgebra
zbMATH Keywords: monad
zbMATH Keywords: Java
describes a project that uses: LOOP
describes a project that uses: JML
describes a project that uses: PVS
MaRDI profile type: Publication
cites work: Q4499313
cites work: Q3682648
cites work: Q2722012
cites work: Q2769594
cites work: Q2771757
cites work: Correct and Robust Programs
cites work: Axiomatic Domain Theory in Categories of Partial Maps
cites work: Q3773852
cites work: Q3122694
cites work: Q2754051
cites work: A case study in class library verification: Java's vector class
cites work: The temporal logic of coalgebras via Galois algebras
cites work: Q4499308
cites work: Q2763679
cites work: Many-sorted coalgebraic modal logic: A model-theoretic study
cites work: Q2767171
cites work: Q2764132
cites work: Q4355684
cites work: Strong functors and monoidal monads
cites work: Q2769437
cites work: Specifying coalgebras with modal logic
cites work: Q5639839
cites work: Q3950708
cites work: Notions of computation and monads
cites work: Coalgebraic logic
cites work: An approach to object semantics based on terminal co-algebras
cites work: Q4499303
cites work: From modal logic to terminal coalgebras
cites work: Q3969890
cites work: Comprehending monads
full work available at URL: s0304-3975(02)00366-3
OpenAlex ID: W2149123662
description: scientific article; zbMATH DE number 1857230