Towards Incremental and Modular Context-Sensitive Analysis.
Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo
VenueBICLP
Year2018
ProceedingsICLP (Technical Communications)
DBLP recordconf/iclp/Garcia-Contreras18 ↗
Browse the full ICLP paper archive.