185 search results - page 1 / 37 » Invariants, Modularity, and Rights |
ERSHOV
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
ISSAC
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. This paper presents a modular algorithm for computing the greatest common right divisor (gcrd) of two univariate Ore polynomials over Z[t]. The subresultants of Ore polyn...
ASIACRYPT
2004
Springer
13 years 10 months ago
2004
Springer
FAC
2007
13 years 4 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...