Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming

Volumn 58, Issue 1-2, 2005, Pages 115-140

  Hermenegildo, Manuel V ^a,b,c   Puebla, Germán ^a   Bueno, Francisco ^a   López García, Pedro ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSITY OF NEW MEXICO   (United States)

^c UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Abstract interpretation; Debugging; Global analysis; Multi Paradigm programming; Optimization; Parallelization; Partial evaluation; Program development; Program transformation; Programming environments; Resource control; Verification

Indexed keywords

ABSTRACTING; COMPUTATIONAL METHODS; DATA STRUCTURES; OPTIMIZATION;

ABSTRACT INTERPRETATION; GLOBAL ANALYSIS; MULTI-PARADIGM PROGRAMMING; PARALLELIZATION; PARTIAL EVALUATION; PROGRAM DEVELOPMENT; PROGRAM TRANSFORMATION; PROGRAMMING ENVIRONMENTS; RESOURCE CONTROL; VERIFICATION;

PROGRAM DEBUGGING;

EID: 24344435059     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2005.02.006     Document Type: Conference Paper

References (51)

1. E. Albert, G. Puebla, M. Hermenegildo, An abstract interpretation-based approach to mobile code safety, in: Proc. of Compiler Optimization meets Compiler Verification, COCV'04, April 2004
2. F. Bourdoncle, Abstract debugging of higher-order imperative languages, in: Programming Languages Design and Implementation'93, 1993, pp. 46-55
3. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla, The Ciao prolog system, Reference manual, The Ciao System Documentation Series-TR CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), 1997. System and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/
4. F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla Global analysis of standard prolog programs European Symposium on Programming April 1996, Sweden LNCS vol. 1058 1996 Springer-Verlag 108 124
5. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla On the role of semantic approximations in validation and diagnosis of constraint logic programs Proc. of the 3rd Int'l Workshop on Automated Debugging-AADEBUG'97 May 1997, Linköping, Sweden 1997 U. of Linköping Press 155 170
6. F. Bueno, M. García de la Banda, and M. Hermenegildo Effectiveness of abstract interpretation in automatic parallelization: A case study in logic programming ACM Transactions on Programming Languages and Systems 21 2 1999 189 238
7. F. Bueno, M. García de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P. Stuckey A model for inter-module analysis and optimizing compilation Logic-based Program Synthesis and Transformation March 2001 LNCS vol. 2042 2001 Springer-Verlag 86 102
8. F. Bueno, P. López-García, and M. Hermenegildo Multivariant non-failure analysis via standard abstract interpretation 7th International Symposium on Functional and Logic Programming, FLOPS 2004 April 2004, Heidelberg, Germany LNCS vol. 2998 2004 Springer-Verlag 100 116
9. D. Cabeza, and M. Hermenegildo Extracting non-strict independent and-parallelism using sharing and freeness information 1994 International Static Analysis Symposium September 1994, Namur, Belgium LNCS vol. 864 1994 Springer-Verlag 297 313
10. M. Comini, G. Levi, M.C. Meo, and G. Vitiello Abstract diagnosis Journal of Logic Programming 39 1-3 1999 43 93
11. M. Comini, G. Levi, and G. Vitiello Declarative diagnosis revisited 1995 International Logic Programming Symposium December 1995, Portland, Oregon 1995 MIT Press Cambridge, MA 275 287
12. P. Cousot Automatic verification by abstract interpretation, invited tutorial Fourth International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI January 2003 LNCS vol. 2575 2003 Springer 20 24
13. P. Cousot, R. Cousot, Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Fourth ACM Symposium on Principles of Programming Languages, 1977, pp. 238-252
14. P. Cousot, and R. Cousot Systematic design of program transformation frameworks by abstract interpretation 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'02, January 2002, Portland, Oregon 2002 ACM 178 190
15. P.W. Dart, and J. Zobel A regular type language for logic programs Types in Logic Programming 1992 MIT Press 157 187
16. S.K. Debray, P. López-García, and M. Hermenegildo Non-failure analysis for logic programs 1997 International Conference on Logic Programming June 1997, Cambridge, MA 1997 MIT Press Cambridge, MA 48 62
17. S.K. Debray, P. López-García, M. Hermenegildo, and N.-W. Lin Estimating the computational cost of logic programs Static Analysis Symposium, SAS'94 September 1994, Namur, Belgium LNCS vol. 864 1994 Springer-Verlag 255 265
18. S.K. Debray, P. López-García, M. Hermenegildo, and N.-W. Lin Lower bound cost estimation for logic programs 1997 International Logic Programming Symposium October 1997, Cambridge, MA 1997 MIT Press 291 305
19. J.P. Gallagher, and D.A. de Waal Fast and precise regular approximations of logic programs P.V. Hentenryck Proc. of the 11th International Conference on Logic Programming 1994 MIT Press 599 613
20. J. Gallagher, and G. Puebla Abstract interpretation over non-deterministic finite tree automata for set-based analysis of logic programs Fourth International Symposium on Practical Aspects of Declarative Languages January 2002 LNCS vol. 2257 2002 Springer-Verlag 243 261
21. M. García de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, and W. Simoens Global analysis of constraint logic programs ACM Transactions on Programming Languages and Systems 18 5 1996 564 615
22. M. García de la Banda, M. Hermenegildo, and K. Marriott Independence in CLP languages ACM Transactions on Programming Languages and Systems 22 2 2000 269 339
23. F. Giannotti, and M. Hermenegildo A technique for tecursive invariance detection and selective program specialization Proc. 3rd. Int'l Symposium on Programming Language Implementation and Logic Programming August 1991 LNCS vol. 528 1991 Springer-Verlag 323 335
24. M. Hermenegildo A documentation generator for (C)LP systems International Conference on Computational Logic, CL2000 July 2000 LNAI vol. 1861 2000 Springer-Verlag 1345 1361
25. M. 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 Proc. of EURO-PAR 2004 August 2004 LNCS vol. 3149 2004 Springer-Verlag 21 37
26. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, and G. Puebla The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems Parallelism and Implementation of Logic and Constraint Logic Programming Commack, NY, USA, April 1999 1999 Nova Science 65 85
27. M. Hermenegildo, F. Bueno, G. Puebla, and P. López-García Program analysis, debugging and optimization using the Ciao system preprocessor 1999 Int'l Conference on Logic Programming November 1999, Cambridge, MA 1999 MIT Press 52 66
28. M. Hermenegildo, G. Puebla, and F. Bueno Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging K.R. Apt V. Marek M. Truszczynski D.S. Warren The Logic Programming Paradigm: a 25-Year Perspective 1999 Springer-Verlag 161 192
29. M. Hermenegildo, G. Puebla, K. Marriott, and P. Stuckey Incremental analysis of constraint logic programs ACM Transactions on Programming Languages and Systems 22 2 2000 187 223
30. M. Hermenegildo, and F. Rossi Strict and non-strict independent and-parallelism in logic programs: correctness, efficiency, and compile-time conditions Journal of Logic Programming 22 1 1995 1 45
31. B. Le Charlier, and P. Van Hentenryck Experimental evaluation of a generic abstract interpretation algorithm for prolog ACM Transactions on Programming Languages and Systems 16 1 1994 35 101
32. M. Leuschel, Program specialisation and abstract interpretation reconciled, in: Joint International Conference and Symposium on Logic Programming, June 1998
33. Y. Lichtenstein, and E.Y. Shapiro Abstract algorithmic debugging R.A. Kowalski K.A. Bowen Fifth International Conference and Symposium on Logic Programming August 1988, Seattle, WA 1988 MIT 512 531
34. P. López-García, F. Bueno, M. 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, Springer-Verlag, August 2004 (in press)
35. P. López-García, and M. Hermenegildo Efficient term size computation for granularity control International Conference on Logic Programming June 1995, Cambridge, MA 1995 MIT Press Cambridge, MA 647 661
36. P. López-García, M. Hermenegildo, and S.K. Debray A methodology for granularity based control of parallelism in logic programs, in: Parallel Symbolic Computation Journal of Symbolic Computation 22 1996 715 734 (special issue)
37. K. Marriott, M. García de la Banda, and M. Hermenegildo Analyzing logic programs with dynamic scheduling 20th Annual ACM Conf. on Principles of Programming Languages January 1994 1994 ACM 240 254
38. K. Muthukumar, F. Bueno, M. García de la Banda, and M. Hermenegildo Automatic compile-time parallelization of logic programs for restricted, goal-level, independent and-parallelism Journal of Logic Programming 38 2 1999 165 218
39. K. Muthukumar, and M. Hermenegildo Combined determination of sharing and freeness of program variables through abstract interpretation 1991 International Conference on Logic Programming June 1991 1991 MIT Press 49 63
40. K. Muthukumar, and M. Hermenegildo Compile-time derivation of variable dependency using abstract interpretation Journal of Logic Programming 13 2-3 1992 315 347
41. G. Puebla, F. Bueno, and M. Hermenegildo A generic preprocessor for program validation and debugging P. Deransart M. Hermenegildo J. Maluszynski Analysis and Visualization Tools for Constraint Programming September 2000 LNCS vol. 1870 2000 Springer-Verlag 63 107
42. G. Puebla, F. Bueno, and M. Hermenegildo An assertion language for constraint logic programs P. Deransart M. Hermenegildo J. Maluszynski Analysis and Visualization Tools for Constraint Programming September 2000 LNCS vol. 1870 2000 Springer-Verlag 23 61
43. G. Puebla, F. Bueno, and M. Hermenegildo Combined static and dynamic assertion-based debugging of constraint logic programs Logic-based Program Synthesis and Transformation, LOPSTR'99 LNCS vol. 1817 2000 Springer-Verlag 273 292
44. G. Puebla, M. García de la Banda, K. Marriott, and P. Stuckey Optimization of logic programs with dynamic scheduling 1997 International Conference on Logic Programming June 1997, Cambridge, MA 1997 MIT Press 93 107
45. G. Puebla, and M. Hermenegildo Optimized algorithms for the incremental analysis of logic programs International Static Analysis Symposium September 1996 LNCS vol. 1145 1996 Springer-Verlag 270 284
46. G. Puebla, and M. Hermenegildo Abstract specialization and its application to program parallelization J. Gallagher Logic Program Synthesis and Transformation LNCS vol. 1207 1997 Springer-Verlag 169 186
47. G. Puebla, and M. Hermenegildo Abstract multiple specialization and its application to program parallelization, in: Synthesis, Transformation and Analysis of Logic Programs Journal of Logic Programming 41 2-3 1999 279 316 (special issue)
48. G. Puebla, and M. Hermenegildo Some issues in analysis and specialization of modular Ciao-prolog programs Optimization and Implementation of Declarative Programming Languages Electronic Notes in Theoretical Computer Science vol. 30 2000 Elsevier North-Holland (special issue)
49. G. Puebla, M. Hermenegildo, and J. Gallagher An integration of partial evaluation in a generic abstract interpretation framework O. Danvy ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'99 January 1999 BRISC Series vol. NS-99-1 1999 University of Aarhus Denmark 75 85
50. C. Vaucheret, and F. Bueno More precise yet efficient type inference for logic programs International Static Analysis Symposium September 2002 LNCS vol. 2477 2002 Springer-Verlag 102 116
51. E. Yardeni, E. Shapiro, A type system for logic programs. Concurrent Prolog: Collected Papers, 1987, pp. 211-244