200 search results - page 21 / 40 » Modular Reasoning in Object-Oriented Programming |
ECOOP
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
SIGSOFT
2004
ACM
14 years 10 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...