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


Programming Languages
Dozent:Dr. Michael Petter
Ort/Zeit:Wednesdays, 14:05 - 15:35 , Lecture Hall 2
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 2001 Rudolf-Diesel-Hörsaal
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.
Program Optimization
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Wednesdays & Thursdays 10:00 - 12:00 , 00.13.009A
Beschreibung:    This course is about standard techniques used to optimize general purpose programming languages. How to avoid redundant computation, replace expensive computations with cheaper ones, and/or exploit hardware.
Language based Security
Dozent:Prof. Dr. Stefan Brunthaler
Ort/Zeit:Thursdays 10:00-12:00 in MI 02.07.034
Beschreibung:    In this course we look at attacks and defenses exploiting the runtime organization of programs.
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 10 ms