Towards incremental and modular context-sensitive analysis

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.

Description

Title: Towards incremental and modular context-sensitive analysis
Author/s:
  • García Contreras, Isabel
  • Morales Caballero, José Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 34th International Conference on Logic Programming (ICLP 2018)
Event Dates: 14-17 Jul 2018
Event Location: Oxford, Reino Unido
Title of Book: Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Date: 2018
ISBN: 978-3-95977-090-3
Volume: 64
Subjects:
Freetext Keywords: Program analysis; (Constraint) logic programming; Abstract interpretation; Fixpoint algorithms; Incremental analysis; Modular analysis
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (215kB) | Preview

Abstract

Static program analysis (generally based on computing fixpoints using the technique of abstract interpretation) is widely used for automatically inferring program properties such as correctness, robustness, safety, cost, etc. Performing such analysis interactively during software development allows early detection and reporting of bugs, such as, e.g., assertion violations, back to the programmer. This can be done as the program is being edited by (re-)running the analysis in the background each time a set of changes is made, e.g., when a file is saved, or a commit made in the version control system.

Funding Projects

TypeCodeAcronymLeaderTitle
Government of SpainTIN2015-67522-C3-1-RUnspecifiedFundación IMDEA SoftwareTecnologías y herramientas para el desarrollo de software consciente de los recursos, correcto y eficiente (IMDEA)
Government of SpainM141047003UnspecifiedUniversidad Politécnica de MadridN-GREENS program

More information

Item ID: 55457
DC Identifier: http://oa.upm.es/55457/
OAI Identifier: oai:oa.upm.es:55457
DOI: 10.4230/OASIcs.ICLP.2018.7
Official URL: http://drops.dagstuhl.de/opus/volltexte/2018/9873/pdf/OASIcs-ICLP-2018-7.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 17 Jun 2019 08:10
Last Modified: 17 Jun 2019 08:10
  • 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