Titlebook: ECOOP 2005 - Object-Oriented Programming; 19th European Confer Andrew P. Black Conference proceedings 2005 Springer-Verlag Berlin Heidelber

Accessible

First-Class Relationships in an Object-Oriented Languageships to have attributes and provide a novel notion of relationship inheritance. We formalize our language giving both the type system and operational semantics and prove certain key safety properties.

王得到

Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Modelem. This paper introduces a novel object model, prototypes with multiple dispatch (PMD), which seamlessly unifies these two approaches. We give formal semantics for PMD, and discuss implementation and experience with PMD in the dynamically typed programming language Slate.