CLIP Group's Publications in 2023
Articles in Refereed Conferences:
- John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro Lopez-Garcia.
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.
Proc. of the 33rd International Symposium on
Logic-Based Program Synthesis and Transformation, LOPSTR 2023,
Lecture Notes in Computer Science,
Vol. 14330,
pages 28-38,
Springer,
October
2023.
- Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
A Rule-Based Approach for Designing and Composing Abstract Domains.
Proc. of the 33rd International Symposium on
Logic-Based Program Synthesis and Transformation, LOPSTR 2023,
Lecture Notes in Computer Science,
Vol. 14330,
pages 80-98,
Springer,
October
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.
Invited Papers and Tutorials:
- 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.
Invited talk at LOPSTR'23 (w/SPLASH'23).
- M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia.
How to Best Teach Prolog.
July
2023.
Invited talk at ICLP Special Session: Teaching Prolog: the Next 50 Years and Prolog Education Group. Video at the LP Education group.
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.
- 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.
- J.F. Morales, S. Abreu, D. Ferreiro, M.V. Hermenegildo.
Teaching Prolog with Active Logic Documents.
Prolog - The Next 50 Years,
LNCS,
Num. 13900,
pages 171-183,
Springer,
July
2023.
- M.V. Hermenegildo, J.F. Morales, P. Lopez-Garcia.
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).
- D. Ferreiro, J.F. Morales, S. Abreu, M.V. Hermenegildo.
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.
See also associated poster at https://cliplab.org/papers/hald-poster-iclp.pdf.
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 https://ciao-lang.org.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Tue Oct 29 12:34:26 PM CET 2024