1403 search results - page 1 / 281 » Quantitative Interprocedural Analysis |
SAS
2004
Springer
13 years 9 months ago
2004
Springer
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
PLDI
1995
ACM
13 years 8 months ago
1995
ACM
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
POPL
2004
ACM
14 years 4 months ago
2004
ACM
CASCON
1996
13 years 5 months ago
1996
Message passing overhead is often a substantial source of runtime overhead in object-oriented applications. To combat this performance problem, a number of techniques have been de...
POPL
2007
ACM
14 years 4 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...