Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
Abstract elided by the publisher.
Related papers
- ArchMatE: from architectural styles to object-oriented models through exploratory tool support OOPSLA 2005
- Reasoning about Java Classes (Preliminary Report) OOPSLA 1998
- Reasoning about multiple related abstractions with MultiStar OOPSLA 2010
- Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools ECOOP 2000
- A logic for information flow in object-oriented programs POPL 2006
- Modular Reasoning About Object Relations CAV 2026
- Separation logic, abstraction and inheritance POPL 2008
- An Object-Oriented Modeling Environment OOPSLA 1989