185 search results - page 2 / 37 » Invariants, Modularity, and Rights |
FMCO
2004
Springer
14 years 1 months ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
JCT
2011
13 years 2 months ago
2011
Abstract. We consider a finite dimensional indecomposable modular representation of a cyclic p-group and we give a recursive description of an associated separating set: We show t...
KBSE
1999
IEEE
13 years 12 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
VMCAI
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
ENTCS
2006
13 years 7 months ago
2006
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...