Fachpraktikum "Angewandte Semantik" (4P)

Wintersemester 1995/96

Dr. Georg Schied , Rainer Koschke

Inhaltsübersicht

SOS-Semantik und logische Programmiersprachen

• Logische Programmierung mit Gödel (goedel.4.ps.gz)
• "soSimple" - Implementierung der SOS-Semantik in Gödel
  (Folien: soSimple.4.ps.gz, Gödel-Sourcen: soSimple.tar.gz)
• "Fun" - eine einfache funktionale Sprache (fun.4.ps.gz)
• Semantik von "Lazy Fun" (fun2.4.ps.gz)

Denotationelle Semantik und funktionale Programmiersprachen

• Funktionale Programmierung mit "Gofer" (gofer.4.ps.gz)
• Parser-Generator "Happy" (happy.4.ps.gz)
• "Dimple" - funktionale Implementierung denotationeller Semantik (dimple.4.ps.gz)
• Beispielsprache "Jabal" - Sprachbeschreibung (jabal.2.ps.gz)
• Continuation-Semantik für "Jabal" (continuation.4.ps.gz)

Programmverifikation

• Programmverifikationstool "VC"
  (Folien: verify.4.ps.gz, Gofer-Sourcen von "VC": vc.tar.gz )

Aufgaben

• uebungen.tar.gz,

Veranstaltungsbewertung

• Auswertung des Fragebogens (fragebogen_auswertung.ps)