ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes
No abstract available.
Related papers
- Precise Concrete Type Inference for Object-Oriented Languages OOPSLA 1994
- Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages OOPSLA 1995
- Type-Checking Higher-Order Polymorphic Multi-Methods POPL 1997
- Eliminating distinctions of class: using prototypes to model virtual classes OOPSLA 2006
- Object-oriented programming with gradual abstraction DLS 2012
- Virtual Memory and Backing Storage Management in Multiprocessor Operating Systems Using Object-Oriented Design Techniques OOPSLA 1989
- Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions OOPSLA 2004
- Data-driven synthesis for object-oriented frameworks OOPSLA 2011