GSBL: An Algebraic Specification Language Based on Inheritance
No abstract available.
Related papers
- An Extension of Standard ML Modules with Subtyping and Inheritance POPL 1991
- Program Specification and Development in Standard ML POPL 1985
- An Algebraic Semantics of Subobjects OOPSLA 1995
- Object-Oriented Programming without Inheritance (Invited Talk) ECOOP 2015
- Scrap your boilerplate with object algebras OOPSLA 2015
- Real-Time Specification Inheritance Anomalies and Real-Time Filters ECOOP 1994
- Behavioral Subtyping, Specification Inheritance, and Modular Reasoning TOPLAS 2015
- An Algebra of Alignment for Relational Verification POPL 2023