Semantics of Programming Languages, Seminar, SS 2002

Termin der Sitzungen nach Vereinbarung.

Betreuung

• Prof. Dr. Peter Thiemann
• Matthias Neubauer

Die Sitzungen finden wahlweise auf Deutsch oder Englisch statt.

Inhalt

Die Semantik von Programmiersprachen beschäftigt sich mit verschiedenen Arten, die Bedeutung eines Programms formal festzulegen. Im Seminar werden wir verschiedene Ansaetze hierfuer kennenlernen, die auf unterschiedlichen mathematischen Modellen aufbauen. Insbesondere werden wir uns auch mit der Bedeutung von Typen beschaeftigen (d.h., Fragen wie: Was ist ein Typ? Wie definiere ich einen Typ? Welche Operationen sind auf Typen moeglich?).

Themen

Geplant sind Artikel aus Handbüchern oder sonstige aktuelle Veröffentlichungen gemeinsam auszusuchen und zu besprechen. Vorgesehen sind Vorträge zu den folgenden Artikeln [4][1][5][2].

Sitzungen

Mi, 8.05.2002, 14 Uhr c.t.

Gemeinsame Diskussion über das erste Kapitel des Handbuchartikels "Basic Category Theory" [4].

Mi, 29.05.2002, 16 Uhr c.t.

Gemeinsame Diskussion über das zweite Kapitel des Handbuchartikels "Basic Category Theory" [4].

Mi, 05.06.2002, 16 Uhr c.t.

Gemeinsame Diskussion über das zweite Kapitel des Handbuchartikels "Basic Category Theory" [4].

Mi, 12.06.2002, 15:30 Uhr

Vortrag von Frederick Dierolf über "denotationelle Semantiken" [3].

References

 [1]

Samson Abramsky and Achim Jung. Domain theory. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. Oxford University Press, Oxford, 1994.

 [2]

Carl A. Gunter. The semantics of types in programming languages. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. Oxford University Press, Oxford, 1994.

 [3]

Peter D. Mosses. Denotational Semantics, volume B of Handbook of Theoretical Computer Science, chapter 11. Elsevier Science Publishers, Amsterdam, 1990.

 [4]

Axel Poigné. Basic category theory. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. Oxford University Press, Oxford, 1990.

 [5]

Robert D. Tennent. Denotational semantics. In S. Abramsky, D. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. Oxford University Press, Oxford, 1994.