Media type: Book Title: Towards a tool kit for the automatic generation of interprocedural data flow analyses Contributor: Knoop, Jens [Author]; Rüthing, Oliver [Author]; Steffen, Bernhard [Author] Published: Kiel: Inst. für Informatik und Praktische Mathematik, 1996 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9615 Extent: 42 S.; graph. Darst Language: English Origination: Footnote: