Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

https://www.pst.ifi.lmu.de/Lehre/WS0203/psem/literatur.html

Proseminar -> Literatur

Richtlinien zur Ausarbeitung von Seminar- und Proseminarvorträgen (Quelle: Prof. Zimmer nach Prof. C. und T. Lengauer)
Wie halte ich einen Vortrag? (pdf, Quelle: LFE Datenbanksysteme)
I. Parberry: A Speaker's Guide for Students

Dorai Sitaram: Teach Yourself Scheme in Fixnum Days. Scheme-Tutorial.
How to Design Programs:: Ein Informatik-Lehrbuch, das Scheme verwendet. Der komplette Inhalt ist online.
An Introduction to Scheme and its Implementation: Online-Buch über Scheme, in dem man gut einzelne Themen nachschlagen kann.
Bibliography of Scheme-related Research: Gibt einen guten Überblick, was alles mit Scheme gemacht werden kann. Die Bandbreite ist enorm. Von ziemlich cleverer Web-Programmierung bis zu diversen Sprachen, die in Scheme implementiert wurden.
Schemers.Org: Diverse Scheme-Resourcen.
Schematics: Tools für Scheme im Allgemeinen und PLT Scheme im Speziellen.
Raúl Rojas: A Tutorial Introduction to the Lambda Calculus. Lambda-Kalkül-Tutorial.
Matthias Felleisen: A Lecture on the Why of Y.

PLT Scheme: ausgezeichnete Scheme-Implementierung inklusive grafischer Obefläche für Linux, Windows, Mac und andere. Zwar nicht im CIP-Pool installiert, kann man aber sehr einfach ins eigene Home-Verzeichnis stellen, indem man den Linux-RedHat-Build (also nicht das RPM) herunterlädt und den Installationsanweisungen folgt.
SCM: Scheme-Implementierung für diverse Plattformen. Im CIP installiert als scm.
MIT Scheme: L�uft auf Windows und Linux. Wichtig f�r den [SICP]-Code.
Programming Languages for the Java Virtual Machine: Da befinden sich auch diverse Scheme und Prolog-Implementierungen darunter.
Guile oder Project GNU's extension language: Damit kann man Scheme in eigene Programme als Scripting-Sprache einbauen.

Kapitel 13 im Teach-Yourself-Scheme-Tutorial.
Lecture notes on continuations: Guter und kurzer �berblick �ber den praktischen Einsatz von Continuations
Applications of Continuations: Tutorial �ber Anwendungm�glichkeiten von Continuations.

Wichtige Einsatzgebiete von Continuations sind: Exceptions, Coroutines, Generators.

Wer Lust hat, sich noch mehr mit Logikprogrammierung zu beschäftigen, kann das mit Hilfe der folgenden Links tun:

Tamsin Treasure-Jones: Introduction to Prolog. Prolog-Tutorial und Link zu einem Online-Prolog-Buch.
SWI Prolog: Open-Source-Prolog-Implementierung für Linux, Windows, Mac. Im CIP-Pool installiert, läßt sich (in einer Shell) per pl aufrufen.

Stephan Merz: Model Checking: A Tutorial Overview. Ausführliches, einführendes Tutorial.
Somesh Jha: Model Checking Basics. Knappes Tuorial.
Corbett et al.: Bandera: Extracting Finite-state Models from Java Source Code. Demonstriert den praktischen Einsatz von Model-Checking für Java mit der sehr mächtigen Tool-Suite Bandera.