Items where author is "García Contreras, Isabel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

García Contreras, Isabel and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2016). Semantic code browsing. "Theory and Practice of Logic Programming", v. 16 (n. 5-6); pp. 721-737. ISSN 1471-0684. https://doi.org/10.1017/S1471068416000417.

Monograph

García Contreras, Isabel and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). An approach to incremental and modular context-sensitive analysis. Monografía (Technical Report). E.T.S. de Ingenieros Informáticos (UPM), Madrid, España.

Presentation at Congress or Conference

García Contreras, Isabel and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2019). Incremental analysis of logic programs with assertions and open predicates. In: "29th International Symposium on Logic-Based Program Synthesis and Transformation ( LOPSTR 2019)", 8-10 Oct 2019, Oporto, Portugal. ISBN 978-3-030-45259-9. pp. 36-56. https://doi.org/10.1007/978-3-030-45260-5_3.

García Contreras, Isabel and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Towards incremental and modular context-sensitive analysis. In: "34th International Conference on Logic Programming (ICLP 2018)", 14-17 Jul 2018, Oxford, Reino Unido. ISBN 978-3-95977-090-3. pp. 1-2. https://doi.org/10.4230/OASIcs.ICLP.2018.7.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM