Interprocedural Program Analysis: Herbrand Equalities and Local Solvers

Schulze Frielinghaus, Stefan

User: Guest

Stefan Schulze Frielinghaus

If you experience problems opening the document, please try this link.

Original title:: Interprocedural Program Analysis
Original subtitle:: Herbrand Equalities and Local Solvers
Translated title:: Interprozedurale Programmanalyse
Translated subtitle:: Herbrand-Gleichungen und bedarfsgetriebene Gleichungslöser
Author:: Schulze Frielinghaus, Stefan
Year:: 2018
Document type:: Dissertation
Faculty/School:: 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.
WWW:: https://mediatum.ub.tum.de/?id=1370908
Date of submission:: 25.07.2017
Oral examination:: 01.02.2018
File size:: 744784 bytes
Pages:: 135
Urn (citeable URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20180201-1370908-1-5
Last change:: 06.03.2018
BibTeX