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

CLIP Group's Publications in 2021


Articles in Refereed Journals:

  1. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Theory and Practice of Logic Programming, To Appear, Cambridge U. Press, January 2021. arXiv:1804.01839.


Publications in Refereed Workshops:

  1. I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Incremental and Modular Context-sensitive Analysis. Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), March 2021. (talk).



Last updated on Thu 13 May 2021 07:29:17 PM CEST