Objects and Classes, Coalgebraically (1995)

Cached

Download Links

by B. Jacobs , Issn -x , Bart Jacobs
Venue:Object-Orientation with Parallelism and Persistence
Citations:68 - 17 self

Documents Related by Co-Citation

92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
34 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999
12 Structural induction and coinduction in a setting – C Hermida, B Jacobs - 1998
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
14 bisimulations and the correctness of coalgebraic refinements – Invariants
30 Mongruences and Cofree Coalgebras – Bart Jacobs - 1995
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
658 Concurrency and automata on infinite sequences – D Park - 1981
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
305 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
10 An extended abstract of a hidden agenda – J A Goguen, G Malcolm - 1996
7 Definition and Proof Principles for Data and Processes – U Hensel - 1999