144
click to vote
ECOOP
15 years 2 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...
104
click to vote
ECOOP
15 years 3 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...
104
click to vote
ECOOP
15 years 3 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...
115
click to vote
ECOOP
15 years 3 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...
103
click to vote
ECOOP
15 years 3 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