@TechReport{hanne_et_al:DagSemRep.236, author = {Hanne, Riis Nielson and Sagiv, Mooly}, title = {{Program Analysis (Dagstuhl Seminar 99151)}}, pages = {1--31}, ISSN = {1619-0203}, year = {1999}, type = {Dagstuhl Seminar Report}, number = {236}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.236}, URN = {urn:nbn:de:0030-drops-151221}, doi = {10.4230/DagSemRep.236}, }