LMU

Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
www.pst.informatik.uni-muenchen.de/Lehre/ss99/domains/

Grundlagen der Bereichstheorie für Informatiker

In dieser Vorlesung sollen diejenigen Grundlagen der Bereichstheorie für Informatiker kompakt vermittelt werden, die insbesondere wertvolle Werkzeuge für denotationelle Semantik darstellen. Dazu gehören Als Anwendung sollen Modelle für die Plotkin'sche Beispielsprache PCF betrachtet werden und deren wichtige Eigenschaften ("adequacy" und "full abstractness"). Wenn Zeit bleibt, wird evtl. auf stabile Bereiche sowie auf konstruktive Ansätze zur Bereichstheorie (synthetic domain theorie) eingegangen.
Veranstalter:
Prof. Dr. Martin Wirsing und Dr. Bernhard Reus

Vorkenntnisse:
Vordiplom in Informatik oder Nebenfach Informatik
Vorkenntnisse in Prädikatenlogik und lambda-Kalkül empfohlen.

Schein:
Gilt für Diplomprüfung Haupt- und Nebenfach Informatik.

Termin:
Freitag, 10-12 Uhr (voraussichtlich 10.30-12.00), Raum 15 (Untergeschoss!!) (Oettingenstraße 67, EG).

Relevante Literatur:
  • P.W. O'Hearn and J.G. Riecke: Kripke Logical Relations and PCF. Information and Computation. 120(1):107-116, 1995.
  • J.G. Riecke and A. Sanholm: A Relational Account of Cal-by-Value Sequentiality. 12th IEEE Smyposium LiCS 97. pages 258-267. IEEE Computer Society Press.
  • K. Sieber: Reasoning about Sequential Functions via Logical Relations. Applications of Categories to Computer Science. Fourman et al. (eds). Cambridge University Press, 1992.
  • C.-H. L. Ong: Correspondence between Operational and Denotational Semantics. Notes from the BRICS Summer School 1999. (Danke an Alexander Kurz für den Link)
  • G.D. Plotkin: Domains. Course notes of a lecture held 1983 in Pisa, TexNotes. (Danke an Alfred Waas für den Link)
  • V. Stoltenberg-Hansen and I. Lindström and E.R. Griffor: Mathematical Theory of Domains. Cambridge University Press, 1994.
  • S. Abramsky and A. Jung: Domain Theory. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum (eds.): Handbook of Logic In Computer Science, Oxford University Press, Vol. III, 1995.
  • Uli Berger Vorlesung Bereichstheorie. SS '97. Skript auf seiner Homepage verfügbar.
  • C.A. Gunter and D.S. Scott: Semantic Domains. In J. van Leeuwen, Handbook of Theoretical Computer Science, Chapter 12, 635--674, Elsevier Science Publisher, 1990
  • D.S. Scott: Continuous Lattices. In F.W. Lawvere: Toposes, Algebraic Geometry and Logic, Dalhousie University, Halifax 1971, 97--136, Lecture Notes in Mathematics, Volume 274, Springer Verlag, Berlin, 1972.
  • A. Jung (ed): Domains and Denotational Semantics: History, Accomplishments and Open Problems. EATCS Bulletin (?)
  • C.A. Gunter: Semantics of Programming Languages: structures and techniques. MIT Press, Foundations of Computing, 1992.
  • Thomas Streicher: Vorlesung über Mahtematische Theorie Funktionaler Programme. LMu München WS 1994/95.
  • historisch interessant: D.S. Scott: A type theoretic alternative to ISWIM, CUCH, OWHY. Reprint in: TCS 121, 1993.

    • Bei Problemen oder Vorschlägen schicken Sie bitte eine eMail an
    wwwmaster@pst.informatik.uni-muenchen.de
    Bernhard Reus (1.03.99,8.07.99)