Reinhard Wilhelm Thomas W. Reps Shmuel Sagiv Shape Analysis and Applications. 175-218 2002 The Compiler Design Handbook db/books/collections/CRCcompiler2002.html#WilhelmRS02 ... ... conf/pldi/BodikGS98 conf/pldi/ChaseWZ90 books/sp/cstoday95/ClarkeJ95 conf/ics/CorberaAZ99 conf/popl/CousotC79 conf/paste/DorRS98 conf/sas/DorRS00 conf/pldi/EmamiGH94 ... ... conf/pldi/FahndrichFSA98 journals/toplas/FerranteOW87 conf/pldi/HeintzeT01a conf/pldi/HendrenHN92 conf/pldi/HorwitzPR89 conf/esop/HuthJS01 conf/lcpc/HwangS97 ... conf/popl/KuckKPLW81 conf/pldi/LarusH88 ... conf/issta/Lev-AmiRSW00 conf/sas/Lev-AmiS00 journals/isci/Moller99 ... conf/popl/Nelson83 conf/sde/OttensteinO84 conf/ifip/Reynolds68 conf/esop/RossS98 journals/njc/RossS98 journals/toplas/SagivRW02 journals/toplas/SagivRW98 conf/popl/SagivRW99 journals/acta/SagivFRW98 conf/popl/ShapiroH97 conf/popl/Steensgaard96 books/cs/Ullman89 conf/sas/UngureanuJ00 conf/cc/WilhelmSR00 ... conf/popl/Yahav01 ...