3 search results - page 1 / 1 » A Programmer's Reduction Semantics for Classes and Mixins |
195
Voted
JAVA
1999
Springer
15 years 12 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...
199
Voted
ECOOP
1998
Springer
15 years 12 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...
214
click to vote
POPL
2010
ACM
16 years 5 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)...