CLIP Group's Publications in 2020
Articles in Refereed Conferences:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- 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:
- 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.
- 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.
- 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:
- 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.
- 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:
- Joaquín Arias, Manuel Carro.
A Theoretical Study of (Full) Tabled Constraint Logic Programming.
Num. 2009.14430 [cs.LO],
arXiv,
September
2020.
- 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: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Thu Nov 21 03:36:42 PM CET 2024