Slides are available in US Letter 4 slides/page
PDF (57,3 Mb)
Abstract:
Abstract interpretation in infinite domains is traditionally by iteration with widening/narrowing.
We show how to use iteration with dual-narrowing. These ideas of the 70's generalize Craig interpolation
from logic to arbitrary abstract domains.
Bibliographic reference:
@inproceedings{Cousot-POPL2015-PC-2014,
author = {Patrick Cousot},
title = {Abstract Interpolation by Dual Narrowing},
booktitle = {POPL'15 PC Workshop, Princeton University},
month = "27--28, " # sep,
year = {2014},
}