Einleitung
... [ Seminar WWW und JAVA] ...
[↑ Gliederung] ...
[→ Formale Semantik] ...
Einleitung
Der Schwerpunkt dieser Ausarbeitung ist die operationelle Semantikdefinition. Die operationelle Semantik ist einer der drei Hauptansätze der formalen Semantikdefinition.
In dem zweiten Gliederungspunkt der Ausarbeitung wird die Notwendigkeit der formalen Semantikdefinition angesprochen und die drei Methoden kurz erleutert.
Im dritten Gliederungspunk wird eine kleine Beispielsprache eingeführt - es wird die Syntax und die informale Semantik der Sprachkonstrukte vorgestellt.
Danach folgt im vierten Gliederungspunkt die eigentliche Semantikdefinition der Beispielsprache. Zu jedem Sprachkonstrukt wird dann
ein Beispiel für die opearationelle Semantik angegeben. Zum Schluß wird kurz eine mögliche Implementierung der arithmetischen Ausdrücke der Beispielspielsprache in der
logischen Programmiersprache Prolog beschrieben.
... [ Seminar WWW und JAVA] ...
[↑ Gliederung] ...
[→ Formale Semantik] ...