CLIP Lab
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 https://www.ati.es/novatica/.

  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. Available at https://cliplab.org/papers/ordclp_tr_2003.pdf.

  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. https://cliplab.org/papers/persdb-tr.pdf.

  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 Oct 24 04:07:51 PM CEST 2025
Contents
Institutional links