Statische Programmanalyse: Dataflow Analysis 2 (Di, 25.10.2016)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

Order-Theoretic Foundations

Kapitel:

00:17:01
Heading for a Dataflow Analysis Framework
00:24:34
Roadmap: solve dataflow equation system by fixpoint iteration
00:35:05
Domain
00:43:04
Upper Bound
00:46:32
Complete Lattices
00:51:13
Duality
00:53:16
Chains