TY  - RPRT
TI  - Incremental and Modular Context-sensitive Analysis
AU  - Isabel Garcia-Contreras
AU  - Jose F. Morales
AU  - Manuel V. Hermenegildo
PY  - 2020
DO  - 10.1017/s1471068420000496
UR  - https://arxiv.org/abs/1804.01839
ID  - 1804.01839
ER  -