A Refinement Algebra for Object-Oriented Programming
No abstract available.
Related papers
- Generalized algebraic data types and object-oriented programming OOPSLA 2005
- Reasoning and Refinement in Object-Oriented Specification Languages ECOOP 1992
- TOOA: A Temporal Object-Oriented Algebra ECOOP 1993
- Feature-Oriented Programming with Object Algebras ECOOP 2013
- Object-Oriented Programming for Linear Algebra OOPSLA 1989
- OoLALA: an object oriented analysis and design of numerical linear algebra OOPSLA 2000
- The Process of Object-Oriented Design OOPSLA 1992
- Object-Oriented Design: A Responsibility-Driven Approach OOPSLA 1989