Benutzer: Gast  Login
Originaltitel:
Interprocedural Polynomial Invariants 
Übersetzter Titel:
Polynominvarianten in Programmen mit Prozeduraufrufen 
Jahr:
2010 
Dokumenttyp:
Dissertation 
Institution:
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. 
Schlagworte:
Statische Analyse ; Algebraische Gleichung 
Letzte Änderung:
20.02.2014