Diploma Thesis DIP-2200

BibliographyNeinert, Sascha: Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 2200 (2004).
45 pages, german.
CR-SchemaD.3.3 (Programming Language Constructs and Features)
D.3.4 (Programming Languages Processors)
Abstract

Die vorliegende Diplomarbeit befasst sich mit der Aufgabe, statische Abhängigkeiten aus Ada95-Programmen zu extrahieren. Verwendet wird hierzu die Ada Semantic Interface Specification (ASIS). Mit Hilfe der extrahierten Informationen wird ein Ressource Flow Graph (RFG) generiert. Dieser enthält globale Konstrukte (Variablen, Unterprogramme, Typen) und ihre Beziehungen zueinander. Die Arbeit fand statt im Rahmen des Bauhaus-Projektes (http://www.informatik.uni-stuttgart.de/iste/ps/bauhaus/index.html).

Full text and
other links
PDF (503097 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Project(s)Bauhaus
Entry dateDecember 13, 2004
   Publ. Computer Science