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

Documents Related by Co-Citation

11 Towards a duality result in coalgebraic modal logic – B Jacobs
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
54 Logics for Coalgebras and Applications to Computer Science – A Kurz - 2000
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
89 Coalgebraic Logic – Lawrence S. Moss - 1999
61 Specifying Coalgebras with Modal Logic – A Kurz - 1998
17 Logics of Time and Computation,” Number 7 – R Goldblatt - 1987
63 The Logic of Games and its Applications – Rohit Parikh - 1985
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1 A program logic for resources. (2007) Accepted – D Aspinall, L Beringer, Hofmann
53 Observational logic – Rolf Hennicker, Michel Bidoit - 1999
2 writing and relations – N Benton
20 Program logic and equivalence in the presence of garbage collection – Cristiano Calcagno, Richard Bornat - 2001
2 A Program Logic for Resources. Theoretical Computer Science – D Aspinall, L Beringer, M Hofmann, H-W Loidl, A Momigliano
6 Possible worlds and resources: The semantics of BI. Theoretical Computer Science, 315(1):257–305, 2004. Preprint available at http://www. bath.ac.uk/˜pym/recent.html . Erratum: p. 285, l – D J Pym, P W O’Hearn, H Yang
11 State-Based Extension of CASL – H. Baumeister, A. Zamulin - 2000
12 Monad-independent dynamic logic in HasCasl – Lutz Schröder, Till Mossakowski
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002