1452 search results - page 77 / 291 » Algorithmic Analysis of Array-Accessing Programs |
PLDI
2011
ACM
13 years 2 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in āregularā...
ESOP
1994
Springer
14 years 3 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
SCAM
2007
IEEE
14 years 5 months ago
2007
IEEE
Collection attributes, as deļ¬ned by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
CSMR
2004
IEEE
14 years 2 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
CONCUR
2005
Springer
14 years 4 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...