Login
- Originaltitel:
- Interprocedural Polynomial Invariants
- Übersetzter Titel:
- Polynominvarianten in Programmen mit Prozeduraufrufen
- Autor:
- Petter, Michael
- Jahr:
- 2010
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- Fakultät für Informatik
- Betreuer:
- Seidl, Helmut Prof. Dr.
- Sprache:
- en
- Fachgebiet:
- DAT Datenverarbeitung, Informatik
- TU-Systematik:
- DAT 330d
- Kurzfassung:
- This thesis describes techniques for static analysis of polynomial equalities in interprocedural programs. It elaborates on approaches for analysing polynomial equalities over different domains as well as techniques to apply polynomial analysis to infer interprocedurally valid equalities of uninterpreted terms.
- Übersetzte Kurzfassung:
- In dieser Arbeit geht es um Techniken der statischen Analyse von polynomiellen Gleichungen in interprozeduralen Programmen. Dabei werden sowohl Ansätze zur Analyse von polynomiellen Gleichungen für verschiedene Wertebereiche als auch Techniken zur Anwendung von Polynomanalysen zur Herleitung von gültigen Gleichungen über uninterpretierten Termen in Programmen mit Prozeduraufrufen thematisiert.
- WWW:
- https://mediatum.ub.tum.de/?id=956851
- Schlagworte:
- Statische Analyse ; Algebraische Gleichung
- Letzte Änderung:
- 20.02.2014
BibTeX