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

Active Bibliography

18 Reasoning about Java classes – Bart Jacobs, Joachim Van Den Berg, Marieke Huisman, Martijn van Berkum, Ulrich Hensel, Hendrik Tews - 1998
10 Coalgebraic Reasoning about Classes in Object-Oriented Languages – Bart Jacobs - 1998
9 Coalgebras For Binary Methods: Properties Of Bisimulations And Invariants – Hendrik Tews - 2001
12 Invariants, Bisimulations and the Correctness of Coalgebraic Refinements – Bart Jacobs - 1997
2 Greatest Bisimulations for Binary Methods – Hendrik Tews, Inst Theor Informatik, Tu Dresden, D-- Dresden - 2002
8 Coalgebraic Theories of Sequences in PVS – Ulrich Hensel, Bart Jacobs - 1998
36 The Coalgebraic Class Specification Language CCSL -- Syntax and Semantics – Hendrik Tews - 2002
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
17 A Complete Calculus for Equational Deduction in Coalgebraic Specification – Andrea Corradini, Andrea Corradini - 1997
3 Coalgebras in Specification and Verification for Object-Oriented Languages – Bart Jacobs - 1999
A single complete relational rule for coalgebraic refinement – C├ęsar J. Rodrigues, J. N. Oliveira, Luis S. Barbosa - 2009
Coalgebraic Specifications in Object-Oriented Programming – Elena Tsanko - 2004
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
14 Components as processes: An exercise in coalgebraic modeling – L. S. Barbosa - 2000
5 Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions – Bart Jacobs - 1996
8 Coalgebras for Binary Methods – Hendrik Tews - 2000