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

CLIP Group's Publications in 1999


Articles in Refereed Journals:

  1. G. Puebla, M. V. Hermenegildo. Abstract Multiple Specialization and its Application to Program Parallelization (also available in ps). J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs, Vol. 41, Num. 2&3, pages 279-316, Elsevier - North Holland, November 1999.

  2. F. Bueno, M. García de la Banda, M. V. Hermenegildo. Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Transactions on Programming Languages and Systems, Vol. 21, Num. 2, pages 189-238, ACM Press, March 1999.

  3. K. Muthukumar, F. Bueno, M. García de la Banda, M. Hermenegildo. Automatic Compile-time Parallelization of Logic Programs for Restricted, Goal-level, Independent And-parallelism. Journal of Logic Programming, Vol. 38, Num. 2, pages 165-218, Elsevier - North-Holland, February 1999.


Articles in Refereed Conferences:

  1. M. Carro, M. Hermenegildo. Concurrency in Prolog Using Threads and a Shared Database. 1999 International Conference on Logic Programming, pages 320-334, MIT Press, Cambridge, MA, USA, November 1999.

  2. G. Smedbäck, M. Carro, M. Hermenegildo. Interfacing Prolog and VRML and its Application to Constraint Visualization. The Practical Application of Constraint Technologies and Logic programming, pages 453-471, The Practical Application Company, April 1999.


Books and Monographs:

  1. J.M. Gómez. WebDB: Un Interfaz WWW a Bases de Datos Genérico. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 156 pages, September 1999.

  2. I. de Castro Dutra, M. Carro, V. Santos Costa, G. Gupta, E. Pontelli, F. Silva (editors). Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science Publishers, 1999.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor (also available in ps). 1999 Int'l. Conference on Logic Programming, pages 52-66, MIT Press, November 1999.


Articles in Books and Other Collections:

  1. M. V. Hermenegildo, G. Puebla, F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging (also available in ps). The Logic Programming Paradigm: a 25-Year Perspective, pages 161-192, Springer-Verlag, July 1999.

  2. M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. Lopez-Garcia, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems (also available in ps). Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85, Nova Science, April 1999.


Publications in Refereed Workshops:

  1. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog (also available in ps). ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 110-128, N.M. State U., December 1999.

  2. D. Cabeza, M. V. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library (also available in ps). ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 147-164, N.M. State U., December 1999.

  3. M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems (also available in ps). ICLP'99 Workshop on Logic Programming Environments, pages 80-97, N.M. State University, December 1999.

  4. G. Puebla, M. V. Hermenegildo, J. Gallagher. An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (also available in ps). ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), BRISC Series, Num. NS-99-1, pages 75-85, University of Aarhus, Denmark, January 1999.


Technical Reports and Manuals:

  1. D. Cabeza, M. V. Hermenegildo. Higher-order Logic Programming in Ciao. Num. CLIP7/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  2. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog. Num. CLIP8/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  3. D. Cabeza, M. V. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. Num. CLIP9/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  4. M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems. Num. CLIP10/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  5. A. Pineda. Object Oriented Programming Library (O'Ciao). Num. CLIP 6/99.0, Facultad de Informática, UPM, July 1999.

  6. A. Pineda, M. Hermenegildo. O'Ciao: An Object Oriented Programming Model for (CIAO) Prolog (also available in ps). Num. CLIP 5/99.0, Facultad de Informática, UPM, July 1999.

  7. Per Cederberg, The CLIP Group. Flexible Layout and Styling - The LaSt Language. Num. D2.2.M3 CLIP 3/99.0, 32 pages, RADIOWEB Project, June 1999.

  8. Per Cederberg, The CLIP Group. The LaSt Engine. Num. D3.3.M3 CLIP 4/99.0, 42 pages, RADIOWEB Project, June 1999.

  9. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.0). Num. CLIP11/99.1, School of Computer Science, Technical University of Madrid (UPM), June 1999. System and on-line version of the manual available at https://ciao-lang.org.

  10. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo, P. Pietrzak. The CHIP Assertion Preprocessor. Num. CLIP1/99.1, 50 pages, Technical University of Madrid (UPM), March 1999. Also as deliverable of the ESPRIT project DISCIPL.

  11. M. Carro, M. Hermenegildo. Some Issues in the Design of Visualizations for Constraint Logic Program Execution. Num. CLIP2/99.1, 17 pages, Technical University of Madrid (UPM), March 1999. Also as deliverable of the ESPRIT project DISCIPL.

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 Thu Dec 12 10:26:37 AM CET 2024
Contents
Institutional links