Media type: E-Book Title: Improving Analysis and Optimization of Finite-Precision Programs Other titles: Verbesserung der Analyse und Optimierung von Programmen mit Endlicher Genauigkeit Contributor: Isychev, Anastasia [Author]; Seidl, Helmut [Degree supervisor]; Darulova, Eva [Other]; Seidl, Helmut [Other]; Tatlock, Zachary [Other] Published: München: Universitätsbibliothek der TU München, 2023 Extent: Online-Ressource Language: English Identifier: Keywords: Statische Analyse ; Numerische Mathematik ; Zuverlässigkeit ; Gleitkommarechnung ; Eingebettetes System ; Codeoptimierung Origination: University thesis: Dissertation, München, Technische Universität München, 2023 Footnote: Access State: Open Access