Sciweavers

173 search results - page 1 / 35
» Interprocedural analysis of asynchronous programs
Sort
View
POPL
2007
ACM
14 years 6 months ago
Interprocedural analysis of asynchronous programs
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...
Ranjit Jhala, Rupak Majumdar
SAS
2004
Springer
106views Formal Methods» more  SAS 2004»
13 years 11 months ago
A Relational Approach to Interprocedural Shape Analysis
This paper addresses the verification of properties of imperative programs with recursive procedure calls, heap-allocated storage, and destructive updating of pointer-valued fiel...
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, ...
PLDI
1995
ACM
13 years 9 months ago
Flow-Sensitive Interprocedural Constant Propagation
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
Paul R. Carini, Michael Hind
VMCAI
2009
Springer
14 years 12 days ago
The Higher-Order Aggregate Update Problem
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
Christos Dimoulas, Mitchell Wand