User: Guest  Login
Original title:
Strategieverbesserungsalgorithmen für exakte Programmanalysen 
Translated title:
Strategieverbesserungsalgorithmen für exakte Programmanalysen 
Year:
2009 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Univ.-Prof. Dr. Helmut Seidl 
Language:
de 
Subject group:
NAT Naturwissenschaften (allgemein) 
Abstract:
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...    »
 
Translated abstract:
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...    »
 
Last change:
07.04.2009