Programmiersprachen und Compilerbau

1. Verständnis für grundlegende Abstraktionen in Programmiersprachen, und die Fähigkeit diese auf neu gelernte Sprachen zu übertragen
2. High-level Features und Konzepte in Programmiersprachen in Low-level Maschinenkonzepte übersetzen und ihre Performance Charakteristiken abwägen
3. Parser für textuelle Formate implementieren
4. Technische Spezifikationen lesen, verstehen, und implementieren (am Beispiel von WebAssembly)
5. Dekomposition komplexer Datentransformationensprobleme in eine Folge von kleineren Transformation

Program Abstraction and Representation (FPL-Syntax/FPL-Abstraction)

• Repräsentation von Programmen als Datentypen
• Konkrete und Abstrakte Syntax Bäume
• Lexikalische Analyse
• Parsen mittels rekursivem Abstieg

Semantic analysis (FPL-Semantics/FPL-Types)

• Name resolution
• Spezifizieren eines Typsystems mittels typing judgements
• Implementieren eines Bidirektionalen Typecheckers

Translation (FPL-Translation/FPL-Code)

• Lowering von High-level Konstrukten
• Typgerichtete Operator Auflösung
• Repräsentation von Structs/Variants/... in linearem Speicher
• Implementieren von Polymorphismus via Monomorphization

WebAssembly as a low-level bytecode (FPL-Systems/FPL-Code)

• Virtuelle Maschinen und ihre Instruktionen (Bytecode)
• Generieren und enkodieren von WebAssembly code

• Vorlesung/Seminar
• Projektarbeit

WebAssembly 1.0 specification: https://webassembly.github.io/multi-value/core/_download/WebAssembly.pdf

Hintergrundwissen (optional):

Types and Programming Languages - Benjamin C. Pierce (ISBN 0-262-16209-1) Modern Compiler Implementation in ML/Java - Andrew W. Appel