Download (1405Kb)

mächtiges Konzept darstellen, sondern auch, weil eine Verallgemeinerung oft zu neuen Einsichten
führt, wie wir es bei der erzwungenen Striktheit gesehen haben.
Auf operationeller Ebene wären diese Programmiersprachen leicht durch Termersetzungssysteme
realisierbar, in denen die Funktionssymbole Konstanten wären, und die nur ein einziges mehrstelliges
Operationssymbol, apply (2) , besäßen, dessen Operation die Anwendung einer Operation auf
eine andere Operation wäre. Diese Termersetzungssysteme wären auch beinahe orthogonal, so daß
die hier vorgestellten Methoden übertragen werden könnten.
Für die denotationelle Semantik müßten Algebren mit Operationen höherer Ordnung eingeführt
werden. Da hierbei Operationen unterschiedlicher Ordnung klar voneinander geschieden wären,
dies bei der gerade skizzierten operationellen Semantik jedoch nicht der Fall wäre, dürfte die Übereinstimmung
beider Semantiken nicht einfach zu beweisen sein.
Die Semantik des Patternmatchings könnte jedoch fast unverändert übernommen werden, da Patternmatching
prinzipiell nur für Basisdaten (Operationen nullter Ordnung) entscheidbar ist.
Die Sequentialität ist dagegen nicht einfach übertragbar ([Ber&Cur82]). Sie steht auch in direktem
Zusammenhang mit dem schon lange bekannten Problem der Definition einer fully abstract
Semantik, welches bis heute nicht zufriedenstellend gelöst wurde.
Die Beschäftigung mit formalen Semantiken ist nicht nur die zentrale Voraussetzung für den Entwurf
korrekter Interpreter und Compiler sowie die Verifikation von Programmen, sondern sie führt uns
auch zu einem immer besseren Verständnis von Programmiersprachen.
179