Tilbage til artikeldetaljer A Denotational Framework for Data Flow Analysis Download Download PDF