Media type: E-Book; Thesis Title: A demand-driven solver for constraint-based control flow analysis Contributor: Probst, Christian W. [Author] imprint: 2002 Extent: Online-Ressource Language: English Identifier: Keywords: Objektorientierte Programmiersprache ; Kontrollflussdiagramm ; Formale Semantik ; Korrektheit ; Constraint-Programmierung ; Graph ; Hochschulschrift Origination: University thesis: Saarbrücken, Univ., Diss., 2002 Footnote: Access State: Open Access