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

CLIP Group's Publications in 2018


Articles in Second-Level Refereed Conferences and Journals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Exploiting Term Hiding to Reduce Run-time Checking Overhead. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), LNCS, 16 pages, Springer-Verlag, January 2018. (To appear).

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.



Last updated on Fri Dec 1 13:15:21 CET 2017