Summer Term 2025 Compiler Construction Memory Management (Proseminar) Programmiersprachen 1 Softwarequalität in Theorie und Industrieller Praxis