Stichworte zum Inhalt

  1. Funktionale Programmierung: Termtypen, Typpolymorphismus und Typinferenz, parametrische Module, Typklassen, Auswertungsstrategien (ML und Haskell)
  2. Logische Programmierung: Unifikation, Einbringen primitiver Logiken über den Mechanismus der constraints, Ausführung als Constraintsimplifikation, nebenläufiges logisches Programmieren mit constraints
  3. Vererbung und objekt-orientierte Programmierung (Java)
  4. grundlegende Konzepte von Nebenläufigkeit und Kommunikation in CSP ('Communicating Sequential Processes')
On to Funktionale Programmierung Part of Vorlesung
Andreas Podelski, Abdelwaheb Ayari, Hubert Baumeister
February 25, 1997

Imprint | Data Protection