CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2000


Articles in Refereed Journals:

  1. 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.

  2. 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.

  3. 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.

  4. 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:

  1. 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.

  2. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.

  3. 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.

  4. 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:

  1. P. Deransart, M. V. Hermenegildo, J. Maluszynski. Analysis and Visualization Tools for Constraint Programming. LNCS, Num. 1870, 350 pages, Springer-Verlag, September 2000.

  2. 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.

  3. 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:

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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:

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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:

  1. 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 http://ciao-lang.org.

  2. 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.

  3. 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.

  4. 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.

  5. 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 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 Sun 08 Aug 2021 10:27:44 PM CEST