A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships
No abstract available.
Related papers
- Reasoning about multiple related abstractions with MultiStar OOPSLA 2010
- Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990
- Tᴏᴏʟ: accessible automated reasoning for human robot collaboration Onward! 2018
- Relations as Semantic Constructs in an Object-Oriented Language OOPSLA 1987
- Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools ECOOP 2000
- A Theory of Tagged Objects ECOOP 2015
- Talk versus work: characteristics of developer collaboration on the jazz platform OOPSLA 2012
- Modular Reasoning About Object Relations CAV 2026