Student Thesis STUD-1567

BibliographyWürthner, Martin: Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen.
University of Stuttgart, Faculty of Computer Science, Student Thesis No. 1567 (1996).
95 pages, german.
CR-SchemaD.3.4 (Programming Languages Processors)
KeywordsZwischendarstellung; SSA-Form; Programmanalysen
Abstract

In dieser Studienarbeit wird eine graphbasierte Interndarstellung für Ada-Programme vorgestellt, auf der Programmanalysen und Programmtransformationen durchgeführt werden können. Zu den Eigenschaften dieser Darstellung gehört, daß sie effiziente Analysen ermöglicht und gleichzeitig die volle Information des Quellprogrammes erhält. Insbesondere werden höhere Kontrollkonstrukte des Quellprogrammes explizit in der Interndarstellung repräsentiert. Im Rahmen der Studienarbeit wurde die Erzeugung dieser Darstellung für eine Untermenge der Sprache Ada implementiert und an das bestehende Front-End des GNU New York Ada Translators (GNAT) angebunden.

Full text and
other links
PostScript (1982499 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
Department(s)University of Stuttgart, Institute of Computer Science, Programming Languages and Compilers
Entry dateFebruary 3, 1997
   Publ. Computer Science