Seminar: Java, Grundlagen und Erweiterungen, WS2005/2006
Allgemeines
| Seminar | Seminar | |
| Durchführung | Prof. Dr. Peter Thiemann | Matthias Neubauer |
| Zeit | n.V. | n.V. |
| Ort | Geb. 079 | Geb. 079 |
Aktuelles
- NEU: Es sind Information zur Anfahrt verfügbar.
- NEU: Ein Zeitplan für die Vorträge ist verfügbar.
- NEU: Abgabetermin für die endgültige Version der Ausarbeitung: Mittwoch, 18.1.2006. Die Arbeit muss als LaTeX Quellcode abgegeben werden, der auf den Poolrechner der Informatik kompilierbar ist. Bitte gebt zusätzlich zum Quellcode auch noch eine PDF oder PostScript Version ab.
-
Kurzvorstellung der Themen und die endgültige
Themenvergabe mit verbindlicher Anmeldung zum Seminar:
Termin: Freitag 4.11., 11-13 Uhr
Ort: Geb. 079 Raum 00-019 - Die Seminarplätze werden in der Informationsveranstalltung
für Seminare vergeben.
Termin: Dienstag 25.10., von 16-18 Uhr
Ort: Geb. 101 Raum 026
Ablauf
- Das Seminar wird als Blockseminar im Fachschaftshaus auf dem
Schauinsland abgehalten.
Termin: 23.1.06 - 25.1.06 (nähre Informationen: siehe Zeitplan) - Jeder Teilnehmer hat 45 Minuten Zeit für den Vortrag, dannach gibt es Zeit für Fragen bzw. die Diskussion des Vortrags.
- Zwei Wochen vor dem Seminar (9.1.) müssen die Folien für den
Vortrag fertig sein.
Bis dahin soll auch eine erste Version der Ausarbeitung vorliegen. - Eine Woche vor Abfahrt (16.1.) müssen sowohl die Ausarbeitung wie auch die Folien fertig vorliegen.
Prüfungsleistung
- Seminarvortrag
- Ausarbeitung (10-15 Seiten), hierzu gibt es ein Template
- Aktive Teilnahme
Themen
| Thema | Student | Betreuer |
| Generics | ||
| Generics in the Java programming language (Doppelvortrag) [1, 2, 3] | Ahmad Nessar Nazar / Yasin Carcki | Matthias Neubauer |
| Generics for the .NET Common language runtime: Design [4] | Balint Bors | Peter Thiemann |
| Generics for the .NET Common language runtime: Formalization [5] | ||
| Converting Java programs to use generic libraries [6] | Annette Bienuiusa | Peter Thiemann |
| Extensions of OO | ||
| super and inner [7] | Tim Langner | Markus Degen |
| Generalized Algebraic Data Types and OOP [8] | Fabian Kiss | Matthias Neubauer |
| Family Polymorphism [9] | Michael Schnell | Stefan Wehr |
| Nested inheritence [10] | Nils Andre | Stefan Wehr |
| Simple dependent types [11] | Tobias Bischoff | Markus Degen |
| Environmental acquisition revisited [18] | Rabie Hammoud | Stefan Wehr |
| Scalable component abstraction [19] | Phillip Linkenheil | Peter Thiemann |
| Static Analysis | ||
| Extended Static Checking (Doppelvortrag) [12, 13, 14] | Olivier Foerster / Johannes Rudolph | Stefan Wehr |
| Declaring and Checking Non-Null Types [15] | Andreas Maunz | Matthias Neubauer |
| Scoped Types for Realtime Java [16] | Reddy Vangapally | Markus Degen |
| Ownership Types [17] | Timo Nüssle | Markus Degen |
Zeitplan
Offizieller Beginn: Montag, 23.1.2006, 10 Uhr
Offizielles Ende: Mittwoch, 25.1.2006, 13 Uhr
| Montag | |
| 11:00-12:00 | Generics in the Java programming language (Doppelvortrag) |
| 12:00-13:00 | Generics in the Java programming language |
| Mittagessen, Skifahren | |
| 17:30-18:30 | Generics for the .NET Common language runtime: Design |
| Abendessen | |
| 19:30-20:30 | Converting Java programs to use generic libraries |
| Dienstag | |
| 08:45-09:45 | super and inner |
| 09:45-10:45 | Generalized Algebraic Data Types and OOP |
| Pause | |
| 11:00-12:00 | Family Polymorphism |
| 12:00-13:00 | Nested inheritence |
| Mittagessen, Skifahren | |
| 17:30-18:30 | Simple dependent types |
| Abendessen | |
| 19:30-20:30 | Scalable component abstraction |
| Mittwoch | |
| 08:45-09:45 | Declaring and Checking Non-Null Types |
| 09:45-10:45 | Extended Static Checking (Doppelvortrag) |
| Pause | |
| 11:00-12:00 | Extended Static Checking |
| 12:00-13:00 | Ownership Types |
| Mittagessen (optional) | |
Hin- und Rückfahrt
Das Fachschaftshaus auf dem Schauinsland kann man mit öffentlichen Verkehrmitteln erreichen. Mit fährt dazu zuerst mit dem Zug nach Kirchzarten; von dort geht es dann weiter mit dem Bus bis zur Haltestelle "Halde, Oberried-Schauinsland" (die Haltestelle liegt direkt an einem Hotel). Falls gewünscht können wir euch von dort mit dem Auto abholen; bitte gebt uns Bescheid, falls ihr das möchtet. Ansonsten sind es noch ca. 20 bis 30 Minuten Fußweg bis zum Fachschaftshaus.
Falls jemand mit dem Auto fährt, wäre es gut, wenn ihr andere Seminarteilnehmer mitnehmen könntet.
Verbindungen
Folgende Verbindung empfiehlt sich, um am Montag rechtzeitig am Fachschaftshaus zu sein:
| Freiburg(Breisgau) Hbf ab | 08:40, Gleis 7, RB 31571 |
| Kirchzarten an | 08:53 |
| Kirchzarten ab | 08:58, Bus 7215, Richtung: Todtnau Busbahnhof |
| Halde, Oberried-Schauinsland an | 09:23 |
Für die Rückfahrt fährt ein Bus um 14:55 ab "Halde, Oberried-Schauinsland".
Literatur
| [1] |
Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler.
Making the future safe for the past: Adding genericity to the Java
programming language.
In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on
Object-oriented programming, systems, languages, and applications, pages
183-200, New York, NY, USA, 1998. ACM Press. [ bib | http ] |
| [2] |
Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler.
Gj: Extending the Java programming language with type parameters.
http://homepages.inf.ed.ac.uk/wadler/gj/Documents/gj-tutorial.pdf,
August 1998. [ bib ] |
| [3] |
Gilad Bracha.
Generics in the java programming language.
http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf, July
2004. [ bib ] |
| [4] |
Andrew Kennedy and Don Syme.
Design and implementation of generics for the .net common language
runtime.
In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on
Programming language design and implementation, pages 1-12, New York, NY,
USA, 2001. ACM Press. [ bib | http ] |
| [5] |
Dachuan Yu, Andrew Kennedy, and Don Syme.
Formalization of generics for the .net common language runtime.
In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT
symposium on Principles of programming languages, pages 39-51, New York,
NY, USA, 2004. ACM Press. [ bib | http ] |
| [6] |
Alan Donovan, Adam Kiezun, Matthew S. Tschantz, and Michael D. Ernst.
Converting java programs to use generic libraries.
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN
Conference on Object-oriented programming, systems, languages, and
applications, pages 15-34, New York, NY, USA, 2004. ACM Press. [ bib | http ] |
| [7] |
David S. Goldberg, Robert Bruce Findler, and Matthew Flatt.
Super and inner: together at last!
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN
Conference on Object-oriented programming, systems, languages, and
applications, pages 116-129, New York, NY, USA, 2004. ACM Press. [ bib | http ] |
| [8] |
Andrew Kennedy and Claudio Russo.
Generalized algebraic data types and object-oriented programming.
In OOPSLA 2005, San Diego, CA, USA, October 2005. [ bib | http ] |
| [9] |
Erik Ernst.
Family polymorphism.
In Jørgen Lindskov Knudsen, editor, Proceedings ECOOP
2001, number 2072 in LNCS, pages 303-326, Heidelberg, Germany, 2001.
Springer-Verlag. [ bib | http ] |
| [10] |
Nathaniel Nystrom, Stephen Chong, and Andrew C. Myers.
Scalable extensibility via nested inheritance.
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN
Conference on Object-oriented programming, systems, languages, and
applications, pages 99-115, New York, NY, USA, 2004. ACM Press. [ bib | http ] |
| [11] |
Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus Ostermann.
Simple dependent types: Concord (ftfjp workshop version), June 2004. [ bib | html ] |
| [12] |
David L. Detlefs, K. Rustan M. Leino, Greg Nelson, and James B. Saxe.
Extended static checking.
Research Report 159, Compac Systems Research Center, Palo Alto, CA,
USA, December 1998. [ bib | http ] |
| [13] |
K. Rustan M. Leino.
Ecstatic: An object-oriented programming language with an axiomatic
semantics.
In Benjamin C. Pierce, editor, Fourth International Workshop on
Foundations of Object-Oriented Languages, FOOL 4, January 1997. [ bib | http ] |
| [14] |
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B.
Saxe, and Raymie Stata.
Extended static checking for java.
In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on
Programming language design and implementation, pages 234-245, New York,
NY, USA, 2002. ACM Press. [ bib | http ] |
| [15] |
Manuel Fähndrich and K. Rustan M. Leino.
Declaring and checking non-null types in an object-oriented language.
In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN
conference on Object-oriented programing, systems, languages, and
applications, pages 302-312, New York, NY, USA, 2003. ACM Press. [ bib | http ] |
| [16] |
Tian Zhao, James Noble, and Jan Vitek.
Scoped types for real-time java.
In RTSS '04: Proceedings of the 25th IEEE International
Real-Time Systems Symposium (RTSS'04), pages 241-251, Washington, DC, USA,
2004. IEEE Computer Society. [ bib | http ] |
| [17] |
David G. Clarke, John M. Potter, and James Noble.
Ownership types for flexible alias protection.
In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on
Object-oriented programming, systems, languages, and applications, pages
48-64, New York, NY, USA, 1998. ACM Press. [ bib | http ] |
| [18] |
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] |
| [19] |
Martin Odersky and Matthias Zenger.
Scalable component abstractions.
In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN
conference on Object oriented programming systems languages and
applications, pages 41-57, New York, NY, USA, 2005. ACM Press. [ bib | http] |
Peter Thiemann, Jul 05, 2005