Semantic code browsing I Garcia-Contreras, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016 | 8 | 2016 |
Multivariant Assertion-Based Guidance in Abstract Interpretation I Garcia-Contreras, JF Morales, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2018 | 4 | 2018 |
Towards Incremental and Modular Context-Sensitive Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Communications of the 34th International Conference on Logic …, 2018 | 4 | 2018 |
Abstract extensionality: on the properties of incomplete abstract interpretations R Bruni, R Giacobazzi, R Gori, I Garcia-Contreras, D Pavlovic Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 2 | 2019 |
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs I Garcia-Contreras, JF Morales, MV Hermenegildo Technical Report CLIP, 2018 | 2* | 2018 |
Incremental Analysis of Logic Programs with Assertions and Open Predicates I Garcia-Contreras, JF Morales, MV Hermenegildo International Symposium on Logic-Based Program Synthesis and Transformation …, 2019 | 1 | 2019 |
An Approach to Incremental and Modular Context-sensitive Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo Tech. Rep. 1804.01839 (v4), arXiv (July 2019), 0 | 1 | |
Incrementalizing Context-sensitive Analyses for Modularized Programs I Garcia-Contreras, JF Morales, MV Hermenegildo arXiv preprint arXiv:1804.01839, 2018 | | 2018 |
Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP I Garcia-Contreras, JF Morales, MV Hermenegildo Pre-proceedings for TAPAS 2019, 0 | | |
Code. Analyze. Repeat. Incremental and Modular Static Program Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo | | |
Ingenieros Informáticos I Garcia-Contreras | | |