4725 search results - page 20 / 945 » Dependence-Based Program Analysis |
ESOP
2011
Springer
12 years 12 months ago
2011
Springer
CC
2012
Springer
12 years 4 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimi...