文章基本信息
- 标题：Towards Incremental and Modular Context-Sensitive Analysis
- 本地全文：下载
- 作者：Isabel Garcia-Contreras ; Jos{\'e} F. Morales ; Manuel V. Hermenegildo 等
- 期刊名称：OASIcs : OpenAccess Series in Informatics
- 电子版ISSN：2190-6807
- 出版年度：2018
- 卷号：64
- 页码：1-2
- DOI：10.4230/OASIcs.ICLP.2018.7
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：This is an extended abstract of [I. Garcia-Contreras et al., 2018].
- 关键词：Program Analysis; (Constraint) Logic Programming; Abstract Interpretation; Fixpoint Algorithms; Incremental Analysis; Modular Analysis
