CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 1997


Articles in First-Level Refereed Conferences and Journals:

  1. S. K. Debray, P. López-García, M. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs (also available in ps). 1997 International Logic Programming Symposium, pages 291-305, MIT Press, Cambridge, MA, October 1997.

    Citeseer: position 118/1221 (top 10%), impact 1.47. Average position: top 10%.

  2. G. Puebla, M. Comini, W. Drabent, M. Ducass, M. Fabris, M. Meier, Ch. Schulte. Tools and Environments for Constraint Logic Programming. International Logic Programming Symposium, pages 417-418, October 1997. Workshop abstract.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  3. M. Codish, M. Bruynooghe, M. García de la Banda, M. Hermenegildo. Exploiting Goal Independence in the Analysis of Logic Programs (also available in ps). Journal of Logic Programming, Vol. 32, Num. 3, pages 247-261, Elsevier - North Holland, September 1997.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

  4. S.K. Debray, P. López-García, M. Hermenegildo. Non-Failure Analysis for Logic Programs (also available in ps). 1997 International Conference on Logic Programming, pages 48-62, MIT Press, Cambridge, MA, June 1997.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  5. G. Puebla, M. García de la Banda, K. Marriott, P. Stuckey. Optimization of Logic Programs with Dynamic Scheduling (also available in ps). 1997 International Conference on Logic Programming, pages 93-107, MIT Press, June 1997.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  6. M. Codish, V. Lagoon, F. Bueno. An algebraic approach to sharing analysis of logic programs (also available in ps). Proc. of the Fourth International Static Analysis Symposium, LNCS, Num. 1302, pages 68-82, Springer Verlag, 1997.

    CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. Average position: top 22%.


Articles in Second-Level Refereed Conferences and Journals:

  1. G. Puebla, M. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. Logic Program Synthesis and Transformation, LNCS, Num. 1207, pages 169-186, Springer-Verlag, 1997.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  2. M. Hermenegildo. Some Challenges for Constraint Programming (also available in ps). The Constraints Journal, Vol. 2, Num. 1, pages 63-69, Kluwer Academic Publishers, 1997. Special issue on strategic directions in constraint programming.

    JCR: position (ave) top 57%, impact (ave) 0.83, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCECOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 327/1221 (top 27%), impact 0.93. Average position: top 35%.


Books and Monographs:

  1. G. Puebla. Advanced Compilation Techniques based on Abstract Interpretation and Program Transformation (also available in ps). Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, November 1997.

  2. A. López Luengo. APT: Implementing a Graphical Visualizer of the Execution of Logic Programs. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, October 1997.

  3. A. López Luengo. APT: implementación de un visualizador gráfico de la ejecución de programas lógicos. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, October 1997. In Spanish.

  4. G. Puebla, M. Comini, W. Drabent, M. Ducasse, M. Fabris, M. Meier, Ch. Schulte. Proceedings of the ILPS'97 Workshop on Tools and Environments for Constraint Logic Programming. Num. CLIP7/97.1, 180 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), October 1997.

  5. P. Tarau, K. De Bosschere, M. Hermenegildo. Proceedings of the 2nd Workshop on Logic Programming Tools for INTERNET Applications. 140 pages, K.U. Leuven, July 1997. Available from http://www.cliplab.org/lpnet/proceedings97/index.html.


Invited Papers and Tutorials:

  1. M. Hermenegildo, The CLIP Group. Programming with Global Analysis. Proceedings of ILPS'97, pages 49-52, MIT Press, October 1997. (abstract of invited talk).

  2. M. Hermenegildo. Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Proceedings of EUROPAR'97, LNCS, Vol. 1300, pages 31-46, Springer-Verlag, August 1997.

  3. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, 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, pages 155-170, U. of Linköping Press, May 1997.


Publications in Refereed Workshops:

  1. G. Puebla, F. Bueno, M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs (also available in ps). Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997. Available from ftp://cliplab.org/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1..

  2. G. Puebla, J. Gallagher, M. Hermenegildo. Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation (also available in ps). Proceedings of the ILPS'97 Workshop on Specialization of Declarative Programs, October 1997. Post ILPS'97 Workshop.

  3. D. Cabeza, M. Hermenegildo. WWW Programming using Computational Logic Systems (and the PiLLoW/Ciao Library) (also available in ps). Proceedings of the Workshop on Logic Programming and the WWW at WWW6, April 1997.


Technical Reports and Manuals:

  1. A. López, M. Carro. A User Guide to APT (also available in ps). Num. CLIP6/97.1, 12 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1997.

  2. M. Carro, M. Hermenegildo. Some Design Issues in Constraint Program Visualization and Abstraction. Num. CLIP1/97.1, 20 pages, Technical University of Madrid (UPM), September 1997. Also as deliverable of the ESPRIT project DISCIPL.

  3. The CLIP Group. Program Assertions. Num. CLIP4/97.1, Facultad de Informática, UPM, August 1997.

  4. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual. Num. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at http://ciao-lang.org.

  5. M. Hermenegildo, The CLIP Group. An Automatic Documentation Generator for (C)LP - Reference Manual. Num. CLIP5/97.3, Facultad de Informática, UPM, August 1997. Online at http://ciao-lang.org.

  6. The RADIOWEB Project Partners. RADIOWEB EP25562: Automatic Generation of Web Sites for the Radio Brodcasting Industry - Project Description / Technical Annex. 70 pages, RADIOWEB Project, July 1997.

  7. A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. Hermenegildo, C. Lai, J.Lloyd, J. Maluszynski, G. Puebla, A. Tessier. CP Debugging Tools: Clarification of Functionalities and Selection of the Tools. Num. D.WP1.1.M1.1-2, 15 pages, DISCIPL Project, June 1997.

Last updated on Sat May 6 10:58:52 CEST 2017