Towards Incremental and Modular Context-Sensitive Analysis

Authors Isabel Garcia-Contreras , José F. Morales , Manuel V. Hermenegildo



PDF
Thumbnail PDF

File

OASIcs.ICLP.2018.7.pdf
  • Filesize: 210 kB
  • 2 pages

Document Identifiers

Author Details

Isabel Garcia-Contreras
  • IMDEA Software Institute, Pozuelo de Alarcón, Madrid, Spain and , Universidad Politécnica de Madrid (UPM)
José F. Morales
  • IMDEA Software Institute, Pozuelo de Alarcón, Madrid, Spain
Manuel V. Hermenegildo
  • IMDEA Software Institute, Pozuelo de Alarcón, Madrid, Spain and , Universidad Politécnica de Madrid (UPM)

Cite AsGet BibTex

Isabel Garcia-Contreras, José F. Morales, and Manuel V. Hermenegildo. Towards Incremental and Modular Context-Sensitive Analysis. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 7:1-7:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/OASIcs.ICLP.2018.7

Abstract

This is an extended abstract of [I. Garcia-Contreras et al., 2018].

Subject Classification

ACM Subject Classification
  • Theory of computation → Invariants
  • Theory of computation → Pre- and post-conditions
  • Theory of computation → Program analysis
  • Theory of computation → Program semantics
  • Theory of computation → Abstraction
Keywords
  • Program Analysis
  • (Constraint) Logic Programming
  • Abstract Interpretation
  • Fixpoint Algorithms
  • Incremental Analysis
  • Modular Analysis

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. I. Garcia-Contreras, J. F. Morales, and M. V. Hermenegildo. An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. Technical Report CLIP-2/2018.0, The CLIP Lab, April 2018. URL: https://arxiv.org/abs/1804.01839.
  2. M.V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, and G. Puebla. An Overview of Ciao and its Design Philosophy. TPLP, 12(1-2):219-252, 2012. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail