Uni-Logo

Seminar: Objektorientierte Programmiersprachen, WS2006/2007

Durchführung

Prof. Dr. Peter Thiemann, Dipl.-Inf. Markus Degen

Ablauf

  • Die Seminarplätze werden bei der zentralen Informationsveranstaltung vergeben.

    Mittwoch, den 25.10.2006

    13:00 - 15:00 Uhr

    Gebäude 101, Hörsaal 026
  • Das Seminar wird, entgegen bisheriger Akündigungen, als Blockseminar in der Uni abgehalten. Die Vorträge sind für den 8.2.2007 geplant.
  • Jeder Teilnehmer hat 45 Minuten Zeit für den Vortrag, dannach gibt es Zeit für Fragen bzw. die Diskussion des Vortrags.
  • Bis Ende November soll jeder Teilnehmer ein Treffen mit seinem Betreuer abhalten, wo das Paper grob durchgesprochen werden kann!
  • Die Ausarbeitung muss bis zum 22. Dezember bei dem jeweiligen Betreuer abgegeben werden!
  • Der Vortrag (Folien) und die korrigierte Ausarbeitung müssen zum 22. Januar vorliegen.
  • Diese Termine sind unbedingt ein zu halten um erfolgreich an dem Seminar teil zu nehmen!
  • Für das Seminar wird eine CD mit allen Ausarbeitungen gebrannt.
  • Auf Wunsch drucken und binden wir die Ausarbeitungen (gegen Kostenbeteiligung)

Prüfungsleistung

  • Seminarvortrag
  • Ausarbeitung (10-15 Seiten).

    Die Ausarbeitungen müssen mit LaTex und dem Template llncs erstellt werden. llncs.zip
  • Aktive Teilnahme

Themen

ThemaStudentBetreuer
Foundations and Formalization
Simula, Smalltalk and Self [1, 2, 3]         
Classic Java and Featherweight Java [7, 6]    Sebastian Huber   Markus Degen  
A virtual class calculus [20]         
Extended Inheritance
Traits [4]    Dominic Mai   Markus Degen  
Mixins [5, 7]         
Multi Java [19]    Sergio Feo   Matthias Neubauer  
Higher-Order Hierarchies [21]         
LOOJ: Weaving LOOM into Java [23]    Nithin Mathews   Peter Thiemann  
Confinement and Ownership
First class relations [9, 11]    Alexander Schimpf  Matthias Neubauer 
Type-based confinement [14]         
Alias annotations for programm understanding [13]    Hui Sheng   Stefan Wehr  
Environmental acquisition [12]         
Protocol
Adoption and focus: Practical Linear Types for Imperative Programming [15]         
Deriving object typestates in the presence of inter-object references [16]         
Session Types for Object-Oriented Languages [17]         

Literatur

[1] David Ungar and Randall B. Smith. Self: The power of simplicity. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, pages 227-242, New York, NY, USA, 1987. ACM Press.

[ bib | http ]
[2] Kristen Nygaard and Ole-Johan Dahl. The development of the simula languages. In HOPL-1: The first ACM SIGPLAN conference on History of programming languages, pages 245-272, New York, NY, USA, 1978. ACM Press.

[ bib | http ]
[3] Alan C. Kay. The early history of smalltalk. In HOPL-II: The second ACM SIGPLAN conference on History of programming languages, pages 69-95, New York, NY, USA, 1993. ACM Press.

[ bib | http ]
[4] Stephane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, and Andrew P. Black. Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst., 28(2):331-388, 2006.

[ bib | http ]
[5] Gilad Bracha and William Cook. Mixin-based inheritance. In OOPSLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, pages 303-311, New York, NY, USA, 1990. ACM Press.

[ bib | http ]
[6] Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight java: a minimal core calculus for java and gj. ACM Trans. Program. Lang. Syst., 23(3):396-450, 2001.

[ bib | http ]
[7] Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. A programmer's reduction semantics for classes and mixins. In Alves-Foss [8], pages 241-269.

[ bib ]
[8] Jim Alves-Foss, editor. Formal Syntax and Semantics of Java, volume 1523 of Lecture Notes in Computer Science. Springer, 1999.

[ bib ]
[9] Gavin M. Bierman and Alisdair Wren. First-class relationships in an object-oriented language. In Black [10], pages 262-286.

[ bib ]
[10] Andrew P. Black, editor. ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings, volume 3586 of Lecture Notes in Computer Science. Springer, 2005.

[ bib ]
[11] James Rumbaugh. Relations as semantic constructs in an object-oriented language. In OOPSLA '87: Conference proceedings on Object-oriented programming systems, languages and applications, pages 466-481, New York, NY, USA, 1987. ACM Press.

[ bib | http ]
[12] Richard Cobbe and Matthias Felleisen. Environmental acquisition revisited. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 14-25, New York, NY, USA, 2005. ACM Press.

[ bib | http ]
[13] Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. Alias annotations for program understanding. In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 311-330, New York, NY, USA, 2002. ACM Press.

[ bib | http ]
[14] Tian Zhao, Jens Palsberg, and Jan Vitek. Type-based confinement. Journal of Functional Programming, 16(1):83-128, 2006.

[ bib ]
[15] Manuel Fähndrich and Robert DeLine. Adoption and focus: practical linear types for imperative programming. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 13-24, New York, NY, USA, 2002. ACM Press.

[ bib | http ]
[16] Mangala Gowri Nanda, Christian Grothoff, and Satish Chandra. Deriving object typestates in the presence of inter-object references. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 77-96, New York, NY, USA, 2005. ACM Press.

[ bib | http ]
[17] Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, and Sophia Drossopoulou. Session types for object-oriented languages. In Black [18].

[ bib ]
[18] Andrew P. Black, editor. ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings, Lecture Notes in Computer Science. Springer, 2006.

[ bib ]
[19] Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers. Multijava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst., 28(3):517-575, 2006.

[ bib | http ]
[20] Erik Ernst, Klaus Ostermann, and William R. Cook. A virtual class calculus. In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 270-282, New York, NY, USA, 2006. ACM Press.

[ bib | http ]
[21] Erik Ernst. Higher-order hierarchies. In Cardelli [22], pages 303-328.

[ bib ]
[22] Luca Cardelli, editor. ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings, volume 2743 of Lecture Notes in Computer Science. Springer, 2003.

[ bib ]
[23] Kim B. Bruce and J. Nathan Foster. LOOJ: Weaving LOOM into java. In Odersky [24], pages 389-413.

[ bib ]
[24] Martin Odersky, editor. ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings, volume 3086 of Lecture Notes in Computer Science. Springer, 2004.

[ bib ]

These bib entries have been generated by bibtex2html 1.76