User: Guest  Login
Original title:
Interprocedural Polynomial Invariants 
Translated title:
Polynominvarianten in Programmen mit Prozeduraufrufen 
Year:
2010 
Document type:
Dissertation 
Institution:
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. 
Controlled terms:
Statische Analyse ; Algebraische Gleichung 
Last change:
20.02.2014