Sciweavers

22 search results - page 1 / 5
» ecoop 1999
Sort
View
ECOOP
1999
Springer
13 years 8 months ago
Modular Statically Typed Multimethods
Todd D. Millstein, Craig Chambers
ECOOP
1999
Springer
13 years 8 months ago
Formal Specification and Prototyping of CORBA Systems
Rémi Bastide, Ousmane Sy, Philippe A. Palan...
ECOOP
1999
Springer
13 years 8 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
ECOOP
1999
Springer
13 years 8 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