132
click to vote
ECOOP
15 years 1 months ago
2008 Springer 
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
95
Voted
ECOOP
15 years 2 months ago
2008 Springer 
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
100
click to vote
ECOOP
15 years 2 months ago
2008 Springer
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
109
Voted
ECOOP
15 years 2 months ago
2008 Springer 
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
96
Voted
ECOOP
15 years 2 months ago
2008 Springer 
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
|
Programming Languages