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

Publications in Environments and Tools for Software Development


Articles in Refereed Journals:

  1. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Theory and Practice of Logic Programming, Vol. 21, Num. 2, pages 196-243, Cambridge U. Press, January 2021.

  2. N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis. Science of Computer Programming, Vol. 155, pages 3-26, Elsevier North-Holland, April 2018. Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming.

  3. P. Lopez-Garcia, L. Darmawan, M. Klemen, U. Liqat, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. Theory and Practice of Logic Programming, Special Issue on Computational Logic for Verification, Vol. 18, Num. 2, pages 167-223, Cambridge U. Press, March 2018. arXiv:1803.04451.

  4. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Semantic Code Browsing. Theory and Practice of Logic Programming, 32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue, Vol. 16, Num. 5-6, pages 721-737, Cambridge U. Press, September 2016.

  5. P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo. A General Framework for Static Profiling of Parametric Resource Usage. Theory and Practice of Logic Programming, 32nd Int'l. Conference on Logic Programming (ICLP'16) Special Issue, Vol. 16, Num. 5-6, pages 849-865, Cambridge U. Press, September 2016.

  6. N. Stulova, J. F. Morales, M. V. Hermenegildo. Practical Run-time Checking via Unobtrusive Property Caching. Theory and Practice of Logic Programming, 31st Int'l. Conference on Logic Programming (ICLP'15) Special Issue, Vol. 15, Num. 04-05, pages 726-741, Cambridge U. Press, September 2015. http://arxiv.org/abs/1507.05986.

  7. A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, Vol. 14, Num. 4-5, pages 739-754, Cambridge U. Press, July 2014.

  8. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming, Vol. 12, Num. 1-2, pages 219-252, Cambridge University Press, January 2012.

  9. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming, Vol. 58, Num. 1-2, pages 115-140, Elsevier North-Holland, October 2005.


Articles in Refereed Conferences:

  1. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. An Integrated Approach to Assertion-Based Random Testing in Prolog. Post-Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 159-176, Springer-Verlag, April 2020.

  2. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Post-Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 19-35, Springer-Verlag, April 2020.

  3. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 36-56, Springer, 2020.

  4. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 10855, Springer, 2018.

  5. N. Stulova, J. F. Morales, M. V. Hermenegildo. Reducing the Overhead of Assertion Run-time Checks via Static Analysis. 18th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'16), pages 90-103, ACM Press, September 2016.

  6. R. Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. 16th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'14), 12 pages, ACM Press, September 2014.

  7. N. Stulova, J. F. Morales, M. V. Hermenegildo. Assertion-based Debugging of Higher-Order (C)LP Programs. 16th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'14), pages 225-235, ACM Press, September 2014.

  8. U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. V. Hermenegildo, K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 8901, pages 72-90, Springer, 2014.

  9. A. Serrano, P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Sized Type Analysis for Logic Programs. Theory and Practice of Logic Programming, 29th Int'l. Conference on Logic Programming (ICLP'13) Special Issue, On-line Supplement (technical communication), Vol. 13, Num. 4-5, pages 1-14, Cambridge U. Press, August 2013.

  10. Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL'13), LNCS, Vol. 7752, Springer, January 2013.

  11. E. Albert, P. Arenas, M. Gómez-Zamalloa. Symbolic Execution of Concurrent Objects in CLP. Practical Aspects of Declarative Languages (PADL'12), LNCS, Vol. 7149, pages 123-137, Springer, January 2012.

  12. E. Mera, T. Trigo, P. Lopez-Garcia, M. V. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. Practical Aspects of Declarative Languages (PADL'11), Lecture Notes in Computer Science, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.

  13. P. Lopez-Garcia, L. Darmawan, F. Bueno. A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification. Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, pages 104-113, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.

  14. E. Mera, P. Lopez-Garcia, M. V. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. 25th Int'l. Conference on Logic Programming (ICLP'09), LNCS, Vol. 5649, pages 281-295, Springer-Verlag, July 2009.


Books and Monographs:

  1. Pérez Carrasco, Víctor. Analysis of Smart Contracts using Horn Clauses. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 76 pages, June 2020. BSc Thesis.

  2. M. Klemen. Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation. Ms. Thesis, Technical University of Madrid, ETSI_Informatica, E-28660, Boadilla del Monte, Madrid, Spain, 88 pages, July 2015.

  3. E. Mera. A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2010.

  4. Susana Muñoz, José M. Gómez, Petra Hofstedt. Proceedings of WLPE 2004. 131 pages, INSA Rennes, September 2004.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, I. Garcia-Contreras, J. Morales, P. Lopez-Garcia, M. Klemen, I. Casso. Multivariant Assertion-based Guidance of Top-down Horn Clause-based Analysis in CiaoPP. Workshop on Declarative Program Analysis (DPA 2019), 1 pages, July 2019. (Abstract of invited talk). Associated to FCRC 2019.

  2. M. V. Hermenegildo, M. Carro, P. Lopez-Garcia, J.F. Morales, J. Arias, I. Garcia-Contreras, M. Klemen, N. Stulova. 25 Years of Ciao (abstract of invited tutorial). Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.

  3. M. V. Hermenegildo, P. Lopez-Garcia, J. Morales, I. Garcia-Contreras, M. Klemen, N. Stulova. Horn Clause-based Program Analysis and Verification with CiaoPP. 1st International Workshop on Declarative Program Analysis (DPA 2018), 1 pages, July 2018. (Abstract of invited talk). Associated to ECOOP/ISSTA 2018.

  4. M. V. Hermenegildo, P. Lopez-Garcia, U. Liqat, M. Klemen. Energy Consumption Analysis and Verification by Transformantion into Horn Clauses and Abstract Interpretation. 5th International Workshop on Verification and Program Transformation (VPT 2017), Vol. 253, pages 4-6, EPTCS, April 2017. (Abstract of invited talk).

  5. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, Num. 2694, pages 127-152, Springer-Verlag, June 2003.


Articles in Books and Other Collections:

  1. P. Lopez-Garcia, M. V. Hermenegildo, M. Klemen, U. Liqat. Energy Consumption Analysis and Verification using CiaoPP. The ALP Newsletter, Vol. 30, Num. 3, The Association for Logic Programming, September 2017.

  2. K. Georgiou, U. Liqat. Towards LLVM-Based Energy Consumption Analysis of Programs. ICT-Energy (Nanoenergy) Letters, Num. 8, pages 16-17, July 2014.

  3. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Vol. 5065, pages 209-237, Springer-Verlag, June 2008.


Publications in Refereed Workshops:

  1. M. A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M. Hermenegildo. VeriFly: On-the-fly Assertion Checking with CiaoPP. 6th Workshop on Formal Integrated Development Environment (F-IDE 2021), May 2021.

  2. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), March 2021. (Talk).

  3. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. An Integrated Approach to Assertion-Based Random Testing in Prolog. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

  4. M. Klemen, P. Lopez-Garcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

  5. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP. 10th Workshop on Tools for Automatic Program Analysis (TAPAS'19), October 2019. (Extended Abstract).

  6. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), October 2019.

  7. P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo. A General Framework for Static Profiling of Parametric Resource Usage (extended abstract). 19th International Workshop on Logic and Computational Complexity (LCC 2018), 4 pages, July 2018. Associated to FLOC 2018.

  8. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Towards Incremental and Modular Context-sensitive Analysis. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, Dagstuhl Press, July 2018. (Extended Abstract).

  9. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Towards Static Performance Guarantees for Programs with Run-time Checks. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, July 2018. (Extended Abstract).

  10. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'17), October 2017. arXiv:1601.02800.

  11. Nataliia Stulova. On Improving Run-time Checking in Dynamic Languages. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs), Vol. 58, pages 1501-1510, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. CP/ICLP/SAT Doctoral Program 2017.

  12. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2016), 2016. arXiv:1601.02800.

  13. R. Haemmerle, M. V. Hermenegildo, M. Klemen, U. Liqat, P. Lopez-Garcia. Energy Analysis and Verification by Translation to Horn Clauses and Abstract Interpretation. Workshop on Horn Clauses for Verification and Synthesis (HCVS'2015), July 2015.

  14. P. Lopez-Garcia, R. Haemmerlé, M. Klemen, U. Liqat, M. V. Hermenegildo. Towards Energy Consumption Verification via Static Analysis. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES), arXiv:1501.03064, 11 pages, 2015. arXiv:1512.09369.

  15. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract). Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, On-line Supplement, Vol. 14, Num. 4-5, pages 209-210, Cambridge U. Press, July 2014.

  16. U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. V. Hermenegildo, K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. Pre-proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13), September 2013.

  17. A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), 15 pages, August 2013. CoRR abs/1308.3940.

  18. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification: Formalization and Prototype. 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'2011), May 2011.

  19. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proceedings for the International Workshop on Scripts to Programs (STOP'11), 4 pages, ACM, 2011.

  20. M. Carro. The Amos Project: An Approach to Reusing Open Source Code. Proceedings of the CBD 2002 / ITCLS 2002 CoLogNet Joint Workshop, pages 59-70, Facultad de Informática, September 2002.


Technical Reports and Manuals:

  1. M.A. Sanchez-Ordaz, I. Garcia-Contreras, V. Perez-Carrasco, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. Num. CLIP-1/2021.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, May 2021.

  2. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. Num. CLIP-2/2018.0, 28 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.

  3. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. An Approach to Static Performance Guarantees for Programs with Run-time Checks. Num. CLIP-1/2018.0, 15 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.

  4. P. Lopez-Garcia, R. Haemmerlé, U. Liqat, M. Klemen, M. V. Hermenegildo. Parametric Static Profiling. Num. CLIP-2/2015.0, The CLIP Lab, April 2015.

  5. N. Stulova, J. F. Morales, M. V. Hermenegildo. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Num. CLIP-1/2014.0, 25 pages, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].

  6. E. Mera, T. Trigo, P. Lopez-Garcia, M. V. Hermenegildo. An Approach to Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Num. CLIP3/2010.0, 29 pages, Technical University of Madrid (UPM), March 2010.

  7. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

  8. E. Mera, P. Lopez-Garcia, M. V. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.

  9. E. Mera. Development of a Prolog Profiler. Num. CLIP13/2004.1, Technical University of Madrid, September 2004.

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

  11. J. M. Gomez, M. Carro, J. F. Morales. The External Interface. Num. CLIP6/2004.0, 4 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D12 of the AMOS Project.

  12. J. F. Morales, E. Mera, M. Carro, J. Correas. The Interface Internals. Num. CLIP7/2004.0, 30 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D14 of the AMOS Project.

  13. J. Correas, E. Mera, J. F. Morales. Final Matching Engine. Num. CLIP8/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D15 of the AMOS Project.

  14. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. Web site. Num. CLIP9/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D17 of the AMOS Project.

  15. M. Carro, J. Correas, C. Daffara, G. Puebla, M. V. Hermenegildo. Information Spreading. Num. CLIP10/2004.0, 273 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D18 of the AMOS Project.

  16. M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. AMOS User's Manual. Num. CLIP4/2004.0, 44 pages, Technical University of Madrid, March 2004.

  17. M. Carro, J. M. Gomez, J. Correas. The Matching Engine Prototype. Num. CLIP13/2003.0, 2 pages, School of Computer Science, Technical University of Madrid, August 2003. Deliverable D8 of the AMOS Project.

  18. M. Carro, C. Daffara, F. Bueno, D. Cabeza. Selection Heuristics for Matching. Num. CLIP12/2003.0, 18 pages, School of Computer Science, Technical University of Madrid, May 2003. Deliverable D7 of the AMOS Project.

  19. M. Carro. The AMOS Project: The Matching Engine Design. Num. CLIP2/2003.1, Technical University of Madrid, February 2003.

  20. M. Carro, J. M. Gomez, J. Correas. The AMOS Project: The Internal Query Language Design. Num. CLIP1/2003.1, 77 pages, Technical University of Madrid, December 2002.

  21. M. Carro, C. Daffara, G. Puebla. The AMOS Project: An Approach to Reusing Open Source Software. Num. CLIP3/2002.0, Technical University of Madrid, August 2002. Presented at the V Hispalinux Conference, Madrid, Spain.

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

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

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

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

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


next up previous Clip_button.gif
Next: Publications in Component-Based Software Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Programming Language
Last updated on Thu 29 Jul 2021 01:21:17 AM CEST