Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 18/19 login

Wintersemester 18/19



Vorlesungen
Programming Languages
Dozent:Prof. Dr. Helmut Seidl, Dr. Michael Petter
Ort/Zeit:
ModulNummer:IN2113
Beschreibung:    We are discussing various advanced programming paradigms illustrated by a number of real programming languages such as e.g. Smalltalk, Java, C/C++ and others.
Functional Programming and Verification
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Friday, 08:15 - 09:45 / MW 0001 Gustav-Niemann-Hörsaal
ModulNummer:IN0003
Beschreibung:    This lecture introduces the basic concepts of functional programming by the example of the OCaml language. Furthermore, techniques to prove properties of imperative and functional programs are taught.
Praktika
Practical Course - Program Optimization with LLVM
Dozent:Dr. Michael Petter
Ort/Zeit:as a block course
ModulNummer:IN2106, IN0012
Beschreibung:    We integrate an own optimization pass into LLVM's opt tool.
Seminare
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 6 ms