Some issues in analysis and specialization of modular Ciao-Prolog programs

Electronic Notes in Theoretical Computer Science

Volumn 30, Issue 2, 2000, Pages 163-187

  Puebla, G ^a   Hermenegildo, M ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; LOGIC PROGRAMMING; PROGRAM COMPILERS; SYSTEMS ANALYSIS;

CIAO SYSTEM ANALYZERS; MODULAR ANALYSIS; NON-MODULAR PROGRAMS; PROLOG SYSTEMS;

SOFTWARE ENGINEERING;

EID: 19144372842     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80637-1     Document Type: Conference Paper

References (25)

1. Hassan Ait-Kaci. Warren's Abstract Machine, A Tutorial Reconstruction. 1991;MIT Press
2. Bruynooghe M. A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming. 10:1991;91-124
3. Bueno F., Cabeza D., Carro M., Hermenegildo M., Lopez P., Puebla G. The Ciao Prolog System. Reference Manual. The Ciao System Documentation Series-TR CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM). August 1997
4. Bueno F., Cabeza D., Hermenegildo M., Puebla G. Global Analysis of Standard Prolog Programs, European Symposium on Programming, number 1058 in LNCS. April 1996;108-124 Springer-Verlag, Sweden
5. Cabeza D., Hermenegildo M. A New Module System for Prolog. ICLP′99 WS on Parallelism and Implementation of (C)LP Systems. December 1999;110-128 N.M. State U
6. Cabeza D., Hermenegildo M. The Ciao Modular Compiler and Its Generic Program Processing Library. ICLP799 WS on Parallelism and Implementation of (C)LP Systems. December 1999;147-164 N.M. State U
7. Cousot P., Cousot R. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Fourth ACM Symposium on Principles of Programming Languages. 1977;238-252
8. Gallagher J.P. Tutorial on specialisation of logic programs. Proceedings of PEPM′93, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation. 1993;88-98 ACM Press
9. Giannotti F., Hermenegildo M. A Technique for Recursive Invariance Detection and Selective Program Specialization. Proc. 3rd. Int'l Symposium on Programming Language Implementation and Logic Programming, number 528 in LNCS. August 1991;323-335 Springer-Verlag
10. Hermenegildo M., Puebla G., Bueno F. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. Apt K.R., Marek V., Truszczynski M., Warren D.S. The Logic Programming Paradigm: a 25-Year Perspective. July 1999;161-192 Springer-Verlag
11. Hermenegildo M., Puebla G., Marriott K., Stuckey P. Incremental Analysis of Logic Programs. International Conference on Logic Programming. June 1995;797-811 MIT Press
12. Hermenegildo M., Puebla G., Marriott K., Stuckey P. Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems. 2000;. To appear
13. Jacobs D., Langen A., Winsborough W. Multiple specialization of logic programs with run-time tests. 1990 International Conference on Logic Programming. June 1990;718-731 MIT Press
14. Jones N.D., Gomard C.K., Sestoft P. Partial Evaluation and Automatic Program Generation. 1993;Prenctice Hall, New York
15. Kelly A., Macdonald A., Marriott K., Stuckey P., Yap R. Effectiveness of optimizing compilation for CLP(R). Proceedings of Joint International Conference and Symposium on Logic Programming. 1996;37-51 MIT Press
16. Michael Leuschel. Advanced Techniques for Logic Program Specialisation. PhD thesis, K.U. Leuven, May 1997.
17. Lloyd J.W., Shepherdson J.C. Partial Evaluation in Logic Programming. Journal of Logic Programming. 11:1991;3-4. 217-242
18. Muthukumar K., Hermenegildo M. Deriving A Fixpoint Computation Algorithm for Top-down Abstract Interpretation of Logic Programs. Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759. April 1990
19. Muthukumar K., Hermenegildo M. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming. 13:(2/3):July 1992;315-347
20. Puebla G., Bueno F., Hermenegildo M. An Assertion Language for Constraint Logic Programs. Deransart P., Hermenegildo M., Maluszynski J. Analysis and Visualization Tools for Constraint Programming. 2000;Springer-Verlag. To Appear
21. Puebla G., Hermenegildo M. Implementation of Multiple Specialization in Logic Programs. Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation. June 1995;77-87 ACM Press
22. Puebla G., Hermenegildo M. Optimized Algorithms for the Incremental Analysis of Logic Programs. International Static Analysis Symposium, number 1145 in LNCS. September 1996;270-284 Springer-Verlag
23. Puebla G., Hermenegildo M. Abstract Multiple Specialization and its Application to Program Parallelization. J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs. 41:(2&3):November 1999;279-316
24. Van Hentenryck P., Degimbe O., Le Charlier B., Michael L. The Impact of Granularity in Abstract Interpretation of Prolog. Workshop on Static Analysis, number 724 in LNCS. September 1993;1-14 Springer-Verlag
25. Winsborough W. Multiple Specialization using Minimal-Function Graph Semantics. Journal of Logic Programming. 13:(2 and 3):July 1992;259-290