Diploma Thesis DIP-2212

BibliographyMüller, Markus: Kontrollflussanalyse objektorientierter Programme.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2212 (2005).
107 pages, german.
CR-SchemaF.3.2 (Semantics of Programming Languages)
F.3.3 (Studies of Program Constructs)
Keywordsbauhaus; Kontrollfluss; Kontrollabhängigkeit; Exception Handling; IML
Abstract

The bauhaus project supports the software engineer in analyzing, understanding and improving the software with various analysis on the intermediate language IML. Many existing analysis rely on the control flow and the control dependency. This paper describes how the existing algorithms can be adapted to deal with exception handling and other features of object oriented programming languages.

Full text and
other links
PDF (967265 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
CopyrightMarkus Müller, 2005
ContactMarkus Müller MarkusMueller@web.de
Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Project(s)bauhaus
Entry dateJanuary 14, 2005
   Publ. Computer Science