Semantik sequentieller Programme
Eike Best · 1995
Die wichtigsten Daten- und Kontrollstrukturen, die sich in sequentiellen Programmiersprachen wie etwa C [156], Pascal [260] oder Modula-2 [261] finden, werden in der von E.W.Dijkstra eingeführten guarded-command -Notation [97] widergespiegelt. Das ist Grund genug, diese Notation an den Anfang unserer Betrachtungen zu setzen. Die Definition ihrer Syntax und einige Erläuterungen finden sich in Abschnitt 3.1. Für die guarded-command -Notation definieren wir drei Semantiken: Diese drei Semantiken genügen verschiedenen Ansprüchen.