Lectures
(Tentative) Schedule 2019-2020
Q1
- Thu Sep 5, 10:45-12:30, EWI Boole: What is a compiler?
- Fri Sep 6, 13:45-15:30, EWI Pi: Syntax Definition
- Thu Sep 12, 10:45-12:30, EWI Boole: Parsing
- Thu Sep 19, 17:45-19:30, EWI Boole: Syntactic (Editor) Services
- Thu Sep 26, 10:45-12:30, EWI Boole: Transformation
- Thu Oct 3, 10:45-12:30, EWI Boole: Introduction to Static Analysis
- Thu Oct 10, 10:45-12:30, EWI Boole: Type System Specification with Statix
- Thu Oct 17, 10:45-12:30, EWI Boole: Type Constraints
- Thu Oct 24, 10:45-12:30, EWI Boole: no lecture
- Thu Oct 31, 13:30-16:30, IO-PC hall 2 (CTRL): Exam Q1
Q2
- Wed Nov 13, 15:45-17:30, EWI Boole: Data-flow Analysis
- Wed Nov 20, 15:45-17:30, EWI Boole: Monotone Frameworks
- Wed Nov 27, 15:45-17:30, EWI Boole: Virtual Machines
- Wed Dec 4, 15:45-17:30, EWI Boole: Code Generation
- Wed Dec 11, 15:45-17:30, EWI Boole: canceled
- Wed Dec 18, 15:45-17:30, EWI Boole: Memory Management
- Wed Jan 8, 15:45-17:30, EWI Boole: Guest Lecture Guido Wachsmuth
- Wed Jan 15, 15:45-17:30, EWI Boole: Beyond Compiler Construction
- Fri Jan 31, 13:30-16:30, IO-PC hall 3 (SHIFT): Exam Q2