"Merging equivalent contexts for scalable heap-cloning-based ..."

Guoqing (Harry) Xu, Atanas Rountev (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics