| ||||||||||||||||||||
Vorlesung: Theorie der Programmiersprachen
Lehrbeauftragter: Prof. Dr.-Ing. habil G. RiedewaldInhaltsangabe: Bekanntmachung mit dem Aufbau und der vollständigen formalisierten Definition von Programmiersprachen als Voraussetzung zur Ableitung von Spracheigenschaften und zur Erstellung von Werkzeugen zur Generierung von Übersetzerbausteinen, konkrete und abstrakte Syntax und deren Beschreibungsmittel, mathematische Methoden der Semantikdefinition, formalisierte Semantikdefinitionen als Grundlage für Prototypinterpreter/-compiler, Mittel zur vollständigen Sprachbeschreibung als Voraussetzung für compilererzeugende Systeme (VDL, Zweistufengrammatiken, attributierte Grammatiken)
Zuhörerkreis: Studenten des 4. Fachsemesters Informatik und Interessenten
Voraussetzungen: Theorie formaler Sprachen, spezielle Kenntnisse in mindestens einer konkreten Programmiersprache
Organisation:
Umfang: 2 SWS Vorlesung, 1 SWS Übung
Zeiten:
Ort:
Abschluß: Bestandteil der Prüfung Theoretische Informatik
Materialien:
Literatur:
Skripte:
Übungen: