Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools (1998)

by Ulrich Hensel , Marieke Huisman , Bart Jacobs , Hendrik Tews
Citations:34 - 15 self

Documents Related by Co-Citation

68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
12 Structural induction and coinduction in a setting – C Hermida, B Jacobs - 1998
7 Definition and Proof Principles for Data and Processes – U Hensel - 1999
14 bisimulations and the correctness of coalgebraic refinements – Invariants
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999
6 bisimulations and the correctness of coalgebraic re – Invariants - 1997
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
130 A Logic of Object-Oriented Programs – Martin Abadi, K. Rustan M. Leino - 1998
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
6 Logic: On the algebraic extension of coalgebraic speci – R Hennicker, A Kurz - 1999
89 The Java Language Speci – James Gosling, Bill Joy, Guy Steele - 1996
305 Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke - 1995
13 Spaces. Number 3 – Stone - 1982
35 Introduction to Lattices and – B A Davey, H A Priestley - 2002
1107 Temporal and modal logic – E. Allen Emerson - 1995