CLIP Group's Publications in 2023
Books and Monographs:
- M.V. Hermenegildo, J.F. Morales.
Static Analysis - 30th. International Symposium.
LNCS,
Num. 14284,
566 pages,
Springer,
October
2023.
- David S. Warren, Veronica Dahl, Thomas Eiter, Manuel Hermenegildo, Robert Kowalski, Francesca Rossi.
Prolog - The Next 50 Years.
LNCS,
Num. 13900,
Springer,
July
2023.
- 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:
- 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.
- 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.
- 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.
- 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:
- 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.
- 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).
- 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:
- 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.
- 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: 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