153
click to vote
ECOOP
15 years 4 months ago
2010 Springer 
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
130
click to vote
ECOOP
15 years 3 months ago
2010 Springer 
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
128
click to vote
ECOOP
15 years 6 months ago
2010 Springer 
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
ECOOP
15 years 4 months ago
2010 Springer
Method overloading is a controversial language feature, especially in the context of Object Oriented languages, where its interaction with overriding may lead to confusing semantic...
105
click to vote
ECOOP
15 years 6 months ago
2010 Springer 
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
|
Programming Languages