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

Publications in Verification, Specification, Testing, Debugging


Articles in Refereed Journals:

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

  2. 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. Theory and Practice of Logic Programming, Vol. 21, Num. 6, pages 768-784, Cambridge U. Press, September 2021. Special Issue on ICLP'21.

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

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

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

  6. U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. An Evolutionary Scheduling Approach for Trading-off Accuracy vs. Verifiable Energy in Multicore Processors. Logic Journal of the IGPL, Vol. 25, Num. 6, pages 1006-1019, Oxford Academic Press, December 2017.

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

  8. 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. https://arxiv.org/abs/1507.05986.

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

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

  11. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Certificate Size Reduction in Abstraction-Carrying Code. Theory and Practice of Logic Programming, Vol. 12, Num. 3, pages 283-318, 2012.

  12. M. Gómez-Zamalloa, E. Albert, G. Puebla. Test Case Generation for Object-Oriented Imperative Languages in CLP. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 659-674, Cambridge U. Press, July 2010.

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

  14. E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. New Generation Computing, Vol. 26, Num. 2, pages 171-204, March 2008.

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

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


Articles in Refereed Conferences:

  1. Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo. Testing Your (Static Analysis) Truths. Logic-Based Program Synthesis and Transformation - 30th International Symposium, Post-Proceedings, Lecture Notes in Computer Science, Vol. 12561, pages 271-292, Springer, 2021.

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

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

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

  5. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Run-time Checks. 20th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'18), 13 pages, ACM Press, September 2018.

  6. N. Stulova, J. F. Morales, M. V. Hermenegildo. Exploiting Term Hiding to Reduce Run-time Checking Overhead. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), LNCS, Num. 10702, pages 99-115, Springer-Verlag, January 2018.

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

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

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

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

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

  12. A. Serrano, P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Sized Type Analysis for Logic Programs. Vol. 13, Num. 4-5, pages 1-14, Cambridge U. Press, August 2013.

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

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

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

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

  17. E. Albert, S. Genaim, M. Gómez-Zamalloa. Parametric Inference of Memory Requirements for Garbage Collected Languages. 9th International Symposium on Memory Management (ISMM'10), pages 121-130, ACM Press, June 2010.

  18. Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez. Analyzing the Impact of Change in Multi-threaded Programs. Proc. of the 13th Int'l. Conf. on Fundamental Approaches to Software Engineering (FASE'10), LNCS, Vol. 6013, pages 293-307, Springer, 2010.

  19. Alejandro Sánchez, César Sánchez. Decision Procedures for the Temporal Verification of Concurrent Lists. Proc. of the 12th Int'l. Conf. on Formal Engineering Methods (ICFEM'10), LNCS, Vol. 6447, pages 74-89, Springer, 2010.

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

  21. E. Albert, S. Genaim, M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. 8th international symposium on Memory management, pages 129-138, ACM Press, June 2009.

  22. M. Marron, D. Kapur, M. V. Hermenegildo. Identification of Logically Related Heap Regions. ISMM'09: Proceedings of the 8th international symposium on Memory management, ACM Press, June 2009.

  23. M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo. Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Springer-Verlag, August 2008.

  24. E. Mera, P. Lopez-Garcia, M. Carro, M. V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based Languages. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 174-184, ACM Press, July 2008.

  25. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing Analysis for Java-style Programs. 9th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'08), LNCS, Num. 4905, pages 172-187, Springer-Verlag, January 2008.

  26. G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 18-34, Springer Verlag, January 2008.

  27. P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs. ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08), pages 61-70, ACM Press, January 2008.

  28. E. Albert, S. Genaim, M. Gómez-Zamalloa. Heap Space Analysis for Java Bytecode. Proceedings of the 6th International Symposium on Memory Management (ISMM'07), pages 105-116, ACM Press, October 2007.

  29. P. Pietrzak, M. V. Hermenegildo. Automatic Binding-related Error Diagnosis in Logic Programs. International Conference on Logic Programming (ICLP'07), LNCS, Num. 4670, pages 333-347, Springer-Verlag, September 2007.

  30. M. Méndez-Lojo, J. Navas, M. Hermenegildo. A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007), Lecture Notes in Computer Science, Num. 4915, pages 154-168, Springer-Verlag, August 2007.

  31. E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Verification of Java Bytecode using Analysis and Transformation of Logic Programs. Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007), LNCS, Num. 4354, pages 124-139, Springer-Verlag, January 2007.

  32. E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), LNCS, Num. 4246, pages 377-391, Springer-Verlag, November 2006.

  33. P. Pietrzak, J. Correas, G. Puebla, M. V. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS, Num. 4246, pages 392-406, Springer-Verlag, November 2006.

  34. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Num. 4079, pages 163-178, Springer-Verlag, August 2006.

  35. E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code . 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), LNAI, Num. 3452, pages 380-397, Springer-Verlag, March 2005.

  36. E. Albert, G. Puebla, M. V. Hermenegildo. Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems. Proc. of 2004 IEEE Conference on Systems, Man & Cybernetics (Special Session on Correctness and Reliability for Pervasive/Ubiquitous Computing), 6 pages, IEEE, October 2004.

  37. E. Albert, G. Puebla, M. V. Hermenegildo. Abstract Interpretation-based Mobile Code Certification. Proc. of International Conference on Logic Programming (ICLP'04), LNCS, Num. 3132, pages 446-447, Springer-Verlag, September 2004. Extended Abstract.

  38. J. Gallagher, G. Puebla. Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Fourth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 2257, pages 243-261, Springer-Verlag, January 2002.

  39. M. V. 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.

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

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

  42. G. Puebla, F. Bueno, M. V. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming (abstract) (also available in ps). Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP'98), LNCS, Num. 1520, pages 472-473, Springer-Verlag, October 1998.

  43. G. Puebla, M. Comini, W. Drabent, M. Ducass, M. Fabris, M. Meier, Ch. Schulte. Tools and Environments for Constraint Logic Programming. International Logic Programming Symposium, pages 417-418, October 1997. Workshop abstract.

  44. M. Carro, L. Gómez, M. Hermenegildo. Some Paradigms for Visualizing Parallel Execution of Logic Programs. 1993 International Conference on Logic Programming, pages 184-201, MIT Press, June 1993.


Books and Monographs:

  1. David S. Warren, Veronica Dahl, Thomas Eiter, Manuel Hermenegildo, Robert Kowalski, Francesca Rossi. Prolog - The Next 50 Years. LNCS, Num. 13900, Springer, July 2023.

  2. I. Garcia-Contreras. A Scalable Static Analysis Framework for Reliable Program Development Exploiting Incrementality and Modularity. Ph.D. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 42 pages, July 2021. Advisors: M. V. Hermenegildo and Jose F. Morales.

  3. Casso, Ignacio. An Integrated Approach to Assertion-Based Random Testing in Logic Languages. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 42 pages, July 2021. MSc Thesis.

  4. Pérez Carrasco, Víctor. Improvements to Parametric Cost Analysis and its Application to Smart Contracts. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 63 pages, July 2021. MSc Thesis.

  5. Maximiliano Klemen. A General Framework for Static Resource Analysis and Profiling of (Parallel) Programs and an Application to Runtime Checking. Ph.D. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, March 2021.

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

  7. Umer Liqat. A Multi-Language and Multi-Platform Framework for Resource Consumption Analysis and its Application to Energy-Efficient Software Development. Ph.D. Thesis, Escuela Técnica Superior de Ingenieros Informáticos, UPM, July 2018.

  8. Casso, Ignacio. Towards Computing Distances Among Abstract Interpretations. Ms. Thesis, Universidad Complutense de Madrid, 60 pages, June 2018. BSc Thesis.

  9. Nataliia Stulova. Dynamic Checking of Assertions for Higher-order Predicates. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 73 pages, July 2013.

  10. P. Chico de Guzmán. Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2012.

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

  12. M. Méndez-Lojo. A Generic Approach to Bytecode Analysis. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.

  13. J. Navas. Analysis and Inference of Resource Usage Information. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.

  14. J. Correas. Analysis and Verification of Modular Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2008.

  15. D. Cabeza. An Extensible, Global Analysis Friendly Logic Programming System. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, August 2004.

  16. P. Deransart, M. V. Hermenegildo, J. Maluszynski. Analysis and Visualization Tools for Constraint Programming. LNCS, Num. 1870, 350 pages, Springer-Verlag, September 2000.

  17. J.M. Ramos. VIFID: Variable Visualization for Constraint Domains. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, September 1998.

  18. G. Puebla. Advanced Compilation Techniques based on Abstract Interpretation and Program Transformation (also available in ps). Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, November 1997.

  19. A. López Luengo. APT: implementación de un visualizador gráfico de la ejecución de programas lógicos. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, October 1997. In Spanish.


Invited Papers and Tutorials:

  1. M.V. Hermenegildo, I. Garcia-Contreras, J.F. Morales, P. Lopez-Garcia, L. Rustenholz, D. Ferreiro, D. Jurjo. On-the-fly Verification via (Incremental, Interactive) Abstract Interpretation with CiaoPP and Verifly. October 2023. https://2023.splashcon.org/details/lopstr-2023-papers/9/On-The-Fly-Verification-via-Incremental-Interactive-Abstract-Interpretation-with-CiaKeynote at LOPSTR'23/SPLASH'23. Video available https://www.youtube.com/watch?v=r1kjbI7iw7g&list=PLyrlk8Xaylp7HyQNnxoeQQ3KEWDdFs-zA&index=8here.

  2. M. V. Hermenegildo. 50-Years of Prolog and Beyond (invited talk). November 2022. Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.

  3. M. V. Hermenegildo. Some reflections on Prolog's evolution, status, and future on the 50th anniversary of the birth of Prolog (abstract of invited talk). 38th International Conference on Logic Programming (ICLP'22 at FLoC'22), August 2022.

  4. J. Gallagher, M. V. Hermenegildo, B. Kafle, M. Klemen, P. Lopez-Garcia, J.F. Morales. From big-step to small-step semantics and back with interpreter specialization (invited paper). Proceedings of the Eighth International Workshop on Verification and Program Transformation (VPT 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 50-65, Open Publishing Association (OPA), 2020. Co-located with ETAPS 2020.

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

  6. 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. Talk slides at https://cliplab.org/papers/ciao_tut_lopstr18.pdf.

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

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

  9. Elvira Albert. From Termination to Cost (in Object-Oriented Languages). Workshop on Termination (WST'10), 1 pages, July 2010.

  10. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 pages, June 2009.

  11. G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard. MOBIUS: Mobility, Ubiquity, Security: Objectives and progress report. Trustworthy Global Computing'06, LNCS, Num. 4661, pages 10-29, Springer, March 2007.

  12. G. Puebla, E. Albert, P. Arenas, M. V. Hermenegildo. On Abstraction-Carrying Code and Certificate-Size Reduction. 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), 15 pages, March 2006.

  13. G. Puebla, E. Albert, M. Hermenegildo. Abstract Interpretation-based Verification/Certification in the CiaoPP System. Mobile Code Safety and Program Verification Using Computational Logic Tools (MoveLog'05), 9 pages, October 2005.

  14. M. V. Hermenegildo, E. Albert, P. Lopez-Garcia, G. Puebla. Abstraction Carrying Code and Resource-Awareness. 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'05), pages 1-11, ACM Press, July 2005.

  15. M. V. Hermenegildo, E. Albert, P. Lopez-Garcia, G. Puebla. Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System. Proc. of EURO-PAR 2004, LNCS, Num. 3149, pages 21-37, Springer-Verlag, August 2004.

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

  17. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Abstract Verification and Debugging of Constraint Logic Programs. Recent Advances in Constraints, LNCS, Num. 2627, pages 1-14, Springer-Verlag, January 2003.

  18. M. V. Hermenegildo, F. Bueno, G. Puebla, P. Lopez-Garcia. Program Debugging and Validation Using Semantic Approximations and Partial Specifications (also available in ps). 29 th. International Colloqium on Automata, Languages, and Programming (ICALP), LNCS, Num. 2380, pages 69-72, Springer-Verlag, July 2002.

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

  20. M. Hermenegildo, The CLIP Group. Programming with Global Analysis. Proceedings of ILPS'97, pages 49-52, MIT Press, October 1997. (abstract of invited talk).

  21. 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. Gopal Gupta, Elmer Salazar, Joaquín Arias, Kinjal Basu, S Varanasi, M Carro. Prolog: Past, Present, and Future. Prolog - The Next 50 Years, LNCS, Num. 13900, Springer, July 2023.

  2. M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia, M. Carro. Types, modes and so much more - the Prolog way. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 23-37, Springer, July 2023.

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

  4. U. Liqat, K. Georgiou, S. Kerrison, P. Lopez-Garcia, M. V. Hermenegildo, J. P. Gallagher, K. Eder. Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, Lecture Notes in Computer Science, Vol. 9964, pages 81-100, Springer, 2016.

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

  6. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Resource Usage Analysis and its Application to Resource Certification. 9th International School on Foundations of Security Analysis and Design (FOSAD'09), Lecture Notes in Computer Science, Num. 5705, pages 258-288, Springer, 2009.

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

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

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

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

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

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

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

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

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


Publications in Refereed Workshops:

  1. G. Garcia-Pradales, J.F. Morales, M. V. Hermenegildo, J. Arias, M. Carro. An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP'22 Workshop on Goal-directed Execution of Answer Set Programs, August 2022.

  2. Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, José F. Morales. Regular Path Clauses and their Application in Solving Loops. Proceedings of the Eighth International Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 344, pages 22-35, Open Publishing Association (OPA), August 2021. Co-located with ETAPS 2021.

  3. 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 with CiaoPP. 6th Workshop on Formal Integrated Development Environment (F-IDE 2021, part of NASA NFM'21), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 1-5, Open Publishing Association (OPA), May 2021. Co-located with ETAPS 2021.

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

  5. Joaquín Arias, Gopal Gupta, Manuel Carro. A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. Proceedings of the 37th ICLP 2021 Workshops, Vol. 2970, CEUR-WS.org, 2021.

  6. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Testing Your (Static Analysis) Truths. Pre-proceedings of the 30th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'20), September 2020.

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

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

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

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

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

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

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

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

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

  16. N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Run-time Checks Simplification via Term Hiding. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs), Vol. 58, pages 91-93, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017. (Extended Abstract).

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

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

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

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

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

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

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

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

  25. G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo. A Coding Rule Conformance Checker Integrated into GCC. VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, pages 245-249, October 2008.

  26. M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo. Efficient Set Sharing using ZBDDs. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Vol. 5335, pages 94-108, Springer-Verlag, August 2008.

  27. G. Marpons-Ucero, J. Mariño, A. Herranz, L.Å. Fredlund, M. Carro, J.J. Moreno-Navarro. Automatic Coding Rule Conformance Checking Using Logic Programs. 17th Workshop on Logic-based methods in Programming Environments, WLPE 2007, September 2007.

  28. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. A Generic Framework for the Cost Analysis of Java Bytecode. Spanish Conference on Programming and Computer Languages (PROLE'07), September 2007.

  29. J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. An Efficient, Context and Path Sensitive Analysis Framework for Java Programs. 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, 12 pages, July 2007.

  30. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. 9th International Workshop on Termination, WST'07, June 2007.

  31. M. Méndez-Lojo, J. Navas, M. V. Hermenegildo. An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2007), Electronic Notes in Theoretical Computer Science, Elsevier - North Holland, March 2007.

  32. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Experiments in Cost Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science, Vol. 190, Issue 1, Elsevier, 2007.

  33. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Generation of Reduced Certificates in Abstraction-Carrying Code. VI Jornadas Programación y Lenguajes (PROLE'06), 10 pages, October 2006.

  34. E. Albert, P. Arenas, G. Puebla. Some Issues on Incremental Abstraction-Carrying Code. 16th Workshop on Logic-Based Methods in Programming Environments (WLPE'06) , 15 pages, August 2006.

  35. E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Towards Verification of Java Bytecode using Tools for Logic Programming. International Workshop on Software Verification and Validation (SVV 2006), 15 pages, August 2006.

  36. E. Albert, P. Arenas, G. Puebla. Incremental Certificates and Checkers for Abstraction-Carrying Code. Sixth Workshop on Issues in the Theory of Security, 16 pages, March 2006.

  37. E. Albert, G. Puebla, M. V. Hermenegildo. Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments. Workshop on Software Analysis and Development for Pervasive Systems (SONDA'04), pages 1-6, August 2004.

  38. E. Albert, G. Puebla, M. V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Proc. of Compiler Optimization meets Compiler Verification (COCV'04), Electronic Notes in Theoretical Computer Science 132(1), pages 113-129, Elsevier - North Holland, April 2004.

  39. M. V. 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.

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

  41. M. Carro, M. V. Hermenegildo. Some Design Issues in the Visualization of Constraint Program Execution. AGP'98 Joint Conference on Declarative Programming, pages 71-86, July 1998.

  42. G. Puebla, F. Bueno, M. V. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming (also available in ps). Proceedings of the JICSLP'98 Workshop on Types for CLP, pages 3-15, June 1998.

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

  44. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. JICSLP'92 Workshop on Parallel Execution, 15 pages, November 1992.

  45. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. Primer Congreso Nacional de Programación Declarativa, pages 262-278, FIM/UPM, September 1992.


Technical Reports and Manuals:

  1. Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. Abstract Environment Trimming. Num. CLIP-2/2024.0, IMDEA Software Institute and Technical University of Madrid (UPM), May 2024.

  2. D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. A Methodology for Designing and Composing Abstract Domains Using Rewriting Rules. Num. CLIP-1/2023.0, CLIP Lab, UPM and IMDEA Software Institute, August 2023.

  3. L. Rustenholz. Automated Approximate Recurrence Solving applied to Static Analysis of Energy Consumption. CLIP Lab, IMDEA Software Institute, August 2022. Master internship report. Supervised by M.V. Hermenegildo, P. Lopez-Garcia, and J. F. Morales..

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

  5. G. Garcia-Pradales, J.F. Morales, M. V. Hermenegildo. The Ciao Playground. Technical University of Madrid (UPM) and IMDEA Software Institute, 2021.

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

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

  8. N. Stulova, J. F. Morales, M. V. Hermenegildo. Term Hiding and its Impact on Run-time Check Simplification. Num. CLIP-1/2017.0, 27 pages, The CLIP Lab, May 2017. CoRR abs/1705.06662 (v2) [cs.PL].

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

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

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

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

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

  14. J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications. Num. CLIP5/2008.0, Technical University of Madrid (UPM), July 2008.

  15. M. Méndez-Lojo, O. Lhoták, M. V. Hermenegildo. Fast Set Sharing using ZBDDs. University of New Mexico, June 2008.

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

  17. J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. Customizable Resource Usage Analysis for Java Bytecode. Num. UNM TR-CS-2008-02 - CLIP1/2008.0, University of New Mexico, January 2008.

  18. G. Román-Díez, G. Puebla. Java Bytecode Timing Cost Models. Num. CLIP12/2007.0, Technical University of Madrid, December 2007.

  19. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing for Java-style Programs (and proofs). Num. CLIP2/2007.1, Technical University of Madrid (UPM), November 2007.

  20. E. Mera, P. Lopez-Garcia, M. Carro, M. V. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.

  21. G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. Num. CLIP6/2007.0, Technical University of Madrid (UPM), August 2007.

  22. E. Albert, P. Arenas, S. Genaim, G. Puebla. Automatic Inference of Upper Bounds for Cost Equation Systems. Num. CLIP10/2007.0, Technical University of Madrid, July 2007.

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

  24. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing and Nullity Analysis for Java-style Programs. Num. CLIP2/2007.0, Technical University of Madrid (UPM), February 2007.

  25. M. Méndez-Lojo, J. Navas, M. Hermenegildo. Efficient, Parametric Analysis of Java Bytecode. Num. CLIP9/2006.0, Technical University of Madrid (UPM), December 2006.

  26. P. Pietrzak, M. V. Hermenegildo. Improved Automatic Error Diagnosis Based on Abstract Interpretation. Num. CLIP11/2006.0, Technical University of Madrid, September 2006.

  27. E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. Num. CLIP3/2006, 16 pages, Technical University of Madrid (UPM), March 2006.

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

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

  30. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. Num. CLIP8/2005.0, 19 pages, Technical University of Madrid (UPM), October 2005.

  31. E. Albert, G. Puebla, M. V. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. Num. CLIP7/2005.0, 30 pages, Technical University of Madrid, July 2005.

  32. E. Albert, G. Puebla, J. Gallagher. A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer. Num. CLIP1/2005.0, 9 pages, Technical University of Madrid, February 2005.

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

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

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

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

  37. E. Albert, G. Puebla, M. V. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Num. CLIP8/2003.0, 18 pages, Technical University of Madrid, November 2003.

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

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

  40. M. V. 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.

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

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

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

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

  45. 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). Num. CLIP8/98.0, Technical University of Madrid (UPM), October 1998.

  46. J.M. Ramos. vifid: Variable Visualization for Finite Domains. Num. CLIP4/98.0, 58 pages, Technical University of Madrid, September 1998.

  47. J.M. Ramos, M. Carro. VIFID User's Manual (also available in ps). Num. CLIP3/98.0, 25 pages, Technical University of Madrid, September 1998.

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

  49. F. Bueno. Using Assertions for Static Debugging of CLP: A Manual. Num. CLIP1/98.0, 15 pages, DISCIPL Project/CLIP Group, UPM, June 1998.

  50. A. López, M. Carro. A User Guide to APT (also available in ps). Num. CLIP6/97.1, 12 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1997.

  51. M. Carro, M. Hermenegildo. Some Design Issues in Constraint Program Visualization and Abstraction. Num. CLIP1/97.1, 20 pages, Technical University of Madrid (UPM), September 1997. Also as deliverable of the ESPRIT project DISCIPL.

  52. The CLIP Group. Program Assertions. Num. CLIP4/97.1, Facultad de Informática, UPM, August 1997.

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

  54. M. V. Hermenegildo, The CLIP Group. An Automatic Documentation Generator for (C)LP - Reference Manual. Num. CLIP5/97.3, Facultad de Informática, UPM, August 1997. Online at https://ciao-lang.org.

  55. A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. V. Hermenegildo, C. Lai, J.Lloyd, J. Maluszynski, G. Puebla, A. Tessier. CP Debugging Tools: Clarification of Functionalities and Selection of the Tools. Num. D.WP1.1.M1.1-2, 15 pages, DISCIPL Project, June 1997.

  56. F. Bueno, D. Cabeza, M. V. Hermenegildo, S. Prestwich, G. Puebla. Some Improvements to an Abstract Syntax for Analysis and Optimization of Full (Parallel) Prolog. Num. CLIP 8/94.0, Computer Science Dept., Technical U. of Madrid (UPM), September 1994.

  57. F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. Lopez-Garcia, M. García de la Banda, M. V. Hermenegildo, L. Gómez, S. Prestwich, S.-W. Yan. A Proposal for an Interchange Abstract Syntax for (Parallel) Prolog. Num. CLIP3/93.0, 33 pages, Computer Science Dept., Technical U. of Madrid (UPM), June 1993.

  58. M. Carro, L. Gómez, M. Hermenegildo. Using VisAndOr to Debug and Understand Parallel Execution of Logic Programs. Num. CLIP 1/93.0, School of Computer Science, Technical University of Madrid, February 1993.

  59. M. Carro, L. Gómez, M. Hermenegildo. VISANDOR: A Tool for Visualizing And-/Or-parallelism in Logic Programs. Num. CLIP9/91.0, 17 pages, T.U. of Madrid (UPM), June 1991.

  60. M. Hermenegildo, R. I. Nasr. A Tool for Visualizing Independent And-parallelism in Logic Programs. Num. CLIP1/90.0, T.U. of Madrid (UPM), 1990. Presented at the NACLP-90 Workshop on Parallel Logic Programming, Austin, TX.

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