"Control-flow analysis of function calls and returns by abstract ..."

Jan Midtgaard, Thomas P. Jensen (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics