Foundations of Certified Programming Language and Compiler Design
- Alias
- INF-DSE-20-E-CPLCD
- Credits
- 6
- Starting semester
- Winter semester
- Responsible
- Castrillón-Mazo, Jerónimo Prof. Dr. <jeronimo.castrillon@tu-dresden.de>
- Organisation
- Chair of Compiler Construction
- Languages
- English
- Status
- Active
- Module description
- Deutsch · English
Degree programs
- Master's Program in Distributed Systems Engineering (2020)