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

by Ulrich Hensel , Marieke Huisman , Bart Jacobs , Hendrik Tews
Citations:35 - 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
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
12 Invariants, Bisimulations and the Correctness of Coalgebraic Refinements – Bart Jacobs - 1997
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
495 On agent-based software engineering – Nicholas R. Jennings, Michael Wooldridge - 2000