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

CLIP Group's Publications in 2000


Articles in First-Level Refereed Conferences and Journals:

  1. D. Cabeza, M. 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.

    CiteseerX position (ave) top 28%, impact (ave) 0.205. Average position: top 28%.

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

    CiteseerX position (ave) top 28%, impact (ave) 0.205. Average position: top 28%.

  3. M. García de la Banda, M. 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.

    JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A*. Citeseer: position 41/1221 (top 3%), impact 1.92. Average position: top 10%.

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

    JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A*. Citeseer: position 41/1221 (top 3%), impact 1.92. Average position: top 10%.

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

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.


Articles in Second-Level Refereed Conferences and 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.

    JCR: position (ave) top 46%, impact (ave) 0.75, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 519/1221 (top 43%), impact 0.63. Average position: top 36%.

  2. C. Carreras, M. 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.

    CORE: B. CiteseerX position (ave) top 43%, impact (ave) 0.092. Average position: top 54%.

  3. G. Puebla, F. Bueno, M. 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.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.


Books and Monographs:

  1. P. Deransart, M. 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. López-García. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Hermenegildo, P. López-García, 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. 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.

Last updated on Fri Apr 28 13:09:24 CEST 2017