CLIP Group's Publications in 2003
Articles in Refereed Journals:
- 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:
- 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.
- 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:
- 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.
- 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:
- 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/.
- 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.
- 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.
- 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:
- 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.
- 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:
- 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.
- 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.
- 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.
- 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.
https://cliplab.org/papers/ordclp_tr_2003.pdf.
- 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.
- 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.
- 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.
- 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.
- M. Carro.
The AMOS Project: The Matching Engine Design.
Num. CLIP2/2003.1,
Technical University of Madrid,
February
2003.
- David Trallero Mena.
Local and Global Multiattributed Variables.
Num. CLIP10/03.0,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2003.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Thu Nov 21 03:36:42 PM CET 2024