4722 search results - page 234 / 945 » Representation-independent program analysis |
173
click to vote
QSIC
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
187
click to vote
ISSAC
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
160
click to vote
ESOP
1994
Springer
15 years 10 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...
144
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and dele...
185
click to vote
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...