Formale Semantik
Metasprache zur Analyse oder Synthese von Bedeutungen in einer Sprache
Die formale Semantik ist ein Teilgebiet der theoretischen Informatik. Anders als die Semantik, die ein Teil der Sprachwissenschaft ist, arbeitet die formale Semantik mit vollständig mathematischen Methoden, um die Bedeutung von Computerprogrammen und Spezifikationssprachen zu formalisieren.
Die formale Semantik gliedert sich in
- denotationale Semantik: Konstruktion der Semantik mittels mathematischer Räume aus der domain theory
- axiomatische Semantik: Beschreibung der Semantik durch ihre logischen Eigenschaften
- operationale Semantik: durch eine Relation werden die möglichen Ausführungsschritte abstrakt beschrieben.
Literatur
Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.
Jan van Leeuwen. Handbook of Theoretical Computer Science, Volume B. Elsevier / MIT Press, 1990.