Sciweavers

22 search results - page 1 / 5
» ecoop 1999
Sort
View
147
Voted
ECOOP
1999
Springer
15 years 10 months ago
Object-Oriented Programming: Regaining the Excitement
Andrew P. Black
146
Voted
ECOOP
1999
Springer
15 years 10 months ago
Modular Statically Typed Multimethods
Todd D. Millstein, Craig Chambers
ECOOP
1999
Springer
15 years 10 months ago
Formal Specification and Prototyping of CORBA Systems
Rémi Bastide, Ousmane Sy, Philippe A. Palan...
132
Voted
ECOOP
1999
Springer
15 years 10 months ago
A Trace Model for Pointers and Objects
: Object-oriented programs Dahl, Goldberg, Meyer are notoriously prone to the following kinds of error, which could lead to increasingly severe problems in the presence of tasking
C. A. R. Hoare, Jifeng He
160
Voted
ECOOP
1999
Springer
15 years 10 months ago
A Core Calculus of Classes and Mixins
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
Viviana Bono, Amit Patel, Vitaly Shmatikov