🚀 go-pugleaf

In diesem Semester bieten wir f�r Studenten im Hauptstudium ein Seminar
zur statischen Analyse von Programmen an. Statische Analysen werden
eingesetzt, um zur �bersetzungszeit Informationen �ber ein Programm zu
erhalten. Diese Informationen dienen im allgemeinen der Optimierung von
Laufzeit und Speicherplatzbedarf oder der Fr�herkennung von semantischen
Programmierfehlern. Am Beispiel von funktionalen, imperativen und
objektorientierten Programmiersprachen wollen wir unterschiedliche
Techniken der statischen Analyse
betrachten und sehen, wie sie in die Konstruktion moderner Compiler
eingebettet sind.

Da zur Er�ffnungsveranstaltung nur sehr wenige Teilnehmer kamen, laden wir
hiermit alle interessierten nochmals ein. Das n�chste Treffen findet am
Donnerstag, dem 23.4. um 10.15 Uhr im Raum 039 statt.

Folgende Themen sind geplant:

Typkorrektheit
    - Attributgrammatiken und Typ�berpr�fung bei imperativen Sprachen
    - Unifikation und Typinferenz bei funktionalen Sprachen
    - Typinferenz bei objektorientierten Sprachen zur Optimierung von
Methodenaufrufen

Datenflu�analyse
    - bei imperativen Sprachen etwa zur Register- oder Stackallokation etc.
    - bei funktionalen Sprachen zur Laufzeitoptimierung

Optimierung der Auswertungsreihenfolge
    - bei imperativen Sprachen: Ermittlung impliziter Parallelit�t durch
Datenflu�analyse
    - bei funktionalen Sprachen: durch Striktheitsanalyse

Zur Diskussion stehende weitere Themen:
    - Verifikation von const-Deklarationen in C++
    - Constraintermittlung im Javacompiler und ihre Verifikation in der
Java-Bytecode-Maschine

Viele Gr��e
Matthias Horn, Dirk Pape

P.S.: Weitere Informationen sind unter
http://www.inf.fu-berlin.de/lehre/SS98/statana/ zu finden.