Follow
Isabel Garcia-Contreras
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
132016
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
122019
Incremental and Modular Context-sensitive Analysis
I GARCIA-CONTRERAS, JF MORALES, MV HERMENEGILDO
Theory and Practice of Logic Programming 21 (2), 196-243, 2021
9*2021
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
82019
Multivariant Assertion-Based Guidance in Abstract Interpretation
I Garcia-Contreras, JF Morales, MV Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
72018
Towards Incremental and Modular Context-Sensitive Analysis
I Garcia-Contreras, JF Morales, MV Hermenegildo
Technical Communications of the 34th International Conference on Logic …, 2018
52018
Verifly: On-the-fly Assertion checking via incrementality
MA Sanchez-Ordaz, I Garcia-Contreras, V PEREZ, JF Morales, ...
Theory and Practice of Logic Programming 21 (6), 768-784, 2021
42021
Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP
I Garcia-Contreras, J Morales, MV Hermenegildo
10th Workshop on Tools for Automatic Program Analysis (TAPAS’19), 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
A scalable static analysis framework for reliable program development exploiting incrementality and modularity
I García Contreras
ETSI_Informatica, 2021
2021
Incrementalizing Context-sensitive Analyses for Modularized Programs
I García-Contreras, JF Morales, MV Hermenegildo
arXiv preprint arXiv:1804.01839, 2018
2018
VeriFly: On-the-fly Assertion Checking with CiaoPP (tool presentation)
MA Sanchez-Ordaz, I Garcia-Contreras, V Pérez, JF Morales, ...
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–14