Reasoning and Refinement in Object-Oriented Specification Languages
No abstract available.
Related papers
- Graphical Specification of Object-Oriented Systems OOPSLA 1990
- Analyzing and Measuring Reusability in Object-Oriented Designs OOPSLA 1997
- A Refinement Algebra for Object-Oriented Programming ECOOP 2003
- Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990
- A Relational Model for Object-Oriented Designs APLAS 2004
- A logic for information flow in object-oriented programs POPL 2006
- Dependent types for JavaScript OOPSLA 2012
- Inferring Incorrectness Specifications for Object-Oriented Programs TACAS 2025