Isabel Garcia-Contreras
Isabel Garcia-Contreras
IMDEA Software Institute, Universidad Politecnica de Madrid
Verified email at imdea.org
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–11