TOOA: A Temporal Object-Oriented Algebra
No abstract available.
Related papers
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs POPL 2025
- A Refinement Algebra for Object-Oriented Programming ECOOP 2003
- 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
- Generalized algebraic data types and object-oriented programming OOPSLA 2005
- Automated Temporal Verification for Algebraic Effects APLAS 2022
- Object-Oriented Programming without Inheritance (Invited Talk) ECOOP 2015