Coalgebras and Monads in the Semantics of Java (2002)

Cached

Download Links

by Bart Jacobs , Erik Poll
Venue:Theoretical Computer Science
Citations:4 - 0 self

Active Bibliography

Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
21 Towards a Duality Result in the Modal Logic of Coalgebras – Bart Jacobs - 2000
12 A Monad for Basic Java Semantics – Bart Jacobs , Erik Poll - 2000
6 Coalgebraic Components in a Many-Sorted Microcosm – Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
7 What is the Coalgebraic Analogue of Birkhoff's Variety Theorem? – Robert Goldblatt - 2000
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
1 Logics Admitting Final Semantics – Alexander Kurz - 2002
53 Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study – B. P. F. Jacobs, Bart Jacobs - 2001
4 A modal proof theory for final polynomial coalgebras. Theoret – David Friggens, Robert Goldblatt
3 Coalgebras in Specification and Verification for Object-Oriented Languages – Bart Jacobs - 1999
20 A Case Study in Class Library Verification: Java's Vector Class – Marieke Huisman, Bart Jacobs, Joachim van den Berg - 1999
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
54 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
10 Coalgebraic Reasoning about Classes in Object-Oriented Languages – Bart Jacobs - 1998
34 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998
18 Reasoning about Java classes – Bart Jacobs, Joachim Van Den Berg, Marieke Huisman, Martijn van Berkum, Ulrich Hensel, Hendrik Tews - 1998
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
3 VerifiCard - A European Project for Smart Card Verification – Bart Jacobs - 2001