CLIP Group's Publications in 2002
Articles in Refereed Conferences:
- 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.
- 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.
- 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.
Books and Monographs:
- M. Leuschel, F. Bueno.
Preproceedings of the International Workshop on
Logic Based Program Development and
Transformation.
304 pages,
Facultad de Informatica,
September
2002.
- 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.
- 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.
- M. Hermenegildo, G. Puebla.
Static Analysis - 9th. International Symposium.
LNCS,
Num. 2477,
528 pages,
Springer-Verlag,
September
2002.
Invited Papers and Tutorials:
- 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 https://www.ati.es/novatica/.
- 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 https://www.ati.es/novatica/.
- M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia.
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.
- 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 https://www.ati.es/novatica/.
- 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 https://www.ati.es/novatica/.
- 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:
- 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:
- 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.
- 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.
- 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.
- 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.
- 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.
- C. Vaucheret, F. Bueno.
More Precise Yet Efficient Type Inference for Logic
Programs.
Workshop on Logic Programming Environments,
July
2002.
- 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:
- 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.
- 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.
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, 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
https://ciao-lang.org.
- C. Vaucheret, F. Bueno.
Structural Type Widening.
Num. CLIP2/2001.1,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
January
2002.
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 28 10:27:10 AM CET 2024