|
Dieser Vortrag beschäftigt sich mit der operationellen Semantik, die neben der denotationellen und axiomatischen Semantik eine Möglichkeit zur formalen Untersuchung von Programmiersprachen darstellt. Diese formale Untersuchung kann zu einem besseren Verständnis einer Programmiersprache führen, sie bietet eine Grundlage für den Compilerbau und ist besonders wichtig für Korrektheitsbeweise. Es werden zwei Arten von operationeller Semantik, die Auswertungs- und die Transitionssemantik, anhand einer einfachen Beispielsprogrammiersprache vorgestellt und gegenübergestellt.
Literatur
|
|