Abstract interpretation
Determination of variable dependence information at compile-time through abstract interpretation
21
Abstract interpretation with specialized definitions
17
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
26
Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation
10
Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming
51
Abstract interpretation with specialized definitions
20
Resource usage analysis of logic programs via abstract interpretation using sized types
16
Combined determination of sharing and freeness of program variables through abstract interpretation
15
Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs
21
Experiments in abstract interpretation-based code certification for pervasive systems
6
Abstract interpretation-based code certification for pervasive systems: Preliminary experiments
7
Abstract Interpretation-based verification/certification in the ciaoPP system
13
Compile-time derivation of variable dependency using abstract interpretation
35
An abstract interpretation-based approach to mobile code safety
16
Efficient implementation of general negation using abstract interpretation
16
An integration of partial evaluation in a generic abstract interpretation framework
10
Abstract specialization and its applications
15
Abstract specialization and its application to program parallelization
18
Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.
32
Reducing the overhead of assertion run-time checks via static analysis
14