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

Publications in Programming Language Design


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, Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Theory and Practice of Logic Programming, Vol. 19, Num. 5-6, pages 1107-1123, September 2019. Special Issue on ICLP'19.

  4. Joaquín Arias, Manuel Carro. Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Theory and Practice of Logic Programming, Vol. 19, Num. 3, pages 412-448, Cambridge U. Press, May 2019.

  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. Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta. Constraint Answer Set Programming without Grounding. Theory and Practice of Logic Programming, Vol. 18, Num. 3-4, pages 337-354, Cambridge U. Press, 2018.

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

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

  9. J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. 16, Num. 1, pages 1-58, Cambridge University Press, January 2016.

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

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

  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. Theory and Practice of Logic Programming, Vol. 12, Num. 1-2, pages 219-252, Cambridge University Press, January 2012.

  13. J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. Theory and Practice of Logic Programming, 28th Int'l. Conference on Logic Programming (ICLP'12) Special Issue, Vol. 12, Num. 4-5, pages 755-773, Cambridge U. Press, 2012.

  14. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. Parallel Backtracking with Answer Memoing for Independent And-Parallelism. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 555-574, Cambridge U. Press, July 2011.

  15. R. Haemmerlé. (Co)-Inductive Semantics for Constraint Handling Rules. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 593-609, Cambridge U. Press, July 2011.

  16. R. Haemmerlé. Observational Equivalences for Linear Logic Concurrent Constraint Languages. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 469-485, Cambridge U. Press, July 2011.

  17. P. Chico de Guzmán, M. Carro, David S. Warren. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 401-416, Cambridge U. Press, July 2010.

  18. Mary DeMarco, James Lipton. Completeness and Cut Elimination in Church's Intuitionistic Theory of Types. J. of Logic and Computation, Vol. 15, Num. 6, pages 821-854, 2005.

  19. Stacy E. Finkelstein, Peter Freyd, James Lipton. A New Framework for Declarative Programming. Theoretical Computer Science, Vol. 300, Num. 1-3, pages 91-160, Elsevier Science, May 2003.

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

  21. M. Hermenegildo, K. Greene. The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing, Vol. 9, Num. 3,4, pages 233-257, Springer Verlag, 1991.


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, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Post-Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, Springer-Verlag, April 2020.

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

  4. R. Bruni, R. Giacobazzi, R. Gori, I. Garcia-Contreras, D. Pavlovic. Abstract Extensionality - On the Properties of Incomplete Abstract Interpretations. Proc. ACM Symposium on Principles of Programming Languages 2020, January 2020.

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

  6. Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta. Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. Post-Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 139-155, Springer-Verlag, 2020.

  7. Joaquín Arias, Manuel Carro. Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. 21st Int'l. Symposium on Practical Aspects of Declarative Languages, LNCS, Vol. 11372, pages 98-114, Springer, January 2019.

  8. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertion-based Guidance in Abstract Interpretation. Post-Proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), LNCS, Num. 11408, pages 184-201, Springer-Verlag, January 2019.

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

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

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

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

  13. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño. A Haskell Implementation of a Rule-Based Program Transformation for C Programs. International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 9131, pages 105-114, Springer-Verlag, June 2015.

  14. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Post-Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), LNCS, Vol. 8981, pages 317-331, Springer, 2015.

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

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

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

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

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

  20. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Supporting Pruning in Tabled LP. Practical Aspects of Declarative Languages (PADL'13), LNCS, Springer Verlag, January 2013.

  21. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. FLOPS'12, LNCS, Num. 7294, pages 104-119, Springer Verlag, May 2012.

  22. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. 15th Int'l. Symposium on Functional and Logic Programming, LNCS, Vol. 7294, pages 104-119, Springer Verlag, May 2012.

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

  24. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. A Segment-Swapping Approach for Executing Trapped Computations. PADL'12, LNCS, Vol. 7149, pages 138-152, Springer Verlag, January 2012.

  25. R. Haemmerlé, P. Lopez-Garcia, M. V. Hermenegildo. CLP Projection for Constraint Handling Rules. Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 137-148, ACM Press, July 2011.

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

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

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

  29. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Tabling Implementation Based on Variables with Multiple Bindings. International Conference on Logic Programming (ICLP 2009), LNCS, Num. 5649, pages 190-204, Springer-Verlag, July 2009.

  30. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), LNCS, Num. 5418, pages 224-238, Springer-Verlag, January 2009.

  31. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Int'l. Conference on Logic Programming, LNCS, Vol. 5366, pages 795-800, Springer Verlag, December 2008. Short paper.

  32. A. Casas, M. Carro, M. V. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. 24th International Conference on Logic Programming (ICLP'08), LNCS, Vol. 5366, pages 651-666, Springer-Verlag, December 2008.

  33. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Lecture Notes in Computer Science, Vol. 5051, pages 2-18, Springer-Verlag, Berlin, June 2008.

  34. I. Mastroeni, D. Zanardini. Data Dependencies and Program Slicing: from Syntax to Abstract Semantics. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM), ACM Press, New York, January 2008.

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

  36. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-parallelism. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 230-247, Springer-Verlag, January 2008.

  37. D. Zanardini. Analyzing Non-Interference with respect to Classes. Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS), World Scientific, October 2007.

  38. A. Casas, M. Carro, M. V. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), LNCS, Num. 4915, pages 138-153, Springer-Verlag, August 2007.

  39. J.F. Morales, M. Carro, M. V. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Logic-Based Program Synthesis and Transformation (LOPSTR'06), LNCS, Num. 4407, pages 77-93, July 2007.

  40. J. Lipton, S. Nieva. Higher Order Logic Programming Languages with Constraints: A Semantics. Typed Lambda Calculus and Applications (TLCA) 07, Lecture Notes in Computer Science, Num. 4583, pages 272-289, Springer, June 2007.

  41. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. High-Level Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271-281, ACM Press / Sheridan, October 2006.

  42. A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. The 8th International Symposium on Functional and Logic Programming (FLOPS'06), pages 142-162, April 2006.

  43. D. Zanardini. Abstract Non-Interference in a fragment of Java bytecode. ACM Symposium on Applied Computing (SAC), ACM Press, New York, April 2006.

  44. D. Zanardini. Higher-Order Abstract Non-Interference. Int. Conf. on Typed Lambda Calculi and Applications (TLCA), Lecture Notes in Computer Science, Vol. 3461, Springer-Verlag, Berlin, April 2005.

  45. D. Cabeza, M. V. Hermenegildo, J. Lipton. Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. Ninth Asian Computing Science Conference (ASIAN'04), LNCS, Num. 3321, pages 93-108, Springer-Verlag, December 2004.

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

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

  48. C. Vaucheret, S. Guadarrama, S. Muñoz. Fuzzy Prolog: A Simple General Implementation using CLP(R) (also available in ps). 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, October 2002.

  49. S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo. Efficient Negation Using Abstract Interpretation (also available in ps). Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI, 15 pages, Springer-Verlag, December 2001.

  50. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.

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

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

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

  54. H. Kuchen, J. Moreno-Navarro, M. Hermenegildo. Independent AND-Parallel Implementation of Narrowing. Proc. 4th Int'l. Symposium on Programming Language Implementation and Logic Programming, LNCS, Num. 631, pages 24-38, Springer-Verlag, August 1992.

  55. M. Hermenegildo, K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. 1990 International Conference on Logic Programming, pages 253-268, MIT Press, Association for Logic Programming, June 1990.


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. B, Accattoli, M. V. Hermenegildo (Eds.). Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). ACM ICPS Proceedings, 187 pages, ACM, September 2022.

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

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

  7. Isabel Garcia-Contreras. Code Search: A Semantic, Abstract Interpretation-Based Approach. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 103 pages, July 2016.

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

  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. J.F. Morales. Advanced Compilation Techniques for Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, July 2010.

  13. E. Albert, S. Genaim. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation. Electronic Notes in Theoretical Computer Science, Vol. 253, Num. 5, pages 1-2, Elsevier - North Holland, March 2009.

  14. A. Casas. Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages. Ph.D. Thesis, University of New Mexico (UNM), Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131-0001 (USA), September 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.


Invited Papers and Tutorials:

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

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

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

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

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

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

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

  8. F. Bueno, D. Cabeza, M. Carro, J. Correas, J. Gómez, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla, C. Vaucheret. Agent Programming in Ciao Prolog (also available in ps). 10 th. Portuguese Conference on Artificial Intelligence (EPIA), LNAI, Num. 2258, 2 pages, Springer-Verlag, December 2001.

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

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


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. K. Georgiou, U. Liqat. Towards LLVM-Based Energy Consumption Analysis of Programs. ICT-Energy (Nanoenergy) Letters, Num. 8, pages 16-17, July 2014.

  5. M. Carro, M. V. Hermenegildo. Logic Languages. Encyclopedia of Parallel Computing, pages 1057-1068, Springer, 2011.

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

  7. R. Bagnara, M. Carro. Foreign Language Interfaces for Prolog: a Terse Survey. The ALP Newsletter, Vol. 15, Num. 2, The Association for Logic Programming, May 2002. Available from https://dtai.cs.kuleuven.be/projects/ALP/newsletter/may02/index.html.

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

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

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

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

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

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

  5. I. Casso, J. F. Morales, P. Lopez-Garcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), November 2019.

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

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

  8. J. Arias, Z. Chen, M. Carro, G. Gupta. Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. Pre-Proc. of the 29th Int'l. Symposium on Logic-based Program Synthesis and Transformation , September 2019.

  9. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Towards Computing Abstract Distances in Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 65-66, Open Publishing Association (OPA), September 2019. (Extended Abstract).

  10. Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. Constraint Answer Set Programming without Grounding and its Applications. 3rd Int'l. Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0), Vol. 2368, pages 22-26, CEUR-WS, June 2019.

  11. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertion-based Guidance in Abstract Interpretation. Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.

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

  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. Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro. Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

  16. Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

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

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

  19. Jan Kuper, Lutz Schubert, Kilian Kempf, Colin Glas, Daniel Rubio Bonilla, Manuel Carro. Program Transformations in the POLCA Project. Design, Automation, and Testing in Europe, EDAA, March 2016.

  20. Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016), March 2016.

  21. Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro. Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016), March 2016.

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

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

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

  25. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Pre-proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), 15 pages, September 2014.

  26. J.F. Morales, M. V. Hermenegildo. Towards Pre-Indexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014), 14 pages, RWTH Aachen University, July 2014. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014.

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

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

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

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

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

  32. J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. XII Jornadas sobre Programación y Lenguajes (PROLE), Universidad de Almería, 2012.

  33. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. XII Jornadas sobre Programación y Lenguajes (PROLE), Universidad de Almería, 2012.

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

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

  36. J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. User-Definable Resource Usage Bounds Analysis for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09), Electronic Notes in Theoretical Computer Science, Vol. 253, Num. 5, pages 65-82, Elsevier - North Holland, March 2009.

  37. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Program Transformation for Continuation Call-Based Tabled Execution. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, University of Udine, December 2008.

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

  39. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. COSTA: A Cost and Termination Analyzer for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'08), Electronic Notes in Theoretical Computer Science, Elsevier, April 2008.

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

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

  42. A. Casas, D. Cabeza, M. V. Hermenegildo. Functional Notation and Lazy Evaluation in Ciao. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'05, ICLP associated workshop), pages 25-36, October 2005.

  43. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Second CoLogNet Workshop on Implementation Technology for Computational Logic Systems (Formal Methods '03 Workshop), pages 51-64, Facultad de Informatica, September 2003.

  44. J. Correas, F. Bueno. A Configuration Framework for Distributed Logic Applications (also available in ps). Proc. of the AGP'2002 Joint Conference on Declarative Programming, pages 123-137, Facultad de Informatica, September 2002.

  45. M. Carro, M. Hermenegildo. A Simple Approach to Distributed Objects in Prolog. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.

  46. A. Pineda, F. Bueno. The O'Ciao Approach to Object Oriented Logic Programming (also available in ps). Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.

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

  48. J. Correas, F. Bueno. A Configuration Framework to Develop and Deploy Distributed Logic Applications (also available in ps). ICLP01 Colloquium on Implementation of Constraint and LOgic Programming Systems, 15 pages, November 2001.

  49. S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo. Efficient Implementation of General Negation Using Abstract Interpretation. Proc. of the AGP'2000 Joint Conference on Declarative Programming, 15 pages, Italian Association for Logic Programming, December 2000.

  50. D. Cabeza, M. V. Hermenegildo. The Ciao Module System: A New Module System for Prolog. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 3, Elsevier - North Holland, March 2000.

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

  52. I. de Castro Dutra, V. Santos Costa, G. Gupta, E. Pontelli, M. Carro, P. Kacsuk (editors). Parallelism and Implementation Technology for (Constraint) Logic Programming. Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, Elsevier - North Holland, March 2000.

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

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

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

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

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

  58. 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 http://www.cliplab.org/.

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

  60. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel Concurrent Constraint System. Proc. of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming, U. of Oregon, March 1994.

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


Technical Reports and Manuals:

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

  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. Num. CLIP-1/2021.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, May 2021.

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

  4. I. Casso, J. F. Morales, P. Lopez-Garcia, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Num. CLIP-2/2019.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, July 2019.

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

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

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

  8. Guillermo Vigueras, Salvador Tamarit, Manuel Carro, Julio Mariño. Towards a Rule-Based Approach to Generate High-Performance Scientific Code. Num. CLIP1/2015.0, 8 pages, The CLIP Lab, March 2015. http://cliplab.org/papers/vigueras15-rule-based.pdf.

  9. R. Haemmerlé. On the Confluence of the Analytical Semantics of CHR. Num. CLIP2/2014.0, 12 pages, Technical University of Madrid (UPM), July 2014.

  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. R. Haemmerlé. Toward Observational Equivalences for Linear Logic Concurrent Constraint Languages. Num. CLIP5/2011.0, 32 pages, Technical University of Madrid (UPM), May 2011.

  12. R. Haemmerlé. Towards a Logically Complete Fixpoint Semantics for Constraint Handling Rules. Num. CLIP3/2011.0, 31 pages, Technical University of Madrid (UPM), March 2011.

  13. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. A Simulation Study on Parallel Backtracking with Solution Memoing for Independent And-Parallelism. Num. CLIP1/2011.0, 12 pages, Technical University of Madrid (UPM), January 2011.

  14. J.F. Morales, M. V. Hermenegildo, R. Haemmerlé. Towards Modular Extensions for a Modular Language. Num. CLIP2/2011.0, 15 pages, Technical University of Madrid (UPM), January 2011.

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

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

  17. J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.

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

  19. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Bridge Program Transformation for the CCall Tabling Scheme. Num. CLIP6/2008.0, Technical University of Madrid (UPM), September 2008.

  20. A. Casas, M. Carro, M. V. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. Num. TR-CS-2008-10, University of New Mexico (UNM), September 2008.

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

  22. A. Casas, M. Carro, M. V. Hermenegildo. Automatic Unrestricted Independent And-Parallelism in Logic Programs. Num. CLIP11/2007.0, Technical University of Madrid (UPM), December 2007. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

  23. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism. Num. TR-CS-2007-16, University of New Mexico (UNM), October 2007.

  24. A. Casas, M. Carro, M. V. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. TR-CS-2007-14, University of New Mexico (UNM), September 2007.

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

  26. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. An Improved Continuation Call-Based Implementation of Tabling. Num. CLIP9/2007.0, Technical University of Madrid (UPM), August 2007.

  27. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism. Num. CLIP7/2007.0, Technical University of Madrid (UPM), August 2007.

  28. A. Casas, M. Carro, M. V. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. CLIP5/2007.0, Technical University of Madrid (UPM), June 2007.

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

  30. J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Num. CLIP8/2006.0, 43 pages, Technical University of Madrid (UPM), December 2006.

  31. 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: http://cliplab.org/papers/ciao-philosophy-note-tr.pdf.

  32. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Num. CLIP4/2006.0, 16 pages, Technical University of Madrid, April 2006. Under consideration for publication.

  33. A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. Num. TR-CS-2006-07, 17 pages, University of New Mexico (UNM), 2006.

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

  35. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for (C)LP Systems (and two useful implementations). Num. CLIP3/2003.1(2004), 16 pages, Technical University of Madrid, April 2004. http://cliplab.org/papers/persdb-tr1.pdf.

  36. Pattengale, N. D.. Transactional Semantics. Num. CLIP3/04.0, 24 pages, Technical University of Madrid (UPM), February 2004.

  37. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Model for Persistence in CLP Systems. Num. CLIP3/2003.0, 17 pages, Technical University of Madrid, August 2003. http://cliplab.org/papers/persdb-tr.pdf.

  38. David Trallero Mena. Local and Global Multiattributed Variables. Num. CLIP10/03.0, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2003.

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

  40. F. Bueno, J. Correas. Active Module Service. Num. CLIP4/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  41. M. Carro, M. Hermenegildo. Remote Execution and Mobile Objects in Ciao Prolog. Num. CLIP3/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  42. F. Bueno, M. Hermenegildo, G. Puebla, P. J. Stuckey. Safety for Logic Programs. Num. CLIP1/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

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

  44. J. Correas. A Low-Level Bidirectional Prolog / Java Interface: Design and Prolog API. Num. CLIP1/2000.1, 50 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  45. J. Correas. A Low-Level Bidirectional Prolog / Java Interface: Java API. Num. CLIP2/2000.1, 80 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  46. J. Correas. An Object Oriented Bidirectional Prolog to Java Interface. Num. CLIP3/2000.1, 30 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

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

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

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

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

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

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

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

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

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

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

  57. F. Bueno. The CIAO Multiparadigm Compiler: A User's Manual. Num. CLIP8/95.0, Facultad de Informática, UPM, June 1995.

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

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

next up previous Clip_button.gif
Next: Publications in Concurrency, Dynamic Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Program Execution
Last updated on Mon Apr 15 06:11:09 PM CEST 2024
Contents
Institutional links