User: Guest  Login
Original title:
Interprocedural Program Analysis 
Original subtitle:
Herbrand Equalities and Local Solvers 
Translated title:
Interprozedurale Programmanalyse 
Translated subtitle:
Herbrand-Gleichungen und bedarfsgetriebene Gleichungslöser 
Year:
2018 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Seidl, Helmut (Prof. Dr.) 
Referee:
Seidl, Helmut (Prof. Dr.); Müller-Olm, Markus (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
TUM classification:
DAT 500d 
Abstract:
In the first part of this thesis we concentrate on pure syntactical relations between program variables and introduce a novel analysis in order to compute all interprocedural valid Herbrand equalities for programs where right-hand sides contain at most one program variable (which can occur several times). In the second part of this thesis we perform interprocedural program analysis by means of partial tabulation of procedure summaries. 
Translated abstract:
Im ersten Teil dieser Thesis konzentrieren wir uns auf rein syntaktische Relationen zwischen Programmvariablen und führen eine neue Analyse ein, um alle interprozedural gültigen Herbrand-Gleichungen für Programme zu berechnen, bei denen rechte Seiten von Zuweisungen höchstens eine Programmvariable enthalten (die mehrmals vorkommen kann). Im zweiten Teil dieser Arbeit führen wir eine interprozedurale Programmanalyse basierend auf partieller Tabellierung von Prozedurzusammenfassungen durch. 
Oral examination:
01.02.2018 
File size:
744784 bytes 
Pages:
135 
Last change:
06.03.2018