Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Studienarbeiten login

Studienarbeiten



Bachelorarbeiten
Programmanalyses with Goblint
Dozent:Dr. Michael Petter und Ralf Vogler
Ort/Zeit:t.b.a.
ModulNummer:IN0020
Beschreibung:    Im Rahmen dieser Bachelorarbeit sollen Verbesserungen am Goblint System implementiert werden
Masterarbeiten
Goblint
Dozent:Ralf Vogler
Ort/Zeit:t.b.a.
ModulNummer:IN2108
Beschreibung:    tags: program analysis, static analysis, abstract interpretation, functional programming, OCaml
Hiwijobs
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 9 ms