Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
www.pst.informatik.uni-muenchen.de/lehre/ss99/hauptseminar
Informatik-Hauptseminar: Semantische Grundlagen objekt-orientierter Programmierung
In diesem Seminar soll anhand ausgewählter aktueller Forschungsarbeiten
die semantische Modellierung objekt-orientierter Sprachkonstrukte in verschiednenen Paradigmen und deren besondere Phänomene untersucht werden. Auf alle Arten von Semantiken, d.h. operationelle, axiomatische und denotationelle Semantik, wird zurückgegriffen. Den zu untersuchenden Arbeiten liegen Interpretationen von Objekt-Kalkülen in Typtheorie, Evolving Algebras, Realisierbarkeitsmodellen sowie Koalgebren zugrunde. Die Eigenschaften der (operationellen) Kalküle selbst sind ebenfalls Gegenstand der Betrachtungen.
- 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.
- Neben dem Vortrag muß eine schriftliche Ausarbeitung von ca. 10 Seiten verfaßt werden, die zum Vortrag vorliegen muß.
- Anwesenheitspflicht
- Termin:
- Mittwoch, 9 c.t. - 11 Uhr, Raum 043 (Oettingenstraße 67, EG).
- Vorbesprechung und Themenvergabe
- 5.05.
- Anmeldung
- per eMail an reus@informatik.uni-muenchen.de
- Vorläufige Terminplanung :
-
- 19.05. Florian Hacklinger: Features objekt-orientierter Sprachen
- 26.05. Christian Braun Untypisierter funktionaler und imperativer Objekt-Kalkül
- 2.06. Jürgen Klaunzler: Typisierter funktionaler Objektkalkül
Zusammenfassung der Gegenbeispiele, der alternativen SubRec-Regel, und Existenzquantor als Allquantor als ps-Dokument (Reus)
- 9.06. Diskussion: Interpretation des getypten Objekt-Kalküls
- 16.06. entfällt
- 23.06. Christian Hansen: Semantik einer Algol-artigen OO-Sprache
- 30.06. Christian Hansen: Semantik einer Algol-artigen OO-Sprache Fortsetzung (!!): Objektsemantik:
- 7.07. Martin Wittmann: Koalgebraische Bedeutung von Klassen und Objekten
- 21.07. Timm Schäfer : Eine Logik für den Objekt-Kalkül
- 28.07. Abschlussdiskussion
Literatur (Auswahl):
M. Abadi and L. Cardelli:
A Theory of Objects, Springer Verlag, 1996.
K.B. Bruce, L. Cardelli, B.C. Pierce: Comparing Object Encodings
M. Abadi, L. Cardelli, R. Viswanathan: An Interpretation of Objects and Object Types. POPL'96, 396-409, LNCS Springer Verlag, Berlin, 1996.
U.S. Reddy: Global State Considered Unnecessary: An Introduction to
Object-Based-Semantics. Journal of Lisp and Symbolic Computation
E. Boerger and W. Schulte: A Programmer Friendly Modular Definition for the Semantics of Java. In Jim Alves-Foss (ed.): Formal Syntax and Semantics of Java, LNCS, to appear.
B. Jacobs: Inheritance and cofree constructions. In P. Cointe (ed.): EOOP, Springer, LNCS 1996.
B. Jacobs: Objects and Classes: Co-algebraically. In B. Freitag, C.B.
Jones, C. Lengauer and H.-J. Schek (eds.): OOPP Kluwer, 1996.
H. Reichel: An approach to object semantics based on terminal algebras. MSCS, 5:129-152, 1995.
A. Poetzsch-Heffter: Specification and Verification of Object-Oriented
Programs, Habilitationsschrift, Uni Hagen, 1997.
M. Abadi and K.R.M. Leino : A Logic of Object-Oriented Programs.
In: M. Bidoit and M. Dauchet (eds.): Proc. 7th Int. Conf. Theory and Practice of Software, LNCS 1214, 682-696, Springer Verlag Berlin, 1997.
Weitere (aktuelle!) Literatur wird zu Beginn des Seminars bekanntgegeben.
Relevante Links:
Interpreter für den ungetypten Objekt-Kalkül als
Java-Applet
Bei Problemen oder Vorschlägen schicken Sie bitte eine eMail an
wwwmaster@pst.informatik.uni-muenchen.de
Bernhard Reus
(22.02.99,19.07.99)