Daniel Weise Static Analysis of Mega-Programs. 300-302 1999 conf/sas/1999 SAS http://link.springer.de/link/service/series/0558/bibs/1694/16940300.htm db/conf/sas/sas99.html#Weise99