Seminar Fortgeschrittene Programmierung

Betreuung

Termin	Vortragender	Thema	Betreuung
20.01.04	Wladimir Kupriyenko	Flatt et al., "A Programmer's Reduction Semantics for Classes and Mixins"	Prof. Thiemann
27.01.04	Oksana Tymchyshyn	Smaragdakis and Batory, "Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs"	Prof. Thiemann
03.02.04	Olga Saukh	McDirmid et al., "Jiazzi: New-Age Components for Old-Fashioned Java" / McDirmid and Hsieh, "Aspect-Oriented Programming with Jiazzi"	Neubauer
10.02.04	Florian Pigorsch	Wand et al., "A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming"	Neubauer
17.02.04	Marcus Wolschon	Hannemann and Kiczales, "Design Pattern Implementation in Java and AspectJ"	Neubauer
17.02.04	Maria Leonova	Szyperski et al., Topics on "Component Software"	Prof. Thiemann

Für einige Themen ist der Besuch der Vorlesung "Grundlagen der Programmiersprachen" (in diesem Semester) empfehlenswert.

Szyperski et al. Component Software. Addison-Wesley, 2001. UB
- 5. Components, interfaces, and re-entrance.
- 6. Polymorphism.
- 7. Object versus class composition.
Findler and Felleisen. Contract Soundness for Object-Oriented Languages. OOPSLA 2001 PDF| PS
Sean McDirmid et al. Jiazzi: New-Age Components for Old-Fashioned Java. OOPSPLA 2001. PDF

Flatt, Krishnamurthi and Felleisen. A Programmer's Reduction Semantics for Classes and Mixins. In: Formal Syntax and Semantics of Java, LNCS 1523. PDF
Smaragdakis and Batory. Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs. ACM Transactions on Software Engineering and Methodology. April 2002. DOI, PDF

Special Issue on Aspect-Oriented Programming, Communications of the ACM, October 2001 DOI, DOI, DOI, DOI, DOI, DOI, DOI, DOI, DOI, DOI, DOI, DOI
Sean McDirmid and Wilson C. Hsieh. Aspect-oriented programming with Jiazzi. AOSD 2003. PDF
Hannemann and Kiczales. Design Pattern Implementation in Java and AspectJ. OOPSLA 2002. PDF
Mitchell Wand, Gregor Kiczales, and Christopher Dutchyn. A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. TOPLAS, 2003. PS

Walid Taha. Sound Reductions for Untyped CBN MetaML, Or, the Theory of MetaML is Non-Trivial. PEPM, 2000. PS, PDF
Taha, Nielsen. Environment Classifiers. POPL, 2003. PS, PDF

Last modified: Tue Jan 20 15:11:02 CET 2004