Uni des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Proseminar WS-03

Proseminar Programmiersysteme

Proseminar im Wintersemester 2003/2004

Prof. Gert Smolka, Thorsten Brunklaus, Marco Kuhlmann, Andreas Rossberg, Gábor Szokoli, Guido Tack
Lehrstuhl für Programmiersysteme, FR Informatik, Universität des Saarlandes

In den letzten 50 Jahren wurde eine Vielzahl von Programmiersprachen entwickelt, die auf verschiedene Anwendungen ausgerichtet sind und auf ganz unterschiedlichen Modellen beruhen. In diesem Proseminar sollen einige besonders markante Entwicklungen vorgestellt werden.

Als Grundlage dienen folgende zwei Bücher:

• John Mitchell, Concepts in Programming Languages. Cambridge University Press 2003
• Ravi Sethi, Programming Languages. Addison-Wesley 1989

John Mitchells Homepage enthält außerdem Verweise auf seine eigenen Vorlesungsfolien zum Buch.

Vorträge

Die Vorträge finden in Blockform von Mittwoch, 31. März bis Freitag, 2. April 2004 statt (Geb. 45, Raum 528).

• Mi 10.00h, Strukturierte Programmierung: Algol, Pascal und Modula (Folien) (Frank Bauer, Betreuer: Andreas Rossberg)
  • Thomas Bergin, Richard Gibson, History of Programming Languages, ACM Press 1996
  • Andrew McGettrick, Algol 68: a first and second course. Cambridge University Press 1978
  • Edsger Dijkstra, Go To Statement Considered Harmful. Communications of the ACM 11(3), ACM Press 1968
  • Niklaus Wirth, Programming in Modula 2. Springer 1982
  • Niklaus Wirth, Modula: a Language for Modular Multiprogramming. Software - Practice and Experience 7(1), 1977
• Mi 10.30h, Objektorientierte Programmierung: Smalltalk und Java (Folien) (Philipp Brendel, Betreuer: Andreas Rossberg)
  • Mitchell, Concepts in Programming Languages, Part 3. Cambridge University Press 2003
  • William Cook, Walter Hill, Peter Canning, Inheritance Is Not Subtyping. Principles of Programming Languages (POPL) 1990
  • Kim Bruce, Luca Cardelli, Giuseppe Castagna, Hopkins Objects Group, Gary T. Leavens, Benjamin Pierce, On Binary Methods. Theory and Practice of Object Systems 1995
  • Richard P. Gabriel, Objects Have Failed. OOPSLA Debate 2002
• Mi 11.00h, Objektorientierte funktionale Programmierung: Scala (Folien) (Gábor Szokoli)
  • Martin Odersky, Programming in Scala. http://scala.epfl.ch/ 2004
• Mi 11.30h, Nebenläufige Programmierung: Alice und Java (Folien) (Mina Nikolova, Betreuer: Guido Tack)
  • Mitchell, Concepts in Programming Languages, Chapter 14. Cambridge University Press 2003
  • M. Ben-Ari, Principles of Concurrent and Distributed Programming. Prentice-Hall 1990
  • Gert Smolka, Concurrent Constraint Programming Based on Functional Programming. Programming Languages and Systems 1-11, 1998
  • The Alice Team, The Alice System, Online Manual, 2003
• Mi 14.00h, Logische Programmierung: Prolog (Folien) (Jochen Frey, Betreuer: Gert Smolka)
  • Mitchell, Concepts in Programming Languages, Chapter 15. Cambridge University Press 2003
  • Clocksin, Mellish, Programming in Prolog. Springer 1987
  • Robert Kowalski, Algorithm = Logic + Control. Communications of the ACM 22(7), 1979
  • Robert Kowalski, Predicate Logic as Programming Languages. Proceedings of IFIP, 1974
• Mi 14.30h, Constraintprogrammierung: Oz und Alice (Folien) (Niko Paltzer, Betreuer: Gert Smolka)
  • Krzystof R. Apt, Principles of Constraint Programming, Cambridge University Press, 2003.
  • Kim Marriott, Peter Stuckey, Programming with Constraints, MIT Press, 1998
  • Christian Schulte, Gert Smolka, Finite Domain Programming in Oz. Online Tutorial, 2003
  • The Alice Team, The Alice System, Online Manual, 2003
  • Gert Smolka, The Oz Programming Model. Computer Science Today, LNCS 1000, Springer 1995
• Do 10.00h, Bedarfsgesteuerte Programmierung: Haskell (Folien) (Benedikt Grundmann, Betreuer: Andreas Rossberg)
  • Simon Thompson, The Craft of Functional Programming. Addison-Wesley 1996
  • John Hughes, Why functional programming matters. Computer Journal 32(2), 1989
  • D. Friedman, D. Wise, CONS Should not Evaluate its Arguments. Automata, Languages and Programming, 1976
  • David Turner, Miranda: A non-strict functional language with polymorphic types. Proceedings of the Conference on Functional Languages and Computer Architecture (FPCA), LNCS 201, Springer 1985
• Do 10.30h, Höhere Funktionale Programmierung: Parser-Kombinatoren (Folien) (Matthias Berg, Betreuer: Andreas Rossberg)
  • Jeroen Fokker, Functional Parsers. Advanced Functional Programming, LNCS 925, Springer 1995
  • Phil Wadler, How to Replace Failure by a List of Successes. Functional Programming Languages and Computer Architetcture, LNCS 201, Springer 1985
  • Doaitse Swierstra, Combinator parsers: From toys to tools. Electronic Notes in Theoretical Computer Science 41, Elsevier Science Publisher 2001
• Do 11.00h, Typklassen: Haskell (Folien) (Mark Kaminski, Betreuer: Andreas Rossberg)
  • Simon Thompson, The Craft of Functional Programming. Addison-Wesley 1996
  • Phil Wadler, Stephen Blott, How to make ad-hoc polymorphism less ad hoc. Proceedings of the 16th Symposium on Principles of Programming Languages, 1989
  • Simon Peyton Jones, Bulk types with class. Glasgow Functional Programming Workshop 1996
• Do 11.30h, Typinferenz: ML (Folien) (Christian Kersten, Betreuer: Andreas Rossberg)
  • Benjamin Pierce, Types and Programming Languages, Chapter 22. MIT Press 2002
  • M. Odersky, M. Sulzmann and M. Wehr, Type inference with constrained types. Theory and Practice of Object Systems, 5(1), 1999
• Do 14.00h, Script-Programmierung: Tcl/Tk (Folien) (Manuel Caroli, Betreuer: Thorsten Brunklaus)
  • John Ousterhout, Tcl and the Tk Toolkit. Addison-Wesley 1994
• Do 14.30h, Dokumentensatz: TeX (Folien), (Patrick Pekczynski, Betreuer: Marco Kuhlmann)
  • Victor Eijkhout, TeX by Topic. Addison-Wesley 1992
  • Donald Knuth "The TeXbook"
  • Michel Goosens, Frank Mittelback, Alexander Samarin, The LaTeX Companion. Addison-Wesley 1994
  • Reinhard Wilhelm, Grundlagen der Dokumentenverarbeitung. Addison-Wesley 1996
• Fr 10.00h, Virtuelle Maschinen: OCaml (Folien) (Steffen Heil, Betreuer: Thorsten Brunklaus)
  • Xavier Leroy, The ZINC experiment: an economical implementation of the ML language. Technical report 117, INRIA, 1990
• Fr 10.30h, Speicherbereinigung (Folien) (Maik Theisen, Betreuer: Guido Tack)
  • Richard Jones, Rafael Lins, Garbage Collection, Chapter 6 & 7. John Wiley & Sons 1996
• Fr 11.00h, Serialisierung (Folien) (Benedict Fehringer, Betreuer: Guido Tack)
  • Guido Tack, Linearisation, Minimisation and Transformation of Data Graphs with Transients. Diplomarbeit, Universität des Saarlandes 2003

Folgende Vorträge fallen aus:

• Dynamisch getypte Programmierung: Lisp und Scheme (Sergej Isak-Geidel, Betreuer: Thorsten Brunklaus)
  • John McCarthy, A Mirco-Manual of LISP - Not the Whole Truth. The first ACM SIGPLAN Conference on History of programming languages, 1978
  • John McCarthy, History of LISP. The first ACM SIGPLAN Conference on History of programming languages, 1978
  • Abelson, Sussman, Sussman, Structure and Interpretation of Computer Programs, 2nd edition. MIT Press 1996
  • Kelsey, Clinger, Rees, Revised⁵ Report on the Algorithmic Language Scheme, 1998
  • Thomas Bergin, Richard Gibson, History of Programming Languages, Chapter 6. ACM Press 1996
• Semi-strukturierte Dokumentenverarbeitung: XML (Markus Hoffmann, Betreuer: Gábor Szokoli, Andreas Rossberg)
  • Serge Abiteboul, Peter Buneman, Dan Suciu, Data on the Web. Morgan Kaufmann Publishers 2000
  • Jérôme Siméon, Philip Wadler, The Essence of XML, Principles of Programming Languages (POPL) 2003 (Folien des Original-Vortrags)

Voraussetzung für Scheinvergabe

• Vortrag von 25min Länge (plus ca. 5min Diskussion)
• Aktive Teilnahme an Diskussionen
• Schriftliche Ausarbeitung im Umfang von 10-15 Seiten (Abgabe bis 8. April 2004, strikt!)
• Elektronische Verfügbarkeit der Vortragsfolien und der schriftlichen Ausarbeitung (PDF, Postscript, oder Power Point)