Login
- Original title:
- Interprocedural Polynomial Invariants
- Translated title:
- Polynominvarianten in Programmen mit Prozeduraufrufen
- Author:
- Petter, Michael
- Year:
- 2010
- Document type:
- Dissertation
- Faculty/School:
- Fakultät für Informatik
- Advisor:
- Seidl, Helmut Prof. Dr.
- Language:
- en
- Subject group:
- DAT Datenverarbeitung, Informatik
- TUM classification:
- DAT 330d
- Abstract:
- 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.
- Translated abstract:
- 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
- Controlled terms:
- Statische Analyse ; Algebraische Gleichung
- Last change:
- 20.02.2014
BibTeX