Sciweavers

ECOOP
2006
Springer
15 years 6 months ago
Parameterized Modules for Classes and Extensible Functions
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...
Keunwoo Lee, Craig Chambers
ECOOP
2006
Springer
15 years 6 months ago
Peak Objects
William R. Cook
ECOOP
2006
Springer
15 years 6 months ago
Efficient Object Querying for Java
Modern programming languages have little or no support for querying objects and collections. Programmers are forced to hand code such queries using nested loops, which is both cumb...
Darren Willis, David J. Pearce, James Noble
ECOOP
2006
Springer
15 years 6 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
ECOOP
2006
Springer
15 years 6 months ago
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
Tao Xie