> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: A demand-driven solver for constraint-based control flow analysis Beteiligte: Probst, Christian W. [VerfasserIn] Erschienen: 2002 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Objektorientierte Programmiersprache ; Kontrollflussdiagramm ; Formale Semantik ; Korrektheit ; Constraint-Programmierung ; Graph ; Hochschulschrift Entstehung: Hochschulschrift: Saarbrücken, Univ., Diss., 2002 Anmerkungen: Zugangsstatus: Freier Zugang