Detailinformation

	Diplomarbeit
Titel	Denotationale Semantik. Methoden und Werkzeuge und deren Anwendung zur vollständigen Definition der Sprache PFPL.
Autor	Wuketich, Johann
Erscheinungsjahr	1987
Abstract	Der Inhalt dieser Arbeit bietet eine Einführung in die Methode der denotationalen Beschreibung von Programmiersprachen. Im ersten Kapitel wird ein kurzer Überblick über allgemeine Konzepte gegeben und motiviert, warum man Programmiersprachen formal beschreiben sollte. Im nächsten Kapitel wird eine einfache funktionale Programmiersprache vorgestellt, anhand derer die im folgenden erklærten Methoden demonstriert werden sollen. Zwei weitere Kapitel beschreiben die Methoden der Standard Semantik anhand neuer Konstruktionen, um welche die Beispielsprache erweitert wird. Im zweiten Teil der Arbeit wird PFPL (Pattern oriented functional Programming Lanugage) vorgestellt. Dieses Programmiersprache wird im letzten Kaptiel mittels Denotationaler Semantik vollständig beschrieben.
Status	Verfügbar