( en | de | ru )

 

Disambiguation of "Garcia-Contreras, Isabel"

Author of the publication

copydeleteadd this publication to your clipboard
Abstract extensionality: on the properties of incomplete abstract interpretations.

, , , , and . Proc. ACM Program. Lang., 4 (POPL): 28:1-28:28 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Helena Isabel Garcia-Huttenlocher

Lautaro Contreras

Jorham Contreras

Luisa García García

Sarahi Garcia Garcia

 

Other publications of authors with the same name

Fast Approximations of Quantifier Elimination., , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 64-86. Springer, (2023)Abstract extensionality: on the properties of incomplete abstract interpretations., , , , and . Proc. ACM Program. Lang., 4 (POPL): 28:1-28:28 (2020)Speculative SAT Modulo SAT., , , and . CoRR, (2023)An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs., , and . CoRR, (2018)A scalable static analysis framework for reliable program development exploiting incrementality and modularity.. Technical University of Madrid, Spain, (2021)Incremental and Modular Context-sensitive Analysis., , and . Theory Pract. Log. Program., 21 (2): 196-243 (2021)Towards Incremental and Modular Context-Sensitive Analysis., , and . ICLP (Technical Communications), volume 64 of OASIcs, page 7:1-7:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Semantic code browsing., , and . Theory Pract. Log. Program., 16 (5-6): 721-737 (2016)Incremental Analysis of Logic Programs with Assertions and Open Predicates., , and . LOPSTR, volume 12042 of Lecture Notes in Computer Science, page 36-56. Springer, (2019)BTOR2MLIR: A Format and Toolchain for Hardware Verification., , and . FMCAD, page 55-63. IEEE, (2023)