3 search results - page 1 / 1 » A Programmer's Reduction Semantics for Classes and Mixins |
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...
ECOOP
1998
Springer
13 years 9 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...