Eberhard Karls Universität, Tübingen      

Wilhelm-Schickard-Institut
viewable with any browser
      

Programming Research Group

Publications

(See also Tübinger Studientexte Informatik und Gesellschaft)

  1. Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, Stefan Wehr. Auf dem Weg zu einer robusten Programmierausbildung. 3. GI-Fachtagung Hochschuldidaktik Informatik, Potsdam, 2008. Universitätsverlag Potsdam, 2009, p. 67-80
  2. Holger Gast. Managing Proof Documents for Asynchronous Processing. In: User Interfaces for Theorem Provers (UITPs 2008), to appear
  3. Holger Gast. Patterns and Traceability in Teaching Software Architecture. In: Principles and Practice of Programming in Java (PPPJ 2008), to appear 2008
  4. Holger Gast. Relationale Datenbanken im Lebensbilder-Projekt. In: Almut Mainka-Mehling: Lebensbilder. Zur Darstellung des ur- und frühgeschichtlichen Menschen in der Archäologie. Greiner (Remshalden), erscheint 2008
  5. Holger Gast. Lightweight Separation. In: O. Ait Mohamed, C. Munoz, S. Tahar: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Springer Lecture Notes in Computer Science, Vol. 5170, 2008
  6. Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, Stefan Wehr. HtDP and DMdA in the Battlefield --- A Case Study in First-year Programming Instruction. FDPE'08: Proceedings of the 2008 Workshop Functional and Declarative Programming in Education, 2008, 1-12
  7. Eric Knauel. A flow-analysis framework for realistic Scheme programs. Dissertation, Universität Tübingen, 2008
  8. Holger Gast. Forschendes Lernen am Beispiel der Vorlesung "Software-Architektur". In: Karin Reiber: Tübinger Beiträge zur Hochschuldidaktik, Vol. 3(1), 2008, p. 13-18
  9. Holger Gast. An Architecture for Extensible Click'n Prove Interfaces. In: Klaus Schneider, Jens Brandt, Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, University of Kaiserslautern, 364/07, 2007
  10. Herbert Klaeren und Michael Sperber. Die Macht der Abstraktion: Einführung in die Programmierung. Teubner, 2007
  11. Holger Gast, Almut Mainka-Mehling. Gewinnung Quantitativer Ergebnisse zu archäologischen Lebensbildern. In: Ingo Jonas: Datenbanken in den Geisteswissenschaften, Peter Lang, 2006
  12. Herbert Klaeren. Viren, Würmer und Trojaner. Streifzüge durch die Computerwelt. Klöpfer & Meyer, Tübingen 2006
  13. Herbert Klaeren. Commodore Schreibsystem CBM. In: Volker Harms, Gottfried Korff, Anette Michels: Achtunddreissig Dinge: Schätze aus den Natur- und Kulturwissenschaftlichen Sammlungen der Universität Tübingen, Eberhard-Karls-Universität Tübingen, 2006, p. 78-79
  14. Martin Gasbichler and Michael Sperber. Integrating User-Level Threads with Processes in Scsh. Higher-Order and Symbolic Computation Vol. 18, No. 3-4, 2005, pp. 327-354. Springer Verlag
  15. Martin Gasbichler and Eric Knauel. Commander S --- the shell as a browser. Proceedings of the Sixth Workshop on Scheme and Functional Programming. p. 55-67. J. Michael Ashley, Michael Sperber (ed.), Tallinn, 2005
  16. Holger Gast. A Generator for Type Checkers, Doktorarbeit, Universität Tübingen, 2004
  17. Holger Gast, Albrecht Haug, Rüdiger Loos, Volker Simonis, Roland Weiss. CIS: A Web-Based Course Information System, Berichte des Wilhelm-Schickard-Instituts für Informatik, WSI-2004-01, 2004
  18. Holger Gast. Explaining ML Type Errors by Data Flows. In: Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder: Implementation and Application of Functional Languages, 16th Internaltional Workshop, IFL 2004, Lübeck, Germany, September 2004; Revised Selected Papers, Lecture Notes in Computer Science 3474, pp. 72-89, Springer Verlag
  19. Eric Knauel. Compiling Emacs Lisp to Scheme, Proceedings of the 16th International Workshop on Implementation and Application of Functional Languages (IFL'04), Lübeck, Germany, 2004
  20. Herbert Klaeren. Softwaretechnik - Das Reich der Mitte. In: Wolf-Gideon Bleek (ed.): Softwaretechnik im Kontext - Schritte und Spuren. Berichte des Fachbereichs Informatik Nr. 256, Universität Hamburg, 2004
  21. Bernd Pape, Detlev Krause and Horst Oberquelle (eds.). Wissensprojekte. Gemeinschaftliches Lernen aus didaktischer, softwaretechnischer und organisatorischer Sicht. Waxmann-Verlag, Medien in der Wissenschaft, Band 27, 2004
  22. Michael Janneck and Detlev Krause. Einladung zur Nachahmung: Offene Lernveranstaltungen mit Medienunterstützung. In: Pape, Krause and Oberquelle 2004, p. 74-89
  23. Detlev Krause. Orte des Wissens - Präsentation oder Präsenz?. In: Pape, Krause and Oberquelle 2004, p. 254-276
  24. Martin Gasbichler, Eric Knauel, Michael Sperber and Richard Kelsey. How to Add Threads to a Sequential Language Without Getting Tangled Up. Proceedings of the Fourth Workshop on Scheme and Functional Programming, p. 30-47, Matthew Flatt (ed.), Boston, 2003
  25. Herbert Klaeren and Michael Sperber. Vom Problem zum Programm: Architektur und Bedeutung von Computerprogrammen. Teubner Verlag, 2002
  26. Martin Gasbichler and Michael Sperber. Processes vs. User-Level Threads in Scsh. Proceedings of the Third Workshop on Scheme and Functional Programming, p. 49-56, Olin Shivers (ed.), Pittsburgh 2002.
  27. Martin Gasbichler and Michael Sperber. Final Shift for Call/cc: Direct Implementation of Shift and Reset. Proceedings International Conference on Functional Programming 2002, p. 271-282, Simon Peyton-Jones (ed.), Pittsburgh.
  28. Martin Gasbichler and Michael Sperber. A Direct Implementation of Shift/Reset. Proceedings of the 13th International Workshop on the Implementation of Functional Languages, Stockholm, Sweden, 2002. SIGPLAN Notices 37(9).
  29. Martin Gasbichler, Matthias Neubauer, Michael Sperber and Peter Thiemann. Functional Logic Overloading. POPL'2002
  30. Herbert Klaeren, Elke Pulvermüller, Awais Rashid and Andreas Speck. Aspect Composition Applying the Design by Contract Principle. Proc. of GCSE'2000, Erfurt, 2000. Springer LNCS 2177, p. 57-69, 2001
  31. Martin Gasbichler and Holger Gast.Soft Interfaces: Typing Scheme at the Module Level. Proc. of the 2nd Workshop on Scheme and Functional Programming, 2001
  32. Matthias Neubauer, Peter Thiemann, Martin Gasbichler and Michael Sperber. A functional notation for functional dependencies. ACM Haskell Workshop Haskell '01, 2001
  33. Michael Sperber. Developing a Stage Lighting System from Scratch. ACM Int. Confr. Funct. Prog. 2001, SIGPLAN Notices 36(2001)10, 122-133
  34. Matthias Neubauer, Michael Sperber. Down with Emacs Lisp: Dynamic Scope Analysis. ACM Int. Confr. Funct. Prog. 2001, SIGPLAN Notices 36(2001)10, 38-49
  35. Detlev Krause and Michael Rentschler. Lehrreiche Leere - eine hochschuldidaktische Expedition (Teil 1): Theorie und Praxis eines Seminars ohne Programm. Das Hochschulwesen Vol. 49 No.2, 2001, p. 60-67
  36. Michael Sperber and Peter Thiemann. Generation of LR parsers by Partial Evaluation. ACM Transactions on Programming Languages and Systems, 22(2), pp. 224-264, March 2000
  37. Andreas Speck. Component-Based Control System. Proc. of ECBS'2000, Intl. IEEE Symposium and Workshop on Engineering of Computer-Based Systems, Edinburgh, p. 176-184
  38. Andreas Speck, Elke Pulvermüller and M. Mezini. Reusability of Concerns. Proc. ECOOP Workshop Aspects and Dimensions of Concerns, Sophia Antipolis, June 2000
  39. Elke Pulvermüller, Andreas Speck and Awais Rashid. Implementing Collaboration-Based Design Using Aspect-Oriented Programming. Proc. TOOLS USA 2000, Santa Barbara, p. 95-104. IEEE Press
  40. Herbert Klaeren. Eine Universität ohne Standort? attempto! Forum der Universität Tübingen, April 2000, p. 24-25
  41. Andreas Speck, Awais Rashid, Elke Pulvermüller and Ruzanna Chitchyan. Individual Software Development in Generative Programming. Collection of Abstracts of the 1st GCSE´99 Young Researchers Workshop, September 1999
  42. Herbert Klaeren. The Role of Formalisation in Software Construction. in: Dittrich, Yvonne, Christiane Floyd, Nimal Jayaratna, Finn Kensing and Ralf Klischewski (eds.): Social Thinking - Software Practice, Vol. 250 of Dagstuhl-Seminar-Report, 51-53, Dagstuhl, 1999. Int. Begegnungs- und Forschungszentrum für Informatik.
  43. Elke Pulvermüller. Aspekte in verteilten Umgebungen. Informatiktage 1999, Fachwissenschaftlicher Informatik-Kongreß, p. 110-112. Konradin-Verlag
  44. Johannes Busse, Detlev Krause, Sylvia Rizvi and Herbert Klaeren. Inhalte, Kontexte und Mediendidaktik in "Informatik und Gesellschaft". Beiträge zur Tagung PoStInG (Praxisorientiertes Studium Informatik und Gesellschaft. Berichte des Wilhelm-Schickard-Instituts, WSI-99-16, 1999. PostScript (1635 kb) PDF (254 kb)
  45. Andreas Speck and Herbert Klaeren. RoboSiM: Java 3D Robot Visualization, In: Proceedings of the IECON'99, the 26th Annual Conference of the IEEE Industrial Electronics Society, San Jose, CA, 1999
  46. Elke Pulvermüller, Herbert Klaeren and Andreas Speck. Aspects in Distributed Environments, Proceedings of the GCSE´99, First International Symposium on Generative and Component-Based Software Engineering, Erfurt, 1999
  47. Andreas Speck, Awais Rashid, Elke Pulvermüller and Ruzanna Chitchyan. Individual Software Development in Generative Programming. In: Collection of Abstracts of the 1st GCSE´99 Young Researchers Workshop, Erfurt, 1999
  48. D. Parsons, A. Rashid, A. Speck, A. Telea. A "Framework" for Object-Oriented Frameworks Design. TOOLS EUROPE'99; Objects, Components, Agents; Technology of Object-Oriented Languages and Systems 29th International Conference and Exhibition, Nancy, 1999
  49. Andreas Speck. RoboSiM - Eine Java-basierte Robotervisualisierung. In: Silvano Maffeis, Fridtjof Toenniessen, Christian Zeidler (eds.) Erfahrungen mit Java - Projekte aus Industrie und Hochschule. p. 293-310. dpunkt, Heidelberg, 1999.
  50. Johannes Busse, Detlev Krause and Herbert Klaeren, Verbundlehre als didaktische Synthese von Ferne und Präsenz. Didaktisches Design, Heft 3/1998, p. 35-54
  51. Detlev Krause. Diskussionen mit und ohne Netz. Erfahrungen mit der Netzkomponente im Fernstudium "Informatik und Gesellschaft". Berichte des Wilhelm-Schickard-Instituts für Informatik, Nr. WSI-98-15, 1998
  52. Simon Helsen and Peter Thiemann. Two Flavors of Offline Partial Evaluation. ASIAN 98, December 1998, Manila, the Philippines, LNCS 1538, pp. 188-205
  53. Michael Sperber and Peter Thiemann. ML and the Adress Operator. 1998 ACM SIGPLAN Workshop on ML, September 1998, Baltimore, MD, pp. 4-13
  54. Christel Keller. "Globale Informationsgesellschaft": Wissenschaftliche Theorie-Politisches Programm-Globalisierte Gesellschaftssphäre. Berichte des Wilhelm-Schickard-Instituts für Informatik, WSI-98-8, 1998
  55. Christel Keller and Olaf Thelen. Informatik und Gesellschaft - Ein Fernstudienbaustein für Studierende der Informatik. Vom Konzept zur Erprobung. Berichte des Wilhelm-Schickard-Instituts für Informatik, Nr. WSI-98-5, 1998
  56. Herbert Klaeren and Christiane Floyd. Informatik: gestern, heute und morgen. Studienbrief für das Fernstudium "Informatik und Gesellschaft" (Erprobungsfassung). Universität Tübingen, 1998
  57. Konrad Ott and Johannes Busse. Ethik in der Informatik. Studienbrief für das Fernstudium "Informatik und Gesellschaft" (Erprobungsfassung). Universität Tübingen, 1998
  58. Martin Plümicke. Type-Inference in OBJ-P. In: Proceedings of the 7th International Workshop on Fuctional and Logic Programming, Bad Honnef, April 1998 (dvi, postscript)
  59. A. Speck, G. Gruhler, W. Küchlin. Object-Oriented Robot Control Framework. Proceedings of IECON'98, 24th Annual Conference of the IEEE Industrial Electronics Society, p. 1663 - 1666, Aachen, Germany, 1998. IEEE Press.
  60. Andreas Speck. Object-Oriented Control Systems on Standard Hardware. In: F. Gerhardt, L. Benedicenti, E. Ernst (eds.) Proc. 8th Workshop for PhD Students in Object-Oriented Systems, 12th European Conference on Object-Oriented Programming. Brussels, Belgium, 1998. Datalogistik Afdeling Aarhus University.
  61. Andreas Speck. Objektorientiertes Framework zur Entwicklung von Robotersteuerungen. 5. Fachgruppentreffen der GI-Fachgruppe 2.1.9, p. 481 - 487, München, 1998. GI.
  62. Andreas Speck. Robot Simulation and Monitoring on Real Controllers (RoboSiM). In: Proceedings of ESS'98, 10th European Simulation Symposium and Exhibition, p. 481 - 487, Nottingham, UK, 1998. Scs.
  63. Herbert Kubicek. Möglichkeiten und Gefahren der "Informationsgesellschaft". Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  64. Ortwin Renn Fanny-Michaela Reisin. Über Informatik reden. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  65. Heidi Schelhowe. Technikentwicklung als sozialer Gestaltungsprozeß. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  66. Britta Schinzel. Informatik und Geschlechterdifferenz. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  67. Herbert Klaeren, Christiane Floyd and Friedrich Diestelmeier. Informatics and Society: A Curriculum for Distance Education. in: Foundations of Computer Science: Potential-Theory-Cognition (Ch. Freksa, M. Jantzen, R. Valk (eds), Springer LNCS 1337, p. 69-78, 1997
  68. Herbert Klaeren and K John Gough. Executable Assertions and Separate Compilation. Joint Modular Languages Conference 1997, Linz, Springer Lecture Notes in Computer Science Vol. 1204, p. 41-52
  69. Martin Plümicke. Complete polymorphic order-sorted unification. in Proceedings of Programming Languages and Fundamentals of Programming, Fehmarn, September 1997 (dvi, postscript)
  70. Martin Plümicke. Parametric Polymorphism in OBJ-3. Technical report WSI-97-2 (dvi, postscript)
  71. Martin Plümicke and Christoph Schmitz. Polymorphically order-sorted types in OBJ-3. Technical report WSI-97-1 (dvi, postscript)
  72. Sperber, Michael and 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, pages 215-225, Las Vegas, NV, USA, June 1997. ACM Press.
  73. Thiemann, Peter. Correctness of a Region-Based Binding-Time Analysis. In Michael Mislove (Editor): Mathematical Foundations of Programming Semantics (MFPS XIII), volume 6 of Electronic Notes in Theoretical Computer Science, Pittsburgh, PA, USA, March 1997. Elsevier Science.
  74. Dussart, Dirk, John Hughes, and Peter Thiemann. Type Specialisation for Imperative Languages. In Proc. of the ACM SIGPLAN '97 International Conference on Functional Programming, ICFP'97, pages 204-216, Amsterdam, The Netherlands, June 1997. ACM Press.
  75. Sperber, Michael, Peter Thiemann, and Herbert Klaeren. Distributed Partial Evaluation. In Proc. of the Second International Symposium on Parallel Symbolic Computation, PASCO'97, pages 80-87, Maui, Hawaii, July 1997.
  76. Thiemann, Peter. A Unified Framework for Binding-Time Analysis. In Bidoit, Michel (Editor): Colloquium on Formal Approaches in Software Engineering (FASE '97), pages 742-756, volume 1214 of Lecture Notes in Computer Science, Lille, France, April 1997. Springer-Verlag.
  77. Lawall, Julia and Peter Thiemann. Sound Specialization in the Presence of Computational Effects. In Theoretical Aspects of Computer Software (TACS '97), volume 1281 of Lecture Notes in Computer Science, Sendai, Japan, September 1997. Springer-Verlag.
  78. Thiemann, Peter and Michael Sperber. Program Generation With Class. In GI-Arbeitstagung Programmiersprachen, Aachen, Germany, September 1997. Springer-Verlag.
  79. W. Küchlin, G. Gruhler, T. Lumpp, A. Speck, A. Rupp. HIGHROBOT. Telerobotics in the Internet. Proceedings of ETFA'97, Int'l IEEE Conference on Emerging Technologies and Factory Automation, p. 115 - 120, Los Angeles, 1997. IEEE Computer Society Press.
  80. W. Küchlin, G. Gruhler, A. Speck, T. Lumpp. HIGHROBOT. A High-performance Universal Robot Control on Parallel Workstations. Proceedings of ECBS'97, Int'l IEEE Symposium and Workshop on Engineering of Computer Based Systems, p. 444 - 451, Monterey, 1997. IEEE Computer Society Press.
  81. W. Küchlin, G. Gruhler, A. Speck, T. Lumpp. HIGHROBOT. Distributed Object-Oriented Real-Time Systems Proceedings of ARCS'97, 14th international ITG/GI-Conference Architecture of Computer Systems, p. 91 - 99, Rostock, 1997. VDI.
  82. Peter Brödner. Informatik in der Arbeitswelt. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1997.
  83. Roland Eckert, Herrmann Dahm, Thomas Wetzstein. Informatik im persönlichen Leben. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1997.
  84. Ralf Klischewski. Informatik und Gesellschaft - Eine Einführung Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1997.
  85. Johannes Busse. Moral Judgment of Software Design through Metaphor Analysis. In Proceedings of ETHICOMP 1997, 6-.11.1996, Madrid, Spain, 1996.
  86. Johannes Busse. Responsible Computing. Science and Engineering Ethics , 2:231-232, 1996.
  87. Chin, Wei-Ngan, Khoo Siau-Chen and Thiemann, Peter. Synchronization Analyses for Multiple Recursion Parameters. In Danvy, Olivier, Glück, Robert and Thiemann, Peter (Editors): Partial Evaluation, Proceedings of a Dagstuhl Seminar, pages 33-53, Lecture Notes in Computer Science, volume 1110, Schloß Dagstuhl, Germany, February 1996. Springer-Verlag.
  88. Olivier Danvy, Robert Glück, and Peter Thiemann, editors. Partial Evaluation . volume 1110 of Lecture Notes in Computer Science , Schloß Dagstuhl, Germany, February 1996. Springer Verlag.
  89. Friedrich Diestelmeier, Christiane Floyd, Christel Keller, Herbert Klaeren. "Informatik und Gesellschaft" - ein Fernstudienbaustein für das grundständige Studium an Präsenzhochschulen. Forschungsergebnisse und Materialien, Deutsches Institut für Fernstudienforschung, Tübingen, 1996.
  90. K John Gough and Herbert Klaeren. Eliminating range checks using Static Single Assignment form. In Proceedings of 19th Australian Computer Science Conference , Melbourne, 1996. Australian Computer Science Society.
  91. R. Hennicker and C. Schmitz. Object-Oriented Implementation of Abstract Data Type Specifications. In M. Wirsing and M. Nivat, editors, AMAST '96 , Lecture Notes in Computer Science 1101, pages 163-179. Springer, 1996.
  92. Herbert Klaeren. Programming languages: A framework for comparison and choice. In Mark Woodman, editor, Programming Language Choice - Practice and experience , pages 7-27. International Thomson Publishing, 1996.
  93. Herbert Klaeren. Der Softwareingenieur am Scheidewege. Nov. 1996.
  94. Martin Plümicke, Herbert Klaeren, and Eduard Hiti. Resolving of overloading and subtyping. In Perspectives of System Informatics, Preliminary Proceedings, pages 286-291, Akademgorodok, Novosibirsk, June 1996. (dvi, postscript)
  95. Michael Sperber. Self-applicable online partial evaluation. In Danvy et al.[1996], pages 465-480.
  96. Michael Sperber, Robert Glück, and Peter Thiemann. Bootstrapping higher-order program transformers from interpreters. In Proc. 11th Annual Symposium on Applied Computing, SAC (SAC '96), pages 408-413, Philadelphia, PA, February 1996. ACM.
  97. Michael Sperber and Peter Thiemann. Realistic compilation by partial evaluation. In Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 206-214, Philadelphia, PA, USA, May 1996. ACM Press.
  98. Peter Thiemann. Cogen in six lines. In R. Kent Dybvig, editor, Proc. International Conference on Functional Programming 1996, pages 180-189, Philadelphia, PA, May 1996. ACM Press, New York.
  99. Peter Thiemann. Foundations of offline partial evaluation. Habilitationsschrift der Universität Tübingen, May 1996.
  100. Peter Thiemann. Implementing memoization for partial evaluation. In Herbert Kuchen and Doaitse Swierstra, editors, Programming Languages, Implementations, Logics, and Programs (PLILP '96), volume 1140 of Lecture Notes in Computer Science, pages 198-212, Aachen, Germany, September 1996. Springer Verlag.
  101. Peter Thiemann. Towards Partial Evaluation of Full Scheme. In Gregor Kiczales, editor, Reflection'96, pages 95-106, San Francisco, CA, USA, April 1996.
  102. Peter Thiemann. Drawing syntax diagrams in Haskell. Software - Practice and Experience, accepted for publication.
  103. Peter Thiemann and Michael Sperber. Polyvariant expansion and compiler generators. In PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics, volume 1181 of Lecture Notes in Computer Science, pages 285-296, Novosibirsk, Russia, June 1996. Springer Verlag.
  104. Friedemann Banhart and Herbert Klaeren. A graphical query generator for clinical research databases. Methods of Information in Medicine , 34:328-339, 1995.
  105. Johannes Busse, Herbert Klaeren, Gabriele Reich. Informatikkenntnisse von Jugendlichen, untersucht am Beispiel des 11. Bundeswettbewerbs Informatik. Berichte des Wilhelm-Schickard-Instituts WSI-95-2, Universität Tübingen, 1995.
  106. Herbert Klaeren. Ethik und Informatik. Dez. 1995.
  107. Herbert Klaeren. Strukturierte Programmierung. In G. Zilahi-Szabó (Herausgeber), Kleines Lexikon der Informatik , pp. 540-541. R. Oldenbourg Verlag, München, 1995.
  108. Herbert Klaeren. Thesen zur Programmierung. Apr. 1995.
  109. Herbert Klaeren and Peter Thiemann. Merging formal methods with rapid prototyping. In Martin Wirsing, editor, 17th Int. Confr. Software Engineering, Workshop on Formal Methods Application in Software Engineering Practice , pages 39-46. ACM SIGSOFT/ IEEE Computer Society TCSE, 1995.
  110. Martin Plümicke and Herbert Klaeren. Concepts for overloading and subtyping in an algebraic specification language. Berichte des Wilhelm-Schickard-Instituts WSI-95-22, Universität Tübingen, 1995.
  111. Martin Plümicke. Semantics and implementation of a functional programming language with subtypes and overloading. In J. Ebert (Herausgeber), Alternative Konzepte für Sprachen und Rechner, Bad Honnef 1995.
  112. Michael Sperber and Peter Thiemann. The essence of LR parsing. In William Scherlis, editor, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '95, pages 146-155, La Jolla, CA, June 1995. ACM Press.
  113. Peter Thiemann. Data compression in Haskell with imperative extensions-a case study. In Paul Hudak, editor, Proc. of the Haskell Workshop, pages 137-150, La Jolla, CA, June 1995. Yale University Research Report YALEU/DCS/RR-1075.
  114. Peter Thiemann. Polymorphic typing and unboxed values revisited. In Simon Peyton Jones, editor, Proc. Functional Programming Languages and Computer Architecture 1995, pages 24-35, La Jolla, CA, June 1995. ACM Press, New York.
  115. Peter Thiemann. Terminated references and automatic parallelization for state transformers. In Uday S. Reddy, editor, ACM SIGPLAN Workshop on State in Programming Languages, San Francisco, CA, January 1995. University of Illinois.
  116. Thiemann, Peter. Towards a Denotational Semantics for Concurrent State Transformers. In Takeichi, Masato (Editor): Fuji Workshop on Functional and Logic Programming, Fuji Susono, Japan, July 1995. World Scientific Press, Singapore, pages 19-33.
  117. Thiemann, Peter and Robert Glück. The Generation of a Higher-Order Online Partial Evaluator. In Takeichi, Masato (Editor): Fuji Workshop on Functional and Logic Programming, Fuji Susono, Japan, July 1995. World Scientific Press, Singapore, pages 239-253.

The ACM requires this disclaimer:

The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Here's the full text of the ACM copyright notice.

Address

Universität Tübingen
Wilhelm-Schickard-Institut für Informatik
Sand 13
D-72076 Tübingen
Germany
Fon:
+49 7071 29-78955
Fax:
+49 7071 29-5082

Prof. Herbert Klaeren Anbieterkennung
Last modified: Wed Jun 17 15:38:27 MST 2009