Disciplined Inheritance
No abstract available.
Related papers
- Split Objects: a Disciplined Use of Delegation within Objects OOPSLA 1996
- A Law-Based Approach to Object-Oriented Programming OOPSLA 1987
- Reasoning about multiple related abstractions with MultiStar OOPSLA 2010
- A Type Discipline for Authorization Policies ESOP 2005
- Language Primitives and Type Discipline for Structured Communication-Based Programming ESOP 1998
- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness ESOP 2013
- Using Message Passing for Distributed Programming: Proof Rules, Disciplines TOPLAS 1984
- A Type Discipline for Message Passing Parallel Programs TOPLAS 2022