270 search results - page 1 / 54 » Call Invariants |
SAS
2009
Springer
14 years 5 months ago
2009
Springer
NFM
2011
12 years 11 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
JMIV
2008
13 years 4 months ago
2008
Moment invariants are features calculated on an image, which do not change their values after a transformation of the image. This paper focuses on the so called combined invariants...
AADEBUG
2005
Springer
13 years 6 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
CDC
2009
IEEE
13 years 2 months ago
2009
IEEE
For decentralized control problems with quadratically invariant information constraints, the optimal controller may be found efficiently. In this paper, we show that there are sys...