Ferienakademie im Sarntal 2000
Kurs 1: Formale Modelle von Programmiersprachen


Mihai Dumitrescu

Clean: Eine saubere Sprache

Clean ist eine funktionelle Programmiersprache deren Semantik auf Termgraphersetzungssysteme basiert. Nachdem die zugrundeliegende Theorie in den  vorherigen Vorträgen (Termgraphersetzung, Termersetzung) behandelt wurde, wird in diesem Vortrag eine 'Reale' Programmiersprache beschrieben. Die Vorteile des Verfahrens der Termgraphersetzung werden anhand von Clean deutlich gemacht.

Literatur

  • T.H.Brus: CLEAN - A language for functional graph rewriting in: Proc. Conference on Functional Programming Languages and Computer Architecture, Lecture Notes Computer Science 274 (1987) p. 364-384 
  • Functional Programming in Clean, draft, july 1999 
  • Reinhard Bündgen: Termersetzungssysteme, Vieweg Verlag, 1998 
  • The Concurrent Clean Language Report
Da kommt noch ein Vortrags-Foto?