Publications

1. P. López-García, M. Hermenegildo, S.K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, Vol. 22, Num. pages 715-734, Academic Press, 1996.

1. S.K. Debray, P. López-García, M. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. 1997 International Logic Programming Symposium, pages 291-305, MIT Press, Cambridge, MA, October 1997.
2. S.K. Debray, P. López-García, M. Hermenegildo. Non-Failure Analysis for Logic Programs. 1997 International Conference on Logic Programming, pages 48-62, MIT Press, Cambridge, MA, June 1997.
3. P. López-García, M. Hermenegildo. Efficient Term Size Computation for Granularity Control. International Conference on Logic Programming, pages 647-661, MIT Press, Cambridge, MA, June 1995.
4. P. López-García, M. Hermenegildo, S.K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs. Proc. of First International Symposium on Parallel Symbolic Computation, PASCO'94, pages 133-144, World Scientific, September 1994.

1. P. López-García, M. Hermenegildo. Proceedings of the Third COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 108 pages, U. of Utrecht, September 1995.
2. P. López-García. A System of Granularity Control in Parallel Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1993.

1. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, G. Puebla. The Ciao Logic Programming Environment. International Conference on Computational Logic, CL2000, July 2000.

2. M. Hermenegildo, F. Bueno, G. Puebla, P. López-García. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. 1999 International Conference on Logic Programming, pages 52-66, MIT Press, November 1999.
3. S.K. Debray, P. López-García, M. Hermenegildo, N.-W. Lin. Estimating the Computational Cost of Logic Programs. Static Analysis Symposium, SAS'94, pages 255-265, Springer-Verlag, LNCS, 864, September 1994.

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

1. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, G. Puebla. The CIAO Multi-Dialect Compiler and System: A Demo and Status Report. Proceedings of the JICSLP'96 Workshop on Parallelism and Implementation Technology, 12 pages, Computer Science Department, Technical University of Madrid, September 1996. Available from http://www.clip.dia.fi.upm.es/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz.
2. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Proc. of the AGP'96 Joint Conference on Declarative Programming, pages 105-108, U. of the Basque Country, July 1996. Available from ftp://www.clip.dia.fi.upm.es/pub/papers.
3. P. López-García, M. Hermenegildo. Towards Dynamic Term Size Computation via Program Transformation. Second Spanish Conference on Declarative Programming, pages 73-93, IIIA/CSIC, September 1993.

Technical Reports and Manuals:

1. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo. The Ciao Prolog Preprocessor. CLIP8/95.0.7.20, 72 pages, Technical University of Madrid (UPM), November 1999.
2. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo, P. Pietrzak. The CHIP Assertion Preprocessor. CLIP1/99.1, 50 pages, Technical University of Madrid (UPM), March 1999. Also as deliverable of the ESPRIT project DISCIPL.
3. M. Carro, M. Hermenegildo, F. Bueno, D. Cabeza, M. J.  García, P. López-García. An Introductory Course on Constraint Logic Programming. 130 pages, Technical University of Madrid, 1998.
4. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997.
5. S.K. Debray, P. López-García, M. Hermenegildo. Towards Precise Non-Failure Analysis for Logic Programs. CLIP18/96.0, T.U. of Madrid (UPM), November 1996.
6. S.K. Debray, P. López-García, M. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. CLIP20/95.0, T.U. of Madrid (UPM), December 1995.
7. S.K. Debray, P. López-García, M. Hermenegildo. Non-Failure Analysis for Logic Programs. CLIP14/94.0, T.U. of Madrid (UPM), October 1994.
8. M. Hermenegildo, P. López-García. A Technique for Dynamic Term Size Computation via Program Transformation. CLIP 8/93.1(94), School of Computer Science, Technical University of Madrid, March 1994.
9. S.K. Debray, P. López-García, M. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. CLIP4/94.0, T.U. of Madrid (UPM), March 1994.
10. F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. López-García, M. García de la Banda, M. Hermenegildo, L. Gómez, S. Prestwich, S.-W. Yan. A Proposal for an Interchange Abstract Syntax for (Parallel) Prolog. CLIP3/93.0, 33 pages, Computer Science Dept., Technical U. of Madrid (UPM), June 1993.
11. P. López-García, M. Hermenegildo. An Automatic Sequentializer Based on Program Transformation. T.U. of Madrid (UPM), April 1993.
12. P. López-García, M. Hermenegildo. Dynamic Term Size Computation in Logic Programs via Program Transformation. CLIP 8/93.0, T.U. of Madrid (UPM), April 1993. Presented at the 1993 COMPULOG Area Meeting on Parallelism and Implementation Technologies.