The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2003

Articles in Refereed Journals:

  1. Stacy E. Finkelstein, Peter Freyd, James Lipton. A New Framework for Declarative Programming. Theoretical Computer Science, Vol. 300, Num. 1-3, pages 91-160, Elsevier Science, May 2003.

Articles in Refereed Conferences:

  1. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems. 2003 International Conference on Logic Programming, LNCS, Num. 2916, pages 481-482, Springer-Verlag, December 2003. Extended abstract.

  2. Patrick G.T. Healey, James King, Nik Swoboda, Ichiro Umata. Graphical Language Games: Interaction and Abstraction. Proceedings of IGC2003: Second International Workshop on Interactive Graphical Communication, Working papers in Computer Science, Num. WP-03-01, pages 35-48, 2003.

Books and Monographs:

  1. J. Navas. CoLogNetWS: Desarrollo de un Sitio Web con Actualización Distribuida de las Bases de Datos en varios nodos . Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 196 pages, December 2003.

  2. M. Carro, J. Correas. Proceedings of the ITCLS 2003 CoLogNet Workshop. Num. CLIP4/2003.0, 64 pages, Fundación General de la Universidad Politécnica de Madrid, Technical University of Madrid, September 2003.

Invited Papers and Tutorials:

  1. M. Carro, O. Martínez. ¿Dónde está mi interrupción?. Novática, Num. 165-166, 8 pages, Asociación de Técnicos en Informática, September 2003. Available at

  2. G. Puebla, M. V. Hermenegildo. Abstract Specialization and its Applications. ACM Partial Evaluation and Semantics based Program Manipulation (PEPM'03), pages 29-43, ACM Press, June 2003. Invited talk.

  3. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, Num. 2694, pages 127-152, Springer-Verlag, June 2003.

  4. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Abstract Verification and Debugging of Constraint Logic Programs. Recent Advances in Constraints, LNCS, Num. 2627, pages 1-14, Springer-Verlag, January 2003.

Publications in Refereed Workshops:

  1. J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), pages 89-102, December 2003.

  2. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Second CoLogNet Workshop on Implementation Technology for Computational Logic Systems (Formal Methods '03 Workshop), pages 51-64, Facultad de Informatica, September 2003.

Technical Reports and Manuals:

  1. J. Navas, D. Cabeza, M. V. Hermenegildo. CoLogNetWS: Development of a Web Site with Database Multinode Distributed Update. Num. CLIP6/2003.0, 157 pages, CoLogNet Project, November 2003.

  2. E. Albert, G. Puebla, M. V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Num. CLIP8/2003.0, 18 pages, Technical University of Madrid, November 2003.

  3. G. Puebla, J. Correas, M. V. Hermenegildo. The Design of a Generic Framework for Context-Sensitive Analysis of Modular Programs. Num. CLIP7/2003.0, Technical University of Madrid, November 2003.

  4. J.M. Gomez. A High Level Model and Implementation of Labeling in Distributed (C)LP Systems. Num. CLIP5/2003.0, Technical University of Madrid, September 2003.

  5. M. Carro, J. M. Gomez, J. Correas. The Matching Engine Prototype. Num. CLIP13/2003.0, 2 pages, School of Computer Science, Technical University of Madrid, August 2003. Deliverable D8 of the AMOS Project.

  6. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Model for Persistence in CLP Systems. Num. CLIP3/2003.0, 17 pages, Technical University of Madrid, August 2003.

  7. F. Bueno, D. Cámara, C. Vaucheret. Analysis and specialization of programs with meta-calls. Num. CLIP9/2003.0, Technical University of Madrid, June 2003.

  8. M. Carro, C. Daffara, F. Bueno, D. Cabeza. Selection Heuristics for Matching. Num. CLIP12/2003.0, 18 pages, School of Computer Science, Technical University of Madrid, May 2003. Deliverable D7 of the AMOS Project.

  9. M. Carro. The AMOS Project: The Matching Engine Design. Num. CLIP2/2003.1, Technical University of Madrid, February 2003.

  10. David Trallero Mena. Local and Global Multiattributed Variables. Num. CLIP10/03.0, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2003.

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 Fri Jul 12 04:48:08 PM CEST 2024