References

[APH04]

E. Albert, G. Puebla, and M. V. Hermenegildo.
An Abstract Interpretation-based Approach to Mobile Code Safety.
In Proc. of Compiler Optimization meets Compiler Verification (COCV'04), Electronic Notes in Theoretical Computer Science 132(1), pages 113--129. Elsevier - North Holland, April 2004.

[BCHP96]

F. Bueno, D. Cabeza, M. V. Hermenegildo, and G. Puebla.
Global Analysis of Standard Prolog Programs.
In European Symposium on Programming, number 1058 in LNCS, pages 108--124, Sweden, April 1996. Springer-Verlag.

[BDD97]

F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. V. Hermenegildo, J. Maluszynski, and G. Puebla.
On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs.
In Proc. of the 3rd. Int'l Workshop on Automated Debugging--AADEBUG'97, pages 155--170, Linköping, Sweden, May 1997. U. of Linköping Press.

[BGH99]

F. Bueno, M. García de la Banda, and M. V. Hermenegildo.
Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.
ACM Transactions on Programming Languages and Systems, 21(2):189--238, March 1999.

[BLGH04]

F. Bueno, P. López-García, and M. V. Hermenegildo.
Multivariant Non-Failure Analysis via Standard Abstract Interpretation.
In 7th International Symposium on Functional and Logic Programming (FLOPS 2004), number 2998 in LNCS, pages 100--116, Heidelberg, Germany, April 2004. Springer-Verlag.

[DLGH97]

S.K. Debray, P. López-García, and M. V. Hermenegildo.
Non-Failure Analysis for Logic Programs.
In 1997 International Conference on Logic Programming, pages 48--62, Cambridge, MA, June 1997. MIT Press, Cambridge, MA.

[DLGHL94]

S.K. Debray, P. López-García, M. V. Hermenegildo, and N.-W. Lin.
Estimating the Computational Cost of Logic Programs.
In Static Analysis Symposium, SAS'94, number 864 in LNCS, pages 255--265, Namur, Belgium, September 1994. Springer-Verlag.

[DLGHL97]

S. K. Debray, P. López-García, M. V. Hermenegildo, and N.-W. Lin.
Lower Bound Cost Estimation for Logic Programs.
In 1997 International Logic Programming Symposium, pages 291--305. MIT Press, Cambridge, MA, October 1997.

[DZ92]

P.W. Dart and J. Zobel.
A Regular Type Language for Logic Programs.
In Types in Logic Programming, pages 157--187. MIT Press, 1992.

[GdW94]

J.P. Gallagher and D.A. de Waal.
Fast and Precise Regular Approximations of Logic Programs.
In Pascal Van Hentenryck, editor, Proc. of the 11th International Conference on Logic Programming (ICLP'94), pages 599--613. MIT Press, 1994.

[GP02]

J. Gallagher and G. Puebla.
Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs.
In Fourth International Symposium on Practical Aspects of Declarative Languages, number 2257 in LNCS, pages 243--261. Springer-Verlag, January 2002.

[HALGP04]

M. V. Hermenegildo, E. Albert, P. López-García, and G. Puebla.
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System.
In Proc. of EURO--PAR 2004, number 3149 in LNCS, pages 21--37. Springer-Verlag, August 2004.

[HPB99]

M. V. Hermenegildo, G. Puebla, and F. Bueno.
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.
In K. R. Apt, V. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: a 25--Year Perspective, pages 161--192. Springer-Verlag, July 1999.

[HPBLG05]

M. V. Hermenegildo, G. Puebla, F. Bueno, and P. Lopez-Garcia.
Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor).
Science of Computer Programming, 58(1--2):115--140, October 2005.

[LGBH05]

P. López-García, F. Bueno, and M. V. Hermenegildo.
Determinacy Analysis for Logic Programs Using Mode and Type Information.
In Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), number 3573 in LNCS, pages 19--35. Springer-Verlag, August 2005.

[MH92]

K. Muthukumar and M. Hermenegildo.
Compile-time Derivation of Variable Dependency Using Abstract Interpretation.
Journal of Logic Programming, 13(2/3):315--347, July 1992.

[PBH00a]

G. Puebla, F. Bueno, and M. V. Hermenegildo.
A Generic Preprocessor for Program Validation and Debugging.
In P. Deransart, M. V. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 63--107. Springer-Verlag, September 2000.

[PBH00b]

G. Puebla, F. Bueno, and M. V. Hermenegildo.
An Assertion Language for Constraint Logic Programs.
In P. Deransart, M. V. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.

[PBH00c]

G. Puebla, F. Bueno, and M. V. Hermenegildo.
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.
In Logic-based Program Synthesis and Transformation (LOPSTR'99), number 1817 in LNCS, pages 273--292. Springer-Verlag, March 2000.

[VB02]

C. Vaucheret and F. Bueno.
More Precise yet Efficient Type Inference for Logic Programs.
In 9th International Static Analysis Symposium (SAS'02), volume 2477 of Lecture Notes in Computer Science, pages 102--116. Springer-Verlag, September 2002.

[YS87]

E. Yardeni and E. Shapiro.
A Type System for Logic Programs.
Concurrent Prolog: Collected Papers, pages 211--244, 1987.