Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Interprocedural Program Analysis
Originaluntertitel:
Herbrand Equalities and Local Solvers
Übersetzter Titel:
Interprozedurale Programmanalyse
Übersetzter Untertitel:
Herbrand-Gleichungen und bedarfsgetriebene Gleichungslöser
Autor:
Schulze Frielinghaus, Stefan
Jahr:
2018
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Informatik
Betreuer:
Seidl, Helmut (Prof. Dr.)
Gutachter:
Seidl, Helmut (Prof. Dr.); Müller-Olm, Markus (Prof. Dr.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
TU-Systematik:
DAT 500d
Kurzfassung:
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.
Übersetzte Kurzfassung:
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.
WWW:
https://mediatum.ub.tum.de/?id=1370908
Eingereicht am:
25.07.2017
Mündliche Prüfung:
01.02.2018
Dateigröße:
744784 bytes
Seiten:
135
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20180201-1370908-1-5
Letzte Änderung:
06.03.2018
 BibTeX