4716 search results - page 107 / 944 » Iterative-free program analysis |
118
click to vote
FLOPS
2010
Springer
15 years 7 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...
126
click to vote
DEBU
2007
15 years 2 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...
126
click to vote
CLEF
2005
Springer
15 years 8 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...
103
click to vote
PLDI
1996
ACM
15 years 6 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...
WCET
2008
15 years 3 months ago
2008
We have developed a new programming paradigm which, for conforming programs, allows the averagecase execution time (ACET) to be obtained automatically by a static analysis. This i...