Bibliography | Mü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-Schema | F.3.2 (Semantics of Programming Languages) F.3.3 (Studies of Program Constructs)
|
Keywords | bauhaus; 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 |
Copyright | Markus Müller, 2005 |
Contact | Markus Müller MarkusMueller@web.de |
Department(s) | University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
|
Project(s) | bauhaus
|
Entry date | January 14, 2005 |
---|