Bibliography | Wü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-Schema | D.3.4 (Programming Languages Processors)
|
Keywords | Zwischendarstellung; 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 date | February 3, 1997 |
---|