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

Publications in Constraint Programming


Articles in Refereed Journals:

  1. Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos-Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto. Fifty Years of Prolog and Beyond. Theory and Practice of Logic Programming, 20th Anniversary Special Issue, Vol. 22, Num. 6, pages 776-858, Cambridge U. Press, May 2022.

  2. Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha. Parallel Logic Programming: A Sequel. Theory and Practice of Logic Programming, 20th Anniversary Special Issue, Vol. 22, Num. 6, pages 905-973, Cambridge U. Press, March 2022.

  3. Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta. Building Information Modeling Using Constraint Logic Programming. Theory and Practice of Logic Programming, Vol. 22, Num. 5, pages 723-738, 2022.

  4. Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti. Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory and Practice of Logic Programming, Vol. 22, Num. 6, pages 1-69, Cambridge U. Press, November 2021.

  5. A. Stivala, P. J. Stuckey, M. García de la Banda, M. V. Hermenegildo, A. Wirth. Lock-free Parallel Dynamic Programming. Journal of Parallel and Distributed Computing, Vol. 70, Num. 8, pages 839-848, Elsevier, 2010.

  6. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Generation Computing, Vol. 28, Num. 2, pages 117-206, Ohmsha, Ltd. and Springer, 2010.

  7. G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. V. Hermenegildo. Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems, Vol. 23, Num. 4, pages 472-602, ACM Press, July 2001.

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

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

  10. M. V. Hermenegildo. Some Challenges for Constraint Programming (also available in ps). The Constraints Journal, Vol. 2, Num. 1, pages 63-69, Kluwer Academic Publishers, 1997. Special issue on strategic directions in constraint programming.

  11. P. Van Hentenryck, V. Saraswat, A. Borning, A. Brodski, P. Codognet, R. Dechter, M. Dincbas, E. Freuder, M. Hermenegildo, J. Jaffar, S. Kasif, J.-L. Lassez, D. McAllester, Ken McAloon, A. Macworth, U. Montanari, W. Older, J.-F. Puget, R. Ramakrishnan, F. Rossi, G. Smolka, R. Wachter. Strategic Directions in Constraint Programming. ACM Computing Surveys, Vol. 28, Num. 4, pages 701-726, ACM, December 1996. 50th Anniversary Issue on Strategic Directions in Computer Research.

  12. M. García de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, Vol. 18, Num. 5, pages 564-615, ACM, September 1996.


Articles in Refereed Conferences:

  1. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Determinacy Analysis for Logic Programs Using Mode and Type Information. Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), LNCS, Num. 3573, pages 19-35, Springer-Verlag, August 2005.

  2. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 3057, pages 104-119, Springer-Verlag, June 2004.

  3. F. Bueno, P. Lopez-Garcia, M. V. Hermenegildo. Multivariant Non-Failure Analysis via Standard Abstract Interpretation. 7th International Symposium on Functional and Logic Programming (FLOPS 2004), LNCS, Num. 2998, pages 100-116, Springer-Verlag, April 2004.

  4. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems. 2003 International Conference on Logic Programming, LNCS, Num. 2916, pages 481-482, Springer-Verlag, December 2003. Extended abstract.

  5. M. García de la Banda, F. Bueno, M. Hermenegildo. Towards Independent And-Parallelism in CLP. Programming Languages: Implementation, Logics, and Programs, LNCS, Num. 1140, pages 77-91, Springer-Verlag, September 1996.

  6. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System (also available in ps). Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 123-133, Springer-Verlag, May 1994.

  7. M. García de la Banda, M. V. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 437-455, MIT Press, October 1993.

  8. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 130-146, MIT Press, Cambridge, MA, October 1993.


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. M. García de la Banda. Independence, Global Analysis, and Parallelism in Dynamically Scheduled Constraint Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, September 1994.


Invited Papers and Tutorials:

  1. The Ciao Development Team. The Ciao Multiparadigm Language and Program Development Environment. 6 pages, November 2006. The ALP Newsletter 19(3). The Association for Logic Programming..

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

  3. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. V. Hermenegildo, J. Maluszynski, G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. Proc. of the 3rd Int'l. Workshop on Automated Debugging-AADEBUG'97, pages 155-170, U. of Linköping Press, May 1997.


Articles in Books and Other Collections:

  1. M. Carro, M. V. Hermenegildo. Visualization Designs for Constraint Logic Programming. Vol. 2, Num. 2, pages 27-34, Swiss Informatics Societies, April 2001. Also in UPGRADE. Available through https://www.svifsi.ch/revue/.

  2. M. Carro, M. V. Hermenegildo. Diseño de visualizaciones para programación lógica con restricciones. Num. 150, pages 31-37, Asociación de Técnicos en Informática, March 2001.

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

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

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

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

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

  8. 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. Z. Drey, J.F. Morales, M. V. Hermenegildo. Reversible Language Extensions and their Application in Debugging. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.

  2. E.J. Gallego-Arias, R. Haemmerlé, M. V. Hermenegildo, J.F. Morales . The Ciao CLP(FD) Library: A Modular CLP Extension for Prolog. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.

  3. M. Hermenegildo, The Ciao Development Team. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages MPOOL 2007, July 2007.

  4. C. Vaucheret, S. Guadarrama, S. Muñoz. Fuzzy Prolog: A Simple Implementation using CLP(R) (also available in ps). Constraints and Uncertainty, A CP2001 workshop, LNCS, Springer-Verlag, December 2001.

  5. G. Puebla, F. Bueno, M. V. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs (also available in ps). Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997. Available from ftp://cliplab.org/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1..

  6. 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: 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 https://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz.

  7. M. 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. Proc. of the AGP'96 Joint Conference on Declarative Programming, pages 105-108, U. of the Basque Country, July 1996. Available from ftp://www.cliplab.org/pub/papers.

  8. M. Hermenegildo, F. Bueno, M. García de la Banda, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems (also available in ps). Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, December 1995. Available from https://www.cliplab.org/.

  9. M. García de la Banda, F. Bueno, M. Hermenegildo. Towards Automatic Compile-Time Parallelization of CLP Programs by Analysis and Transformation. Proceedings of the ILPS'95 Workshop on Parallel Logic Programming Systems, U. of Oregon, December 1995.

  10. M. Hermenegildo, The CLIP Group. The CIAO Multiparadigm Compiler and System: A Progress Report. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, Technical University of Madrid, September 1995.

  11. M. Hermenegildo, The CLIP Group. Towards CIAO-Prolog - A Parallel Concurrent Constraint System. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, 10 pages, FIM/UPM, Madrid, Spain, June 1993.

  12. V. Dumortier, G. Janssens, W. Simoens, M. García de la Banda. Combining a Definiteness and a Freeness Abstraction for CLP Languages. Workshop on Logic Program Synthesis and Transformation, 1993.

  13. M. García de la Banda, M. V. Hermenegildo. Some Considerations on the Compile-Time Analysis of Constraint Logic Programs. Jornadas Nacionales de Programación Declarativa, pages 97-117, U. Malaga, October 1991.


Technical Reports and Manuals:

  1. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Towards Resource Usage Function Verification based on Input Data Size Intervals. Num. CLIP4/2011.0, Technical University of Madrid (UPM), April 2011. Available at https://cliplab.org/papers/resource-verif-11-tr.pdf.

  2. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Towards a Framework for Resource Usage Verification and Debugging in the CiaoPP System. Num. CLIP1/2010.0, Technical University of Madrid (UPM), February 2010. Available at https://cliplab.org/papers/resource-verif-10-tr.pdf.

  3. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Inferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis. Num. CLIP2/2009.0, Technical University of Madrid (UPM), February 2009.

  4. M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzmán, J. Correas, S. Genaim, J. Lipton, Pedro Lopez-Garcia, M. Méndez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini. Rigorous Methods for Mobile and Heterogeneous Software Systems - Second Year Report. Num. CLIP3/2008.0, Technical University of Madrid (UPM), April 2008.

  5. M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. García Pañoso, J. Lipton, P. Lopez-Garcia, E. Mera, J. Morales, C. Ochoa, G. Puebla. Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report. Num. CLIP4/2007.0, Technical University of Madrid (UPM), March 2007.

  6. P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Inferring Determinacy in Logic Programs Using Mode and Type Information. Num. CLIP3/2007.0, Technical University of Madrid (UPM), February 2007.

  7. M. Hermenegildo, The Ciao Development Team. Why Ciao? -An Overview of the Ciao System's Design Philosophy. Num. CLIP7/2006.0, 6 pages, Technical University of Madrid (UPM), December 2006. Available from: https://cliplab.org/papers/ciao-philosophy-note-tr.pdf.

  8. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. The Ciao Preprocessor. Num. CLIP1/06, 99 pages, Technical University of Madrid (UPM), January 2006.

  9. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. A Tutorial on Program Development and Optimization using the Ciao Preprocessor. Num. CLIP2/06, 55 pages, Technical University of Madrid (UPM), January 2006.

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

  11. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. The Ciao Prolog Preprocessor. Num. CLIP1/04, 72 pages, Technical University of Madrid (UPM), January 2004.

  12. F. Bueno. CiaoPP Internals. Num. CLIP2/04, 66 pages, Technical University of Madrid (UPM), January 2004.

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

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

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

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

  17. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V0.6). Num. CLIP12/98.1, School of Computer Science, Technical University of Madrid (UPM), July 1998. System and on-line version of the manual available at https://ciao-lang.org.

  18. M. Carro, M. V. Hermenegildo, F. Bueno, D. Cabeza, M. J.  García, P. Lopez-Garcia. An Introductory Course on Constraint Logic Programming. 130 pages, Technical University of Madrid, 1998.

  19. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual. Num. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at https://ciao-lang.org.

  20. F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from CLP to AKL. Facultad de Informática, UPM, June 1995.

  21. M. García de la Banda, F. Bueno, M. Hermenegildo. Automatic Compile-Time Parallelization of CLP Programs by Analysis and Transformation to a Concurrent Constraint Language. Facultad de Informática, UPM, June 1995. Also in ILPS'95 WS on Parallel Logic Programming Systems.

  22. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence and Search Space Preservation in Dynamically Scheduled Constraint Logic Languages. Facultad de Informática, UPM, February 1995.

  23. F. Bueno, F. Rossi, M. V. Hermenegildo. Concurrent Semantics Based Optimizations of cc and CLP. Num. CLIP2/93.2, T.U. of Madrid (UPM), September 1994.

  24. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Search Space Preservation in CLP Languages. Num. CLIP11/94.0, T. University of Madrid (UPM), September 1994.

  25. M. García de la Banda, M. V. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. U. of Madrid (UPM), 1994.

  26. U. Montanari, F. Rossi, F. Bueno, M. García de la Banda, M. V. Hermenegildo. Contextual Nets and Constraint Logic Programming: Towards a True Concurrent Semantics for CLP. Num. CLIP 2/93.0, T.U. of Madrid (UPM), January 1993. Presented at the ICLP'93 Post Conference Workshop on Concurrent Constraint Logic Programming.

  27. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Constraint Logic Programs. Num. CLIP6/92.0, U. of Madrid (UPM), November 1992.

  28. M. García de la Banda, M. V. Hermenegildo. A Practical Approach to the Global Analysis of Constaint Logic Programs. Num. without, U. of Madrid (UPM), April 1992. Presented at the 1992 FGCS Post-Conference Workshop on Constraint Logic Programming.

  29. M. García de la Banda, M. V. Hermenegildo. Analyzing Constraint Logic Programs. Num. CLIP4/91.0, U. of Madrid (UPM), January 1991. Presented in ICLP-91 Workshop on Constraint Logic Programming, Paris.

next up previous Clip_button.gif
Next: Publications in Programming Language Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Concurrency, Dynamic
Last updated on Thu Dec 12 10:26:47 AM CET 2024
Contents
Institutional links