Verifying Generics and Delegates
Abstract elided by the publisher.
Related papers
- Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity OOPSLA 1995
- Split Objects: a Disciplined Use of Delegation within Objects OOPSLA 1996
- Controllable Delegation: An Exercise in Law-Governed Systems OOPSLA 1989
- Dynamically Composable Collaborations with Delegation Layers ECOOP 2002
- Type-Safe Delegation for Run-Time Component Adaptation ECOOP 1999
- A Delegation Language to Request Weather Products and a Scheme of Its Interpretation ICFP 1998
- Delegation Is Inheritance OOPSLA 1987
- Rule-Based Delegation for Prototypes OOPSLA 1989