Seminar Implementierung von Programmiersprachen

Sommersemester 2004
Lehrstuhl für Programmiersprachen und Übersetzerkonstruktion

Vortragsliste

19.4.04: Sekib Omazic: Generic Java

• Generic Java
• G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding Genericity to the Java Programming Language. OOPSLA 98, Vancouver, October 1998. (PDF)
• Pizza

10.5.04: Ingo Strunk: JIT - Just-In-Time-Compilation

• J. Aycock. A Brief History of Just-in-Time. In ACM Comput. Surv. 35(2), pages 97-113, 2003, ACM Press. (PDF)
• Cacao
• A. Krall. Efficient Java VM Just-in-Time compilation. In Proc. Parallel Architectures and Compilation Techniques, Paris, France, 1998. (PS.GZ)

24.5.04: Parissa H. Sadeghi: Monadische Parserkombinatoren

• G. Hutton and E. Meijer. Monadic Parser Combinators. In Technical Report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham, 1996. (PS)
• Parsec
• D. Leijen and E. Meijer. Parsec: Direct Style Monadic Parser Combinators For The Real World. In Technical Report UU-CS-2001-35, Departement of Computer Science, Universiteit Utrecht, 2001. (PDF)
• Lucky

7.6.04: Torsten Landschoff: Optimierung funktionaler Programme - Elimination von Funktionen höherer Ordnung

• W.N. Chin, J. Darlington: A Higher-Order Removal Method. In Lisp and Symbolic Computation 9, pages 287-322, 1996.

Weitere Themen:

Schnelle Parserkombinatoren mit Fehlerbehebung

• UU Parsing
• R. Hughes and S. Swierstra. Polish Parsers, Step by Step. In Eighth ACM Sigplan International Conference on Functional Programming, pages 239-248, New York, August 2003. ACM Press. (PDF)

Deklaratives Debugging für Haskell

• Buddha
• B. Pope. Buddha: A declarative debugger for Haskell, In Technical Report, Dept. of Computer Science, University of Melbourne, Australia, June 1998. Honours Thesis. (PS.GZ)
• Freja
• J. Sparud and H. Nilsson. The Architecture of a Debugger for Lazy Functional Langauges. In Proceedings of AADEBUG '95, 2nd International Workshop on Automated and Algorithmic Debugging, 1995. (PS.GZ)

Debuggen mittels Tracing

• Hat
• J. Sparud and C. Runciman. Tracing lazy functional computations using redex trails. In Proc. 9th Intl. Symposium on Programming Languages, Implementations, Logics and Programs (PLILP'97), pages 291-308. Springer LNCS Vol. 1292, September 1997
• J. Sparud and C. Runciman. Complete and partial redex trails of functional computations. In C. Clack, K. Hammond, and T. Davie, editors, Selected papers from 9th Intl. Workshop on the Implementation of Functional Languages (IFL'97), pages 160--177. Springer LNCS Vol. 1467, September 1997.
• O. Chitil, C. Runciman and M. Wallace. Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 176-193, Aachen, 2001, LNCS 2011. (PS.GZ)

Debuggen durch Beobachten

• Hood
• A. Gill: Debugging Haskell by observing intermediate data structures. In Electronic Notes in Theoretical Computer Science, Volume 41 (Graham Hutton, editor), Elsevier, 2001 (siehe auch hier)
• O. Chitil, C. Runciman and M. Wallace. Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. In Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 176-193, Aachen, 2001, LNCS 2011. (PS.GZ)

Implementierung von lazy funktionalen Sprachen - Spineless Tagless G-Machine

• S.L. Peyton Jones. Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine. In Journal of Functional Programming 2(2), pages 127-202, 1992. (PS.GZ)

Implementierung von logisch-funktionalen Sprachen

• S. Antoy, M. Hanus, J. Liu, A. Tolmach. Architecture of a Virtual Machine for Functional Logic Computations. Preliminary draft, Oktober 2003. (PDF)

Hume: Eine funktionale Sprache mit Ressourcen-Beschränkungen

• Hume
• K. Hammond and G. Michaelson. Hume: a Domain-Specific Language for Real-Time Embedded Systems. In Proceedings of Generative Programming and Component Engineering (GPCE'03), Erfurt, September 2003, Springer- Verlag LNCS 2830, pages 37-56 (Springer online)
• G. Michaelson and K. Hammond. Hume: a Functionally-Inspired Language for Safety-Critical Systems. Draft Proc. 2nd Scottish Functional Programming Workshop, St Andrews, July 2000. (PS)

Implementierung von Hume

• K. Hammond. An Abstract Machine for Resource-Bounded Computations in Hume. Draft paper, September 2003. (PS)
• G. Michaelson, K. Hammond and J. Serot. FSM-Hume: Programming Resource-Limited Systems using Bounded Automata. Draft paper, 2004. (PS)