Sciweavers

ECOOP
2010
Springer
13 years 9 months ago
Verifying Generics and Delegates
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
Kasper Svendsen, Lars Birkedal, Matthew Parkinson
ECOOP
2010
Springer
13 years 9 months ago
Programming Coordinated Behavior in Java
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
David Harel, Assaf Marron, Gera Weiss
ECOOP
2010
Springer
13 years 9 months ago
Secret Valley
Erik Ernst