22 search results - page 1 / 5 » ecoop 2009 |
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or ...
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
ECOOP
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...