6960 search results - page 118 / 1392 » Continuity Analysis of Programs |
126
click to vote
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
135
click to vote
WCRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
136
click to vote
PLDI
1999
ACM
15 years 7 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...
239
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
120
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...