Benutzer: Gast  Login
Originaltitel:
Strategieverbesserungsalgorithmen für exakte Programmanalysen 
Übersetzter Titel:
Strategieverbesserungsalgorithmen für exakte Programmanalysen 
Jahr:
2009 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Univ.-Prof. Dr. Helmut Seidl 
Sprache:
de 
Fachgebiet:
NAT Naturwissenschaften (allgemein) 
Kurzfassung:
In dieser Arbeit werden praktisch anwendbare Algorithmen zur Berechnung kleinster Lösungen von im Kontext der statischen Programmanalyse auftretenden Ungleichungssysteme vorgestellt. Im Gegensatz zu den gängigen auf Widening/Narrowing-Techniken basierenden Verfahren werden kleinste Lösungen genau und nicht lediglich näherungsweise bestimmt. Darüber hinaus werden Algorithmen zum Lösen geschachtelter Fixpunkt-Gleichungssysteme über den reellen Zahlen vorgestellt und gezeigt, wie diese zur Berechnu...    »
 
Übersetzte Kurzfassung:
In dieser Arbeit werden praktisch anwendbare Algorithmen zur Berechnung kleinster Lösungen von im Kontext der statischen Programmanalyse auftretenden Ungleichungssysteme vorgestellt. Im Gegensatz zu den gängigen auf Widening/Narrowing-Techniken basierenden Verfahren werden kleinste Lösungen genau und nicht lediglich näherungsweise bestimmt. Darüber hinaus werden Algorithmen zum Lösen geschachtelter Fixpunkt-Gleichungssysteme über den reellen Zahlen vorgestellt und gezeigt, wie diese zur Berechnu...    »
 
Letzte Änderung:
07.04.2009