173 search results - page 1 / 35 » Interprocedural analysis of asynchronous programs |
POPL
2007
ACM
14 years 5 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...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
SAS
2004
Springer
13 years 10 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...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...