"Binary Reachability Analysis of Higher Order Functional Programs."

Ruslán Ledesma-Garza, Andrey Rybalchenko (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics