Statische Programmanalyse: Dataflow Analysis 1 (Do, 20.10.2016)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

Introduction
Available Expressions Analysis
Live Variables Analysis

Kapitel:

00:05:26
Dataflow Analysis: The Approach
00:10:41
Labelled Programs
00:13:31
Control Flow
00:22:00
example
00:27:56
Available Expression Analysis
00:36:23
Formalizing AEA
00:43:20
Equation System
00:58:20
Live Variables Analysis
01:04:44
Formalizing LVA