"An Application of Abstract Interpretation in Source Level Program ..."

Danny De Schreye, Maurice Bruynooghe (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics