Media type: Electronic Conference Proceeding; E-Article; Text Title: Towards Incremental and Modular Context-Sensitive Analysis Contributor: Garcia-Contreras, Isabel [Author]; Morales, José F. [Author]; Hermenegildo, Manuel V. [Author] imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018 Language: English DOI: https://doi.org/10.4230/OASIcs.ICLP.2018.7 Keywords: Modular Analysis ; Program Analysis ; (Constraint) Logic Programming ; Abstract Interpretation ; Fixpoint Algorithms ; Incremental Analysis Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Description: This is an extended abstract of [I. Garcia-Contreras et al., 2018]. Access State: Open Access