Coalgebras and Monads in the Semantics of Java

Coalgebras and Monads in the Semantics of Java (2002)

by Bart Jacobs , Erik Poll

Venue:	Theoretical Computer Science
Citations:	4 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Coalgebras and Monads in the Semantics of Java	user correction - Legacy Corrections
AUTHOR NAME	Bart Jacobs	SVM HeaderParse 0.1
AUTHOR AFFIL	Dept. of Computer Science, University of Nijmegen,	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL Nijmegen, The Netherlands.	SVM HeaderParse 0.1
AUTHOR NAME	Erik Poll	SVM HeaderParse 0.1
AUTHOR AFFIL	Dept. of Computer Science, University of Nijmegen,	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL Nijmegen, The Netherlands.	SVM HeaderParse 0.1
ABSTRACT	This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the verification of (sequential) Java programs using proof tools in the LOOP project at the University of Nijmegen. It is shown how the monadic perspective gives rise to the relevant computational structure in Java (composition, extension and repetition), and how the coalgebraic perspective o#ers an associated program logic (with invariants, bisimulations, and Hoare logics) for reasoning about the computational structure provided by the monad.	SVM HeaderParse 0.1
YEAR	2002	user correction - Legacy Corrections
VENUE	Theoretical Computer Science	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2003	INFERENCE
VOLUME	291	INFERENCE
CITATIONS	48 found	ParsCit 1.0