Programmspezialisierung, Spezialvorlesung, SS1999

Dozent

Peter Thiemann

Termine

Folien

Unterstützung
Implementierung von define-record für Scheme48

Übungen

Scheme

WWW-Ressourcen

  • Bibliography on Partial Evaluation by Peter Sestoft
  • Compose group, IRISA, Rennes, France
  • Logic programming and artificial intelligence group, KU Leuven, Belgium
  • Programmiersprachen Universität Freiburg
  • Santos group, Kansas State University, USA
  • TOPPS group, DIKU, Copenhagen, Denmark

    • Implementierte Systeme

  • PGG, cogen-based multi-level specialization for R5RS Scheme
  • Similix, a selfapplicable specializer for Scheme
  • Schism, a polyvariant specializer for pure Scheme
  • C-Mix, a cogen-based specializer for ANSI C
  • Tempo, a specialization system for C
  • SMLmix, a cogen-based specialization for ML
  • Type specialization

    • References

     [1]
    Dines Bjørner, Andrei P. Ershov, and Neil D. Jones, editors. Partial Evaluation and Mixed Computation, Amsterdam, 1988. North-Holland.
     [2]
    Charles Consel, editor. Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM '92, San Francisco, CA, June 1992. Yale University. Report YALEU/DCS/RR-909.
     [3]
    Charles Consel, editor. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '97, Amsterdam, The Netherlands, June 1997. ACM Press.
     [4]
    Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In Proc. 20th Annual ACM Symposium on Principles of Programming Languages, pages 493-501, Charleston, South Carolina, January 1993. ACM Press.
     [5]
    Olivier Danvy, editor. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '99, San Antonio, Texas, USA, January 1999. BRICS Notes Series NS-99-1.
     [6]
    Olivier Danvy, Robert Glück, and Peter Thiemann, editors. Dagstuhl Seminar on Partial Evaluation 1996, volume 1110 of Lecture Notes in Computer Science, Schloß Dagstuhl, Germany, February 1996. Springer-Verlag.
     [7]
    Olivier Danvy, Robert Glück, and Peter Thiemann, editors. 1998 Symposium on Partial Evaluation, volume 30 of ACM Computing Surveys. ACM Press, September 1998.
     [8]
    John Hatcliff, Torben Æ. Mogensen, and Peter Thiemann, editors. Partial Evaluation--Practice and Theory. Proceedings of the 1998 DIKU International Summerschool, number 1706 in Lecture Notes in Computer Science, Copenhagen, Denmark, 1999. Springer-Verlag.
     [9]
    Paul Hudak and Neil D. Jones, editors. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '91, New Haven, CT, June 1991. ACM. SIGPLAN Notices 26(9).
     [10]
    Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
     [11]
    William Scherlis, editor. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '95, La Jolla, CA, June 1995. ACM Press.
     [12]
    David Schmidt, editor. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '93, Copenhagen, Denmark, June 1993. ACM Press.
     [13]
    Peter Sestoft and Harald Søndergaard, editors. Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM '94, Orlando, Fla., June 1994. University of Melbourne, Australia. Technical Report 94/9, Department of Computer Science.
    thiemann@informatik.uni-freiburg.de, April 27, 2001