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

CLIP Group's Publications in 2002


Articles in First-Level Refereed Conferences and Journals:

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

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


Articles in Second-Level Refereed Conferences and Journals:

  1. C. Vaucheret, S. Guadarrama, S. Muñoz. Fuzzy Prolog: A Simple General Implementation using CLP(R) (also available in ps). 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, October 2002.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

  2. J. Gallagher, 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, LNCS, Num. 2257, pages 243-261, Springer-Verlag, January 2002.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.


Books and Monographs:

  1. M. Leuschel, F. Bueno. Preproceedings of the International Workshop on Logic Based Program Development and Transformation. 304 pages, Facultad de Informatica, September 2002.

  2. Alberto Díez Zurdo. Goal Reordering in Logic Programs with Unrestricted Parallelism and Explicit Dependencies. Ms. Thesis, School of Computer Science, Technical University of Madrid, September 2002. In Spanish.

  3. Alberto Díez Zurdo. Paralelización Automática de Programas Lógicos en Tiempo de Compilación con Dependencias Explícitas. Ms. Thesis, Universidad Politécnica de Madrid (UPM), Facultad de Informática, Madrid, 28660, September 2002. In Spanish.

  4. M. Hermenegildo, G. Puebla. Static Analysis - 9th. International Symposium. LNCS, Num. 2477, 528 pages, Springer-Verlag, September 2002.


Invited Papers and Tutorials:

  1. A. Herranz, P. Sánchez, M. Carro, J. Mariño. Almejas gigantes e interfaces de usuario. Novática - Revista de la Asociación de Técnicos en Informática, Num. 160-161, 8 pages, Asociación de Técnicos en Informática, November 2002. Journal available at http://www.ati.es/novatica/.

  2. A. Herranz, J. Mariño, M. Carro, P. Sánchez. No taléis el bosque por culpa de los árboles. Novática - Revista de la Asociación de Técnicos en Informática, Num. 158-159, 10 pages, Asociación de Técnicos en Informática, July 2002. Journal available at http://www.ati.es/novatica/.

  3. M. V. Hermenegildo, F. Bueno, G. Puebla, P. López-García. Program Debugging and Validation Using Semantic Approximations and Partial Specifications (also available in ps). 29 th. International Colloqium on Automata, Languages, and Programming (ICALP), LNCS, Num. 2380, pages 69-72, Springer-Verlag, July 2002.

  4. M. Carro, P. Sánchez, J. Mariño, A. Herranz. ¡Queso!. Novática - Revista de la Asociación de Técnicos en Informática, Num. 156-157, 7 pages, Asociación de Técnicos en Informática, March 2002. Journal available at http://www.ati.es/novatica/.

  5. M. Carro, A. Herranz, J. Mariño, P. Sánchez. Configuración de un aeropuerto. Novática - Revista de la Asociación de Técnicos en Informática, Num. 155-156, 7 pages, Asociación de Técnicos en Informática, January 2002. Journal available at http://www.ati.es/novatica/.

  6. M. Hermenegildo. Parallelizing Irregular and Pointer-Based Computations Automatically: Results in Logic and Constraint Programming (also available in ps). Constructive Methods for Parallel Programming, Advances in Computation: Theory and Practice, 1 pages, Nova Science, 2002. (abstract of invited talk).


Articles in Books and Other Collections:

  1. R. Bagnara, M. Carro. Foreign Language Interfaces for Prolog: a Terse Survey. The ALP Newsletter, Vol. 15, Num. 2, The Association for Logic Programming, May 2002. Available from https://dtai.cs.kuleuven.be/projects/ALP/newsletter/may02/index.html.


Publications in Refereed Workshops:

  1. J. Correas, F. Bueno. A Configuration Framework for Distributed Logic Applications (also available in ps). Proc. of the AGP'2002 Joint Conference on Declarative Programming, pages 123-137, Facultad de Informatica, September 2002.

  2. J. Morales, M. Carro. Improving the Compilation of Prolog to C Using Type Information: Preliminary Results. Proceedings of the CBD 2002 / ITCLS 2002 CoLogNet Joint Workshop, pages 167-180, Facultad de Informatica, September 2002.

  3. M. Carro. The Amos Project: An Approach to Reusing Open Source Code. Proceedings of the CBD 2002 / ITCLS 2002 CoLogNet Joint Workshop, pages 59-70, Facultad de Informática, September 2002.

  4. M. Carro, C. Vaucheret, K.-K. Lau. Proceedings of the CBD 2002 / ITCLS 2002 CoLogNet Joint Workshop. Num. CLIP4/2002.0, Technical University of Madrid, September 2002.

  5. M. Carro, M. Hermenegildo. A Simple Approach to Distributed Objects in Prolog. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.

  6. C. Vaucheret, F. Bueno. More Precise Yet Efficient Type Inference for Logic Programs. Workshop on Logic Programming Environments, July 2002.

  7. A. Pineda, F. Bueno. The O'Ciao Approach to Object Oriented Logic Programming (also available in ps). Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.


Technical Reports and Manuals:

  1. M. Carro, J. M. Gomez, J. Correas. The AMOS Project: The Internal Query Language Design. Num. CLIP1/2003.1, 77 pages, Technical University of Madrid, December 2002.

  2. M. Carro, C. Daffara, G. Puebla. The AMOS Project: An Approach to Reusing Open Source Software. Num. CLIP3/2002.0, Technical University of Madrid, August 2002. Presented at the V Hispalinux Conference, Madrid, Spain.

  3. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V1.8). Num. CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM), May 2002. System and on-line version of the manual available at http://ciao-lang.org.

  4. C. Vaucheret, F. Bueno. Structural Type Widening. Num. CLIP2/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), January 2002.

Last updated on Fri Dec 1 13:15:21 CET 2017