173 search results - page 1 / 35 » Interprocedural analysis of asynchronous programs |
172
Voted
POPL
2007
ACM
15 years 10 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...
SAS
2004
Springer
15 years 3 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
15 years 1 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
15 years 5 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...