COSTOC Lektionen: Formale Modelle der syntaxspezifischen Semantik
(10 Lektionen, verfasst von H. Vogler)
Diese Vorlesung präsentiert in systematischer und schlüssiger Form, Methoden um die
Bedeutung von syntaktischen Objekten, unter Verwendung verschiedener struktureller
Gesetze, zu beschreiben. Die Vorlesung stellt eine Einführung in diese Thematik dar
und betrachtet zwei verschiedene Formalisierungsmodelle genauer. Erklärungen werden
durch Schritt für Schritt durch Graphiken veranschaulicht. Die Vorlesung beginnt mit
einem Rückblick über die wichtigsten Konzepte der Programmiersprachen, behandelt die
drei wichtigsten Techniken um Semantik zu spezifizieren. (z.B.: operational, denotational
und axiomatic Semantik), entwickelt einige Werkzeuge mit Formalen Sprachen, um sich dann
(ab der fünften Lektion) auf die syntaxspezifische Semantik, einschließlich attribute
grammar und tree transducers, zu konzentrieren. Die letzte Lektion ist einem umfassenden
Beispiel gewidmet (scope analysis). Diese Vorlesung ist in sich abgeschlossen, setzt aber
ein gewisses Niveau voraus. Sie ist eine passende Ergänzung zu einer Vorlesung aus Semantik
und Compilerbau.
Ein abstraktes Modell eines Computers dient als Basis für eine Erklärung
der operational semantics, in der Vorlesung Formale Modelle der Syntaxspezifischen
Semantik. |
;)