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

CLIP Group's Publications in 2020


Articles in Refereed Conferences:

  1. 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, pages 57-72, Springer-Verlag, April 2020.

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


Books and Monographs:

  1. Manuel V. Hermenegildo, Pedro Lopez-Garcia, Alberto Pettorossi, Maurizio Proietti (Eds.). Fundamenta Informaticae, Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Vol. 177, Num. 3-4, IOS Press, December 2020.

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


Invited Papers and Tutorials:

  1. Manuel V. Hermenegildo, Pedro Lopez-Garcia, Alberto Pettorossi, Maurizio Proietti. Preface, Fundamenta Informaticae, Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016. Vol. 177, Num. 3-4, pages 1-3, IOS Press, December 2020.

  2. V. Perez-Carrasco, M. Klemen, P. Lopez-Garcia, J.F. Morales, M. V. Hermenegildo. Cost Analysis of Smart Contracts via Parametric Resource Analysis. Proceedings of the 27th Static Analysis Symposium (SAS 2020), LNCS, Vol. 12389, pages 7-31, Springer, November 2020. Keynote at SAS'2022. Video available at https://conf.researchr.org/details/sas-2020/sas-2020-papers/3/Cost-Analysis-of-Smart-Contracts-via-Parametric-Resource-AnalysisSPLASH site.

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


Publications in Refereed Workshops:

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

  2. Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta. Justifications for Goal-Directed Constraint Answer Set Programming. Proceedings 36th International Conference on Logic Programming (Technical Communications), EPTCS, Vol. 325, pages 59-72, Open Publishing Association, 2020.


Technical Reports and Manuals:

  1. Joaquín Arias, Manuel Carro. A Theoretical Study of (Full) Tabled Constraint Logic Programming. Num. 2009.14430 [cs.LO], arXiv, September 2020.

  2. F. Bueno, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, J.F. Morales (Eds.). The Ciao System. Ref. Manual (V1.19). March 2020. Available at https://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: CLIP Group's Publications in
Last updated on Thu Dec 12 10:26:37 AM CET 2024
Contents
Institutional links