Media type: E-Book Title: Interprocedural Program Analysis : Herbrand Equalities and Local Solvers Other titles: Interprozedurale Programmanalyse Contributor: Schulze Frielinghaus, Stefan [Verfasser]; Seidl, Helmut [Akademischer Betreuer]; Müller-Olm, Markus [Gutachter]; Seidl, Helmut [Gutachter] imprint: München: Universitätsbibliothek der TU München, 2018 Extent: Online-Ressource Language: English Identifier: Keywords: DAT Datenverarbeitung, Informatik Origination: University thesis: Dissertation, München, Technische Universität München, 2018 Footnote: Access State: Open Access