Uni-Logo

Publikationsliste, Arbeitsbereich Programmierung

Zeitschriften mit Begutachtung

  1. Peter Thiemann. Drawing Syntax Diagrams in Haskell. Software---Practice and Experience, 27(8):967-982, August 1997.



  2. Peter Thiemann. Combinators for Program Generation. Journal of Functional Programming, 9(5):483-525, September, 1999.



  3. Michael Sperber und Peter Thiemann. Generation of LR Parsers by Partial Evaluation. ACM Transactions on Programming Languages and Systems, 22(2):224-264, März 2000.



  4. Philip Wadler und Peter Thiemann. The marriage of effects and monads. ACM Transactions on Computational Logic, to appear 2001.

Tagungsbeiträge mit Begutachtung

  1. Thiemann, Peter: Terminated References and Automatic Parallelization for State Transformers. In Reddy, Uday S. (Hrsg.): ACM SIGPLAN Workshop on State in Programming Languages, San Francisco, CA, Januar 1995. University of Illinois.



  2. Sperber, Michael und Peter Thiemann: The Essence of LR Parsing. In Scherlis, William (Hrsg.): Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '95, S. 146--155, La Jolla, CA, Juni 1995. ACM Press.



  3. Thiemann, Peter: Polymorphic Typing and Unboxed Values Revisited. In Peyton Jones, Simon (Hrsg.): Proc. Functional Programming Languages and Computer Architecture 1995, S. 24--35, La Jolla, CA, Juni 1995. ACM Press, New York.



  4. Thiemann, Peter: Data Compression in Haskell with Imperative Extensions---A Case Study. In Hudak, Paul (Hrsg.): Proc. of the Haskell Workshop, S. 137--150, La Jolla, CA, Juni 1995. Yale University Research Report YALEU/DCS/RR-1075.



  5. Thiemann, Peter: Towards a Denotational Semantics for Concurrent State Transformers. In Takeichi, Masato (Hrsg.): Fuji Workshop on Functional and Logic Programming, Fuji Susono, Japan, Juli 1995. World Scientific Press, Singapore, S. 19--33.



  6. Thiemann, Peter und Robert Glück: The Generation of a Higher-Order Online Partial Evaluator. In Takeichi, Masato (Hrsg.): Fuji Workshop on Functional and Logic Programming, Fuji Susono, Japan, Juli 1995. World Scientific Press, Singapore, S. 239--253.



  7. Sperber, Michael, Robert Glück und Peter Thiemann: Bootstrapping Higher-Order Program Transformers from Interpreters. In Proc. 11th Annual ACM Symposium on Applied Computing, SAC (SAC '96), S. 408--413, Philadelphia, PA, Februar 1996. ACM.



  8. Thiemann, Peter: Cogen in Six Lines. In Dybvig, R. Kent (Hrsg.): Proc. ACM SIGPLAN International Conference on Functional Programming 1996, S. 180--189, Philadelphia, PA, Mai 1996. ACM Press, New York.



  9. Sperber, Michael und Peter Thiemann: Realistic Compilation by Partial Evaluation. In Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, S. 206--214, Philadelphia, PA, USA, Mai 1996. ACM Press.



  10. Thiemann, Peter: Towards Partial Evaluation of Full Scheme. In Kiczales, Gregor (Hrsg.): Reflection'96, S. 95--106, San Francisco, CA, USA, April 1996.



  11. Thiemann, Peter und Michael Sperber: Polyvariant Expansion and Compilergenerators. In PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics, Novosibirsk, Russia, Juni 1996.



  12. Chin, Wei-Ngan, Khoo Siau-Chen und Thiemann, Peter: Synchronization Analyses for Multiple Recursion Parameters. In Danvy, Olivier, Glück, Robert und Thiemann, Peter (Hrsg.): Partial Evaluation, Proceedings of a Dagstuhl Seminar, S. 33--53, Lecture Notes in Computer Science, Band 1110, Schloß Dagstuhl, Germany, Februar 1996. Springer-Verlag.



  13. Thiemann, Peter: Implementing Memoization for Partial Evaluation. In Kuchen, Herbert und Doaitse Swierstra (Hrsg.): Programming Languages, Implementations, Logics, and Programs (PliLP '96), Bd. 1140 Reihe Lecture Notes in Computer Science, Aachen, Germany, September 1996. Springer-Verlag.



  14. Thiemann, Peter: A Unified Framework for Binding-Time Analysis. In Colloquium on Formal Approaches in Software Engineering (FASE/TAPSOFT '97), Bd. 1214 Reihe Lecture Notes in Computer Science, Lille, France, April 1997. Springer-Verlag.



  15. Sperber, Michael und Peter Thiemann: Two for the Price of One: Composing Partial Evaluation and Compilation. In Proc. of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, S. 215--225, Las Vegas, NV, USA, Juni 1997. ACM Press.



  16. Thiemann, Peter: Correctness of a Region-Based Binding-Time Analysis. In Michael Mislove (Hrsg.): Mathematical Foundations of Programming Semantics (MFPS XIII), Bd. 6 Reihe Electronic Notes in Theoretical Computer Science, Pittsburgh, PA, USA, März 1997. Elsevier Science.



  17. Dussart, Dirk, John Hughes, und Peter Thiemann: Type Specialisation for Imperative Languages. In Proc. of the ACM SIGPLAN '97 International Conference on Functional Programming, ICFP'97, S. 204--216, Amsterdam, The Netherlands, Juni 1997. ACM Press.



  18. Sperber, Michael, Herbert Klaeren und Peter Thiemann: Distributed Partial Evaluation. In Proc. of the Second International Symposium on Parallel Symbolic Computation, PASCO'97, S. 80--87, Maui, Hawaii, Juli 1997.



  19. Lawall, Julia und Peter Thiemann: Sound Specialization in the Presence of Computational Effects. In Theoretical Aspects of Computer Software (TACS '97), Bd. 1281 Reihe Lecture Notes in Computer Science, S. 165--190, Sendai, Japan, September 1997. Springer-Verlag.



  20. Thiemann, Peter und Michael Sperber: Program Generation With Class. In GI-Arbeitstagung Programmiersprachen, Aachen, Germany, September 1997. Springer-Verlag.



  21. Barthe, Gilles und John Hatcliff und Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report). In Proceedings of HOOTS'97, Bd. 10 Reihe Electronic Notes in Theoretical Computer Science, 1998.



  22. Jagannathan, Suresh und Peter Thiemann und Stephen Weeks und Andrew Wright: Single and Loving it: Must Alias-Analysis for Higher-Order Languages. In Proceedings of the 25th Annual ACM Symposium on Principles of Programming Languages, S. 329--341, San Diego, CA, USA, Januar 1998. ACM Press.



  23. Thiemann, Peter: A Generic Framework for Specialization. In European Symposium on Programming, ESOP '98, Bd. 1381 Reihe Lecture Notes in Computer Science, S. 267--281, Lisboa, Portugal, April 1998. Springer-Verlag.



  24. Thiemann, Peter: Formalizing Resource Allocation. In Types in Compilation, TIC '98, Bd. 1473 Reihe Lecture Notes in Computer Science, Kyoto, Japan, März 1998. Springer-Verlag.



  25. Sperber, Michael und Peter Thiemann: ML and the Address Operator. In The 1998 ACM SIGPLAN Workshop on ML, Baltimore, Maryland, USA, September 1998.



  26. Helsen, Simon und Peter Thiemann: Two Flavors of Offline Partial Evaluation. In Asian Computing Science Conference, ASIAN'98, Bd. 1538 Reihe Lecture Notes in Computer Science, S. 188--205, Manila, The Phillipines, Dezember 1998. Springer-Verlag.



  27. Thiemann, Peter: Interpreting Specialization in Type Theory. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '99, S. 30--43, San Antonio, Texas, USA, Januar 1999. brICS Notes Series NS-99-1.



  28. Thiemann, Peter: ML-Style Typing, Lambda Lifting, and Partial Evaluation. In Proceedings of the Latin American Conference on Functional Programming, CLAPF '99, Recife, Brasilien, März 1999.



  29. Thiemann, Peter: Higher-Order Code Splicing. In European Symposium on Programming, ESOP '99, Bd. 1576 Reihe Lecture Notes in Computer Science, Amsterdam, The Netherlands, März 1999. Springer-Verlag.



  30. Thiemann, Peter: Modeling HTML in Haskell. In Practical Aspects of Declarative Languages, Proceedings of the Second International Workshop, PADL'00, Bd. 1753 Reihe Lecture Notes in Computer Science, S. 263-277, Boston, MA, USA, Januar 2000. Springer-Verlag.



  31. Thiemann, Peter: Compiling Adaptive Programs by Partial Evaluation. In Compiler Construction, CC '00, Bd. 1781 Reihe Lecture Notes in Computer Science, S. 264-278, Berlin, Germany, März 2000. Springer-Verlag.



  32. Thiemann, Peter: An Algebraic Foundation for Adaptive Programming. In Foundations of Software Science and Computation Structures, FOSSACS 2000, Bd. 1784 Reihe Lecture Notes in Computer Science, S. 314-328, Berlin, Germany, März 2000. Springer-Verlag.



  33. Helsen, Simon und Peter Thiemann: Fragmental Specialization. In Semantics, Applications and Implementation of Program Generation (SAIG'00), Bd. 1927 Reihe Lecture Notes in Computer Science, Montreal, Kanada, September 2000. Springer-Verlag.



  34. Helsen, Simon und Peter Thiemann: Syntactic Type Soundness for the Region Calculus. In The Fourth International Workshop on Higher Order Operational Techniques in Semantics, HOOTS, Bd. ? Reihe Electronic Notes in Theoretical Computer Science, Montreal, Kanada, September 2000. Elsevier Science.



  35. Thiemann, Peter: Enforcing Safety Properties Using Type-Specialization. In European Symposium on Programming, ESOP 2001, Bd. 2028 Reihe Lecture Notes in Computer Science, S. 62--76, Genova, Italy, April 2001. Springer-Verlag.

Tagungsbände

  1. Danvy, Olivier, Robert Glück und Peter Thiemann (Hrsg.): Partial Evaluation, Proceedings of a Dagstuhl Seminar, Lecture Notes in Computer Science, Band 1110, Schloß Dagstuhl, Germany, Februar 1996. Springer-Verlag.



  2. Hatcliff, John, Torben Mogensen und Peter Thiemann (Hrsg.): 1998 International Summerschool on Partial Evaluation, Lecture Notes in Computer Science, Band 1706, Copenhagen, Denmark, Juli 1999. Springer-Verlag.

Sonstiges

  • Peter Thiemann. Foundations of Offline Partial Evaluation. Habilitationsschrift, Fakultät für Informatik, Universität Tübingen, Mai 1996.

This document was translated from LATEX by HEVEA .