4716 search results - page 109 / 944 » Iterative-free program analysis |
SAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
FM
2009
Springer
15 years 4 months ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
The grid security architecture today does not prevent certain unauthorized access to the files associated with a job executing on a remote machine. Programs and data are transferre...
POPL
1998
ACM
15 years 2 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The µSTHERMANAL program is ...