2947 search results - page 79 / 590 » Analyzing Program Analyses |
84
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a new Abductive Logic Programming (ALP) approach for assisting clinicians in the selection of antiretroviral drugs for patients infected with Human Im...
115
click to vote
CC
2002
Springer
15 years 2 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
109
click to vote
SPATIALCOGNITION
2004
Springer
15 years 7 months ago
2004
Springer
We developed a method to analyze sketch maps by GIS, and applied it to an actual case study. We found that analysis using buffer operation was more effective for sketch map analyse...
117
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
116
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...