Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Statische Programmanalyse - Einzelansicht

Veranstaltungsart Vorlesung Veranstaltungsnummer 551711
SWS Semester SoSe 2018
Einrichtung Institut für Informatik und Computational Science   Sprache englisch
Belegungsfristen 03.04.2018 - 10.05.2018

Belegung über PULS
03.04.2018 - 20.05.2018

Belegung über PULS
Gruppe 1:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson fällt aus am Max. Teilnehmer/-innen
Einzeltermine ausblenden
Vorlesung Mo 12:00 bis 14:00 wöchentlich 09.04.2018 bis 16.07.2018  3.04.0.02    
Einzeltermine:
  • 09.04.2018
  • 16.04.2018
  • 23.04.2018
  • 30.04.2018
  • 07.05.2018
  • 14.05.2018
  • 28.05.2018
  • 04.06.2018
  • 11.06.2018
  • 18.06.2018
  • 25.06.2018
  • 02.07.2018
  • 09.07.2018
  • 16.07.2018
Kommentar

This lecture covers the most relevant techniques to analyze programs without actually executing them, from type systems to abstract interpretations. 


Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2018 , Aktuelles Semester: WiSe 2021/22