2947 search results - page 80 / 590 » Analyzing Program Analyses |
127
click to vote
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
122
Voted
CC
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
119
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
129
click to vote
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
110
click to vote
FPCA
1995
15 years 6 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...