4716 search results - page 274 / 944 » Iterative-free program analysis |
183
click to vote
CONCURRENCY
1998
15 years 6 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
187
click to vote
JSC
2010
15 years 5 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
180
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
174
click to vote
EOR
2010
15 years 1 months ago
2010
We analyze the problem of pricing and hedging contingent claims in the multi-period, discrete time, discrete state case using the concept of a sufficiently attractive expected gai...
156
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...