Isabel Garcia-Contreras
Isabel Garcia-Contreras
IMDEA Software Institute, Universidad Politecnica de Madrid
Dirección de correo verificada de imdea.org
Título
Citado por
Citado por
Año
Semantic code browsing
I Garcia-Contreras, JF Morales, MV Hermenegildo
Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016
82016
Multivariant Assertion-Based Guidance in Abstract Interpretation
I Garcia-Contreras, JF Morales, MV Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
42018
Towards Incremental and Modular Context-Sensitive Analysis
I Garcia-Contreras, JF Morales, MV Hermenegildo
Technical Communications of the 34th International Conference on Logic …, 2018
42018
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
22019
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
12019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–11