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

CLIP Group's Publications in 2023


Books and Monographs:

  1. M.V. Hermenegildo, J.F. Morales. Static Analysis - 30th. International Symposium. LNCS, Num. 14284, 566 pages, Springer, October 2023.

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

  3. Ferreiro de Aguiar, Daniela. A System for generating interactive tutorials for CiaoPP. Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf, E-28660, Boadilla del Monte, Madrid, Spain, 57 pages, February 2023. MSc Thesis.


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

  3. Morales, J.F., Abreu, Salvador, Ferreiro, D., Hermenegildo, M.V.. Teaching Prolog with Active Logic Documents. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 171-183, Springer, July 2023.

  4. Hermenegildo, M.V., Morales, J.F., Lopez-Garcia, P.. Some Thoughts on How to Teach Prolog. Prolog - The Next 50 Years, LNCS, Num. 13900, pages 107-123, Springer, July 2023.


Publications in Refereed Workshops:

  1. M. Klemen, M.Á. Carreira-Perpiñán, P. Lopez-Garcia. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 155-168, Open Publishing Association (OPA), July 2023.

  2. D. Jurjo, J. F. Morales, P. Lopez-Garcia, M.V. Hermenegildo. Towards a rule-based approach for deriving abstract domains. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 55-58, Open Publishing Association (OPA), July 2023. (Extended Abstract).

  3. Ferreiro, D., Morales, J.F., Abreu, S., Hermenegildo, M.V.. Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. Technical Communications of the 39th International Conference on Logic Programming (ICLP 2023), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 385, pages 324-330, Open Publishing Association (OPA), July 2023.


Technical Reports and Manuals:

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

  2. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Reference Manual (V1.22). April 2023. Available at http://ciao-lang.org.


next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear
Last updated on Tue Nov 21 06:57:36 PM CET 2023