2947 search results - page 99 / 590 » Analyzing Program Analyses |
115
Voted
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
112
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
114
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...
129
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
99
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
We are designing dynamic analysis techniques to identify executed program statements where a fault lies, i.e. the fault candidate set. To narrow the set of statements in the fault...