4725 search results - page 114 / 945 » Dependence-Based Program Analysis |
210
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
139
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
142
click to vote
DEBU
2007
15 years 4 months ago
2007
Provenance is information that aids understanding and troubleshooting database queries by explaining the results in terms of the input. Slicing is a program analysis technique for...
149
Voted
CLEF
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
125
click to vote
PLDI
1996
ACM
15 years 9 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...