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

CLIP Group's Publications in 1997


Articles in Refereed Journals:

  1. M. Codish, M. Bruynooghe, M. García de la Banda, M. V. 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.

  2. M. V. 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.


Articles in Refereed Conferences:

  1. S. K. Debray, P. Lopez-Garcia, M. V. 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.

  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.

  3. S.K. Debray, P. Lopez-Garcia, M. V. 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.

  4. 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.

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

  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.


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. V. 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. V. 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. V. 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. V. 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. V. Hermenegildo, P. Lopez-Garcia, 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. V. 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. V. 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.

next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Tue Apr 23 01:21:15 PM CEST 2024
Contents
Institutional links