CLIP Group's Publications in 2000
Articles in Refereed Journals:
- M. Hermenegildo.
Parallelizing Irregular and Pointer-Based
Computations Automatically: Perspectives from
Logic and Constraint Programming.
Parallel Computing,
Vol. 26,
Num. 13-14,
pages 1685-1708,
Elsevier Science,
December
2000.
- M. García de la Banda, M. V. Hermenegildo, K. Marriott.
Independence in CLP Languages
(also available in ps).
ACM Transactions on Programming Languages and Systems,
Vol. 22,
Num. 2,
pages 269-339,
ACM Press,
March
2000.
- M. V. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey.
Incremental Analysis of Constraint Logic
Programs.
ACM Transactions on Programming Languages and Systems,
Vol. 22,
Num. 2,
pages 187-223,
ACM Press,
March
2000.
- M. Codish, V. Lagoon, F. Bueno.
An algebraic approach to sharing analysis of logic
programs
(also available in ps).
Journal of Logic Programming,
Vol. 42,
Num. 2,
pages 111-149,
Elsevier - North Holland,
February
2000.
Articles in Refereed Conferences:
- C. Carreras, M. V. Hermenegildo.
Grid-based Histogram Arithmetic for the
Probabilistic Analysis of Functions
(also available in ps).
Symposium on Abstraction, Reformulation and
Approximation (SARA-2000),
LNAI,
Springer-Verlag,
July
2000.
- D. Cabeza, M. V. Hermenegildo.
A New Module System for Prolog.
International Conference on Computational Logic,
CL2000,
LNAI,
Num. 1861,
pages 131-148,
Springer-Verlag,
July
2000.
- M. V. Hermenegildo.
A Documentation Generator for (C)LP Systems
(also available in ps).
International Conference on Computational Logic,
CL2000,
LNAI,
Num. 1861,
pages 1345-1361,
Springer-Verlag,
July
2000.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
Combined Static and Dynamic Assertion-Based
Debugging of Constraint Logic Programs
(also available in ps).
Logic-based Program Synthesis and Transformation
(LOPSTR'99),
LNCS,
Num. 1817,
pages 273-292,
Springer-Verlag,
March
2000.
Books and Monographs:
- P. Deransart, M. V. Hermenegildo, J. Maluszynski.
Analysis and Visualization Tools for Constraint
Programming.
LNCS,
Num. 1870,
350 pages,
Springer-Verlag,
September
2000.
- I. Martín.
Una Librería Gráfica para Prolog.
Ms. Thesis, Technical University of Madrid, School of Computer
Science,
E-28660, Boadilla del Monte, Madrid, Spain,
July
2000.
In Spanish.
- P. Lopez-Garcia.
Non-failure Analysis and Granularity Control in Parallel
Execution of Logic Programs.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
June
2000.
Articles in Books and Other Collections:
- M. Carro, M. V. Hermenegildo.
Tools for Search Tree Visualization: The APT
Tool
(also available in ps).
Analysis and Visualization Tools for Constraint
Programming,
LNCS,
Num. 1870,
pages 237-252,
Springer-Verlag,
September
2000.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
A Generic Preprocessor for Program Validation and
Debugging
(also available in ps).
Analysis and Visualization Tools for Constraint
Programming,
LNCS,
Num. 1870,
pages 63-107,
Springer-Verlag,
September
2000.
- G. Puebla, F. Bueno, M. V. Hermenegildo.
An Assertion Language for Constraint Logic
Programs
(also available in ps).
Analysis and Visualization Tools for Constraint
Programming,
LNCS,
Num. 1870,
pages 23-61,
Springer-Verlag,
September
2000.
- P. Deransart, M. V. Hermenegildo, J. Maluszynski.
Debugging of Constraint Programs: The DiSCiPl
Methodology and Tools.
Analysis and Visualization Tools for Constraint
Programming,
LNCS,
Num. 1870,
pages 1-20,
Springer-Verlag,
September
2000.
- M. Carro, M. V. Hermenegildo.
Tools for Constraint Visualization: The
VIFID/TRIFID Tool
(also available in ps).
Analysis and Visualization Tools for Constraint
Programming,
LNCS,
Num. 1870,
pages 253-272,
Springer-Verlag,
September
2000.
Publications in Refereed Workshops:
- S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo.
Efficient Implementation of General Negation
Using Abstract Interpretation.
Proc. of the AGP'2000 Joint Conference on Declarative
Programming,
15 pages,
Italian Association for Logic Programming,
December
2000.
- F. Bueno, M. Garcia de la Banda, M. V. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey.
A Model for Inter-module Analysis and Optimizing
Compilation.
Tenth International Workshop on
Logic-based Program Synthesis and Transformation,
July
2000.
- G. Puebla, M. V. Hermenegildo.
Some Issues in Analysis and Specialization of
Modular Ciao-Prolog Programs
(also available in ps).
Special Issue on Optimization and Implementation of
Declarative Programming Languages,
Electronic Notes in Theoretical Computer Science,
Vol. 30,
Num. 2,
25 pages,
Elsevier - North Holland,
March
2000.
- D. Cabeza, M. V. Hermenegildo.
The Ciao Module System: A New Module System
for Prolog.
Special Issue on Parallelism and Implementation of
(C)LP Systems,
Electronic Notes in Theoretical Computer Science,
Vol. 30,
Num. 3,
Elsevier - North Holland,
March
2000.
- D. Cabeza, M. V. Hermenegildo.
The Ciao Modular, Standalone Compiler and Its
Generic Program Processing Library.
Special Issue on Parallelism and Implementation of
(C)LP Systems,
Electronic Notes in Theoretical Computer Science,
Vol. 30(3),
Elsevier - North Holland,
March
2000.
- M. V. Hermenegildo.
A System for Automatically Generating
Documentation for (C)LP Programs.
Special Issue on Parallelism and Implementation of
(C)LP Systems,
Electronic Notes in Theoretical Computer Science,
Vol. 30,
Num. 4,
March
2000.
- I. de Castro Dutra, V. Santos Costa, G. Gupta, E.
Pontelli, M. Carro, P. Kacsuk (editors).
Parallelism and Implementation Technology for (Constraint)
Logic Programming.
Electronic Notes in Theoretical Computer Science,
Vol. 30,
Num. 2,
Elsevier - North Holland,
March
2000.
Technical Reports and Manuals:
- F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla.
The Ciao Prolog System. Reference Manual
(V1.6).
Num. CLIP5/2000.1,
School of Computer Science, Technical University of
Madrid (UPM),
July
2000.
System and on-line version of the manual available at
https://ciao-lang.org.
- J. Correas.
A Low-Level Bidirectional Prolog / Java Interface: Design
and Prolog API.
Num. CLIP1/2000.1,
50 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2000.
- J. Correas.
A Low-Level Bidirectional Prolog / Java Interface: Java
API.
Num. CLIP2/2000.1,
80 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2000.
- J. Correas.
An Object Oriented Bidirectional Prolog to Java Interface.
Num. CLIP3/2000.1,
30 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2000.
- M. V. Hermenegildo, D. Cabeza, M. Rodriguez.
Using Ciao inside GNU Emacs.
Num. CLIP4/2000.1,
18 pages,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2000.
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