Diploma Thesis DIP-2323

BibliographyKeul, Steffen: Generierung der Zwischendarstellung IML für Ada95 Programme.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2323 (2005).
110 pages, german.
CR-SchemaD.3.4 (Programming Languages Processors)
KeywordsIML; ASIS; Ada; Bauhaus; Zwischendarstellung
Abstract

Im Rahmen des Projekts Bauhaus werden Werkzeuge entwickelt, die die Wartung großer Software-Systeme vereinfachen. Dazu wird ein Software-System zunächst in eine Interndarstellung, die InterMediate Language (IML), übersetzt. Auf der IML werden dann von den Bauhaus-Werkzeugen detaillierte Analysen durchgeführt.

IML ist eine graphbasierte, detaillierte aber trotzdem Quelltext-unabhängige Interndarstellung. Übersetzer für C, C++ und Java existieren bereits. In dieser Diplomarbeit wird ein Übersetzer von Ada95 nach IML entworfen und für eine Teilmenge von Ada95 implementiert. Als Frontend des Übersetzers wird ein beliebiger Ada-Compiler verwendet, der die Ada Semantic Interface Specification (ASIS) unterstützt. Die vorliegende Ausarbeitung dokumentiert die notwendige Erweiterung von IML und erläutert die Architektur des Übersetzers.

Full text and
other links
PDF (1365106 Bytes)
PostScript (2447051 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
CopyrightSteffen Keul, 2005
ContactSteffen Keul steffen.keul@gmx.net
Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Project(s)Bauhaus
Entry dateNovember 14, 2005
   Publ. Computer Science