Prof. Dr. K. Madlener
Betreuer: Robert Eschbach

Inhalt : Allgemeines, Verweise, Übungen,

Allgemeines

• 4 Std. Vorlesung
  Di. 10.00-11.30 Uhr, 46-280
  Do. 11.45-13.15 Uhr, 46-280
  2 Std. Übung
  Beginn: 28.10.
• A) Gleichungen sind zur Beschreibung von Berechnungen geeignet, so z.B. als Interpreter von Programmiersprachen. Die Vorlesung befasst sich mit Gleichungsprogrammen, deren Ausdruckskraft und mit den Problemen der Implementierung sowie verschiedenen praktischen Lösungsansätzen, die zu effizienten Realisierungen führen.
• B) M.O. Donnell: Equational Logic as a Programming Language
• C) Vordiplom
• D) Übungsschein
• E) Kernveranstaltung der Theoretischen Informatik

Verweise (gültig im WS97/98)

• Lambda-Kalkül:
  (Personen: Henk Barendregt)
  Empfehlenswerte Bücher/Papiere:
  • Henk Barendregt
    Lambda Calculi with Types
    Handbook of Logic in Computer Science, Volume II, 1992
    Ed.: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum,volume: 362 kb
  • Henk Barendregt
    The impact of the lambda calculus
    Bulletin of Symbolic Logic, volume 3, no 2, 1997.volume: 164 kb
• Graphersetzung:
  (Personen: Marko van Eekelen, Richard Kennaway, Rinus Plasmeijer)
  Empfehlenswerte Bücher/Papiere:
  • J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries,
    On the adequacy of graph rewriting for simulating term rewriting,
    ACM TOPLAS, 16, n.3, 493-523, (May 1994).
  • J.R. Kennaway, J.W. Klop, M.R. Sleep, and F.J. de Vries,
    Transfinite reductions in orthogonal term rewriting systems,
    Inf. and Computation, vol.119, n.1, 18-38 (1995).
  • Rinus Plasmeijer and Marko van Eekelen,
    Functional Programming and Parallel Graph Rewriting
    Addison-Wesley, 1993
    INF 415/023
  • Z. M. Ariola and J.W. Klop
    Equational Term Graph Rewriting.
    Fundamentae Informaticae, Vol. 26,Nrs. 3,4, June 1996.p. 207-240
    Extended version asUniversity of Oregon Technical Report CIS-TR-95-16.
• Reduktionsstrategien/Sequentialität:
  (Personen: Jan Willem Klop, Aart Middeldorp)
  
  • Jan Willem Klop
    Term Rewriting Systems
    Handbook of Logic in Computer Science, Volume II, 1992
    Ed.: S. Abramsky, D.M. Gabbay and T.S.E. Maibaum
• Funktionale Programmiersprachen:
  
  • Clean
  • Concurrent Clean Language Report (version 1.2)
  • Paul de Mast, Jan-Marten Jansen, Dick Bruin, Jeroen Fokker, Pieter Koopman, Sjaak Smetsers, Marko van Eekelen and Rinus Plasmeijer
    Functional Programming in Clean

Übungen

• Der Übungstermin lautet: Mi, 13.45 - 15.15 Uhr, 34-420
  Die Übungsblätter werden jeweils donnerstags in der Vorlesung ausgegeben. Die Abgabe erfolgt bis spätestens dienstags 12:00 in den Übungskästen Geb. 34, 4. Stock.
• Übungsgruppenleiter: Tobias Wahl
• Übungsblätter: [1], [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]