|
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
|
|