> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Towards a tool kit for the automatic generation of interprocedural data flow analyses Beteiligte: Knoop, Jens [VerfasserIn]; Rüthing, Oliver [VerfasserIn]; Steffen, Bernhard [VerfasserIn] Erschienen: Kiel: Inst. für Informatik und Praktische Mathematik, 1996 Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9615 Umfang: 42 S.; graph. Darst Sprache: Englisch Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Institut für Informatik und Praktische Mathematik <Kiel>: Bericht