|
1637
|
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
– P Cousot, R Cousot
- 1977
|
|
79
|
Global Analysis of Constraint Logic Programs
– Maria Garcia de la Banda, M. Hermenegildo, Maurice Bruynooghe, V. Dumortier, Gerda Janssens, W. Simoens
- 1996
|
|
47
|
An Assertion Language for Constraint Logic Programs
– G PUEBLA, F BUENO, M 2000b HERMENEGILDO
|
|
111
|
Compile-time Derivation of Variable Dependency Using Abstract Interpretation
– K. Muthukumar, M. Hermenegildo
- 1992
|
|
186
|
A practical framework for the abstract interpretation of logic programs
– M Bruynooghe
- 1991
|
|
99
|
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog
– B Le Charlier, P Van Hentenryck
- 1994
|
|
30
|
Estimating the Computational Cost of Logic Programs
– S. K. Debray, P. López García, M. Hermenegildo, N.-W. Lin
- 1994
|
|
50
|
Lower Bound Cost Estimation for Logic Programs
– Saumya Debray, P. López García, Manuel Hermenegildo, Garc'ia Manuel Hermenegildo, Nai-wei Lin
- 1997
|
|
30
|
Program Development Using Abstract Interpretation (and The Ciao System Preprocessor
– Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-garcía
- 2003
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
35
|
On the role of semantic approximations in validation and diagnosis of constraint logic programs
– F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Ma, G. Puebla
- 1997
|
|
96
|
Fast and Precise Regular Approximation of Logic Programs
– J. P. Gallagher, D. A. De Waal
- 1993
|
|
15
|
A Generic Preprocessor for Program Validation and Debugging
– G PUEBLA, F BUENO, M 2000a HERMENEGILDO
|
|
32
|
Optimized Algorithms for Incremental Analysis of Logic Programs
– Germán Puebla, Manuel Hermenegildo
- 1996
|
|
25
|
Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
– John P. Gallagher, Germán Puebla
- 2002
|
|
25
|
More precise yet efficient type inference for logic programs
– Claudio Vaucheret, Francisco Bueno
- 2002
|
|
13
|
Combined Static and Dynamic Assertion-based Debugging of Constraint Logic Programs
– Francisco Bueno, Manuel Hermenegildo
- 2000
|
|
19
|
A Model for Inter-module Analysis and Optimizing Compilation
– Francisco Bueno, María García de la Banda, Manuel Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey
- 2000
|
|
79
|
Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation
– K Muthukumar, M Hermenegildo
- 1991
|
