Lehrstuhl Informatik II
Sprachen und Beschreibungsstrukturen
Home
Lehre
Studienarbeiten
login
Home
Lehre
aktuelle Semester...
Sommersemester 18
Wintersemester 17/18
Personen
Research
Projects
Events
Jobs/Studienarbeiten
SiteMap
Puma
Impressum & Datenschutz
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