Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Sommersemester 15 login

Sommersemester 15



Vorlesungen
Compiler Construction I
Dozent:Dr. Michael Petter
Ort/Zeit:Mo, 14:00-15:30 in MI 00.13.009A
ModulNummer:IN2227
Beschreibung:    Introduction to Compilerconstruction - how to translate an imperative language.
Virtual Machines
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Multimedia room, Mo. 10:15-11:45, Tue. 10:15-11:45
ModulNummer:IN2040
Beschreibung:    Virtual Machines and Translation of Programming languages, such as C, Prolog and a functional language.
Grundlagen: Algorithmen und Datenstrukturen
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Di, 13:45-16:15 in MW 0001
ModulNummer:IN0007
Beschreibung:    
Praktika
Lab Course Cobol&Eclipse
Dozent:Dr. Michael Petter
Ort/Zeit:in a block of 20 days
ModulNummer:IN2106 IN0012
Beschreibung:    we will integrate a Cobol Compiler into Eclipse and work on syntactical and semantical analyses on Cobol Code.
Seminare
Tools für die Anwendung formaler Methoden bei der Software-Entwicklung
Dozent:Dr. Michael Petter
Ort/Zeit:tue/wed June 9th/10th en bloque in MI 02.07.034
ModulNummer:IN2107 IN0014
Beschreibung:    We shed light on different tools that assist software development with formal methods
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 5 ms