Eberhard Karls Universität, Tübingen      
Wilhelm-Schickard-Institut Schickard-Maschine
         
         
         
viewable with any
browser
     

Programmiersprachen und Übersetzer

Publikationen

(Siehe auch Tübinger Studientexte Informatik und Gesellschaft)

  1. Marcus Crestani, Michael Sperber. Erfolgreich Programmieren lernen und lehren. In M. Zimmermann, C. Bescherer, C. Spannagel (Hrsg.), Mathematik lehren in der Hochschule - Didaktische Innovationen für Vorkurse, Übungen und Vorlesungen. Hildesheim: Franzbecker, 2012.
  2. Holger Gast. Semi-automatic proofs about object graphs in separation logic, Automated Verification of Critical Systems (AVoCS '12), 2012 (to appear)
  3. Holger Gast. Mechanized Development of Object Graphs for Symbolic Execution, 2012
  4. Holger Gast. Zur Anwendung von Datenbanken in den Geisteswissenschaften, in: Tagung zum Kieler Professorenkatalog, O. Auge (ed.), Historisches Jahrbuch, 2012 (to appear)
  5. Holger Gast. Developer-oriented Correctness Proofs: a Case Study of Cheney's Algorithm, Proceedings of 13th International Conference on Formal Engineering Methods (ICFEM 2011), Shengchao Qin and Zongyan Qiu (ed.), LNCS 6991, 2011
  6. Holger Gast. Structuring Interactive Correctness Proofs by Formalizing Coding Idioms, 6th International Workshop on Systems Software Verification (SSV 2011), J$ouml;rg Brauer and Marco Roveri and Hendrik Tews (ed.), 2011
  7. Marcus Crestani, Michael Sperber. Erfolgreiche Anfängerausbildung im Programmieren. 40. Jahrestagung der Gesellschaft für Informatik 2010, Leipzig. Marcus Crestani, Michael Sperber. Growing Programming Languages for Beginning Students. International Conference on Functional Programming 2010, Baltimore, Maryland, USA, September 2010. ACM Press, New York.
  8. Holger Gast. Engineering the Prover Interface, in: User Interfaces for Theorem Provers (UITP '10), David Aspinall (ed.), 2010
  9. Holger Gast. Reasoning about memory layouts, in: Formal Methods in System Design, vol. 37, no. 2-3, p. 141-170, 2010
  10. Holger Gast. A Developer-oriented Hoare Logic (extended abstract), in: Proof Systems for Program Logics, Alex Simpson (ed.), 2010
  11. Holger Gast. Verifying the L4 Kernel Allocator in Lightweight Separation. Wilhelm-Schickard-Institut füur Informatik, University of Tübingen, 2010
  12. Holger Gast, Antonia Leugers, August H. Leugers-Scherzberg. Optimierung Historischer Forschung durch Datenbanken: Die exemplarische Datenbank "Missionsschulen 1887-1940". Klinkhardt, Bad Heilbrunn, 2010
  13. Holger Gast. Reasoning about Memory Layouts. 16th International Symposium on Formal Methods, Formal Methods in System Design, 37(2-3):141–170, 2010
  14. Marcus Crestani. Foreign-function interfaces for garbage-collected programming languages. 2008 Workshop on Scheme and Functional Programming, Victoria, British Columbia, Canada, 2009
  15. Holger Gast. Towards a Modular Extensible Isabelle Interface, in: Theorem Proving in Higher Order Logics - Emerging Trends Proceedings, Stefan Berghofer and Makarius Wenzel (ed.), TUM-I0916, Technical University of Munich, 2009
  16. Holger Gast, Julia Trieflinger. High-level Reasoning about Low-level Programs, Ninth International Workshop on Automated Verification of Critical Systems, in: Electronic Communications of the EASST, Markus Roggenbach (ed.), vol 23, 2009
  17. Holger Gast. Managing Proof Documents for Asynchronous Processing. In: User Interfaces for Theorem Provers (UITPs 2008), volume 226 of ENTCS, pages 49–66. Elsevier Science Publishers B. V., 2009.
  18. 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
  19. Holger Gast. Patterns and Traceability in Teaching Software Architecture. In: Principles and Practice of Programming in Java (PPPJ 2008), pages 23–31. ACM, 2008
  20. 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), 2008
  21. 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
  22. Holger Gast. Towards verification by symbolic debugging (extended abstract). In L.A. Dennis and V. Sorge, editors, Automated Reasoning Workshop, 2008.
  23. 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
  24. Eric Knauel. A flow-analysis framework for realistic Scheme programs. Dissertation, Universität Tübingen, 2008
  25. 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
  26. 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
  27. Herbert Klaeren und Michael Sperber. Die Macht der Abstraktion: Einführung in die Programmierung. Teubner, 2007
  28. Holger Gast, Almut Mainka-Mehling. Gewinnung Quantitativer Ergebnisse zu archäologischen Lebensbildern. In: Ingo Jonas: Datenbanken in den Geisteswissenschaften, Peter Lang, 2006
  29. Herbert Klaeren. Viren, Würmer und Trojaner. Streifzüge durch die Computerwelt. Klöpfer & Meyer, Tübingen 2006
  30. 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
  31. Martin Gasbichler und 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
  32. Martin Gasbichler und 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
  33. Holger Gast. A Generator for Type Checkers, Doktorarbeit, Universität Tübingen, 2004
  34. 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
  35. 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
  36. 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
  37. 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
  38. Bernd Pape, Detlev Krause und Horst Oberquelle (Hrsg.). Wissensprojekte. Gemeinschaftliches Lernen aus didaktischer, softwaretechnischer und organisatorischer Sicht. Waxmann-Verlag, Medien in der Wissenschaft, Band 27, 2004
  39. Michael Janneck und Detlev Krause. Einladung zur Nachahmung: Offene Lernveranstaltungen mit Medienunterstützung. In: Pape, Krause und Oberquelle 2004, S. 74-89
  40. Detlev Krause. Orte des Wissens - Präsentation oder Präsenz?. In: Pape, Krause und Oberquelle 2004, S. 254-276
  41. Martin Gasbichler, Eric Knauel, Michael Sperber und 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
  42. Herbert Klaeren und Michael Sperber. Vom Problem zum Programm: Architektur und Bedeutung von Computerprogrammen. Teubner Verlag, 2002
  43. Martin Gasbichler und 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.
  44. Martin Gasbichler und 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.
  45. Martin Gasbichler und 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).
  46. Martin Gasbichler, Matthias Neubauer, Michael Sperber und Peter Thiemann. Functional Logic Overloading. POPL'2002
  47. 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
  48. Martin Gasbichler und Holger Gast.Soft Interfaces: Typing Scheme at the Module Level. Proc. of the 2nd Workshop on Scheme and Functional Programming, 2001
  49. Matthias Neubauer, Peter Thiemann, Martin Gasbichler und Michael Sperber. A functional notation for functional dependencies. ACM Haskell Workshop Haskell '01, 2001
  50. Michael Sperber. Developing a Stage Lighting System from Scratch. ACM Int. Confr. Funct. Prog. 2001, SIGPLAN Notices 36(2001)10, 122-133
  51. Matthias Neubauer, Michael Sperber. Down with Emacs Lisp: Dynamic Scope Analysis. ACM Int. Confr. Funct. Prog. 2001, SIGPLAN Notices 36(2001)10, 38-49
  52. Detlev Krause, Michael Rentschler. Lehrreiche Leere - eine hochschuldidaktische Expedition (Teil 1): Theorie und Praxis eines Seminars ohne Programm. Das Hochschulwesen Jhg. 49 Nr. 2, 2001, 60-67
  53. Michael Sperber und Peter Thiemann. Generation of LR parsers by Partial Evaluation. ACM Transactions on Programming Languages and Systems, 22(2), pp. 224-264, March 2000
  54. 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
  55. Andreas Speck, Elke Pulvermüller und M. Mezini. Reusability of Concerns. Proc. ECOOP Workshop Aspects and Dimensions of Concerns, Sophia Antipolis, June 2000
  56. Elke Pulvermüller, Andreas Speck und Awais Rashid. Implementing Collaboration-Based Design Using Aspect-Oriented Programming. Proc. TOOLS USA 2000, Santa Barbara, p. 95-104. IEEE Press
  57. Herbert Klaeren. Eine Universität ohne Standort? attempto! Forum der Universität Tübingen, April 2000, p. 24-25
  58. Andreas Speck, Awais Rashid, Elke Pulvermüller und Ruzanna Chitchyan. Individual Software Development in Generative Programming. Collection of Abstracts of the 1st GCSE´99 Young Researchers Workshop, September 1999
  59. Herbert Klaeren. The Role of Formalisation in Software Construction. in: Dittrich, Yvonne, Christiane Floyd, Nimal Jayaratna, Finn Kensing und Ralf Klischewski (eds.): Social Thinking - Software Practice, Vol. 250 of Dagstuhl-Seminar-Report, 51-53, Dagstuhl, 1999. Int. Begegnungs- und Forschungszentrum für Informatik.
  60. Elke Pulvermüller. Aspekte in verteilten Umgebungen. Informatiktage 1999, Fachwissenschaftlicher Informatik-Kongreß, p. 110-112. Konradin-Verlag
  61. Johannes Busse, Detlev Krause, Sylvia Rizvi und 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)
  62. Andreas Speck und 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
  63. Elke Pulvermüller, Herbert Klaeren und Andreas Speck. Aspects in Distributed Environments, Proceedings of the GCSE´99, First International Symposium on Generative and Component-Based Software Engineering, Erfurt, 1999
  64. Andreas Speck, Awais Rashid, Elke Pulvermüller und Ruzanna Chitchyan. Individual Software Development in Generative Programming. In: Collection of Abstracts of the 1st GCSE´99 Young Researchers Workshop, Erfurt, 1999
  65. 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
  66. 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.
  67. Johannes Busse, Detlev Krause und Herbert Klaeren, Verbundlehre als didaktische Synthese von Ferne und Präsenz. Didaktisches Design, Heft 3/1998, p. 35-54
  68. 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
  69. Simon Helsen und Peter Thiemann. Two Flavors of Offline Partial Evaluation. ASIAN 98, December 1998, Manila, the Philippines, LNCS 1538, pp. 188-205
  70. Michael Sperber und Peter Thiemann. ML and the Adress Operator. 1998 ACM SIGPLAN Workshop on ML, September 1998, Baltimore, MD, pp. 4-13
  71. Christel Keller. "Globale Informationsgesellschaft": Wissenschaftliche Theorie-Politisches Programm-Globalisierte Gesellschaftssphäre. Berichte des Wilhelm-Schickard-Instituts für Informatik, WSI-98-8, 1998
  72. Christel Keller und 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
  73. Herbert Klaeren und Christiane Floyd. Informatik: gestern, heute und morgen. Studienbrief für das Fernstudium "Informatik und Gesellschaft" (Erprobungsfassung). Universität Tübingen, 1998
  74. Konrad Ott und Johannes Busse. Ethik in der Informatik. Studienbrief für das Fernstudium "Informatik und Gesellschaft" (Erprobungsfassung). Universität Tübingen, 1998
  75. 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)
  76. 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.
  77. 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.
  78. Andreas Speck. Objektorientiertes Framework zur Entwicklung von Robotersteuerungen. 5. Fachgruppentreffen der GI-Fachgruppe 2.1.9, p. 481 - 487, München, 1998. GI.
  79. 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.
  80. Herbert Kubicek. Möglichkeiten und Gefahren der "Informationsgesellschaft". Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  81. Ortwin Renn Fanny-Michaela Reisin. Über Informatik reden. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  82. Heidi Schelhowe. Technikentwicklung als sozialer Gestaltungsprozeß. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  83. Britta Schinzel. Informatik und Geschlechterdifferenz. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1998.
  84. Herbert Klaeren, Christiane Floyd und 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
  85. Herbert Klaeren und 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
  86. Martin Plümicke. Complete polymorphic order-sorted unification. in Proceedings of Programming Languages and Fundamentals of Programming, Fehmarn, September 1997 (dvi, postscript)
  87. Martin Plümicke. Parametric Polymorphism in OBJ-3. Technical report WSI-97-2 (dvi, postscript)
  88. Martin Plümicke und Christoph Schmitz. Polymorphically order-sorted types in OBJ-3. Technical report WSI-97-1 (dvi, postscript)
  89. 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, pages 215-225, Las Vegas, NV, USA, June 1997. ACM Press.
  90. 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.
  91. 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, pages 204-216, Amsterdam, The Netherlands, June 1997. ACM Press.
  92. Sperber, Michael, Peter Thiemann, und 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.
  93. 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.
  94. Lawall, Julia und 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.
  95. Thiemann, Peter und Michael Sperber. Program Generation With Class. In GI-Arbeitstagung Programmiersprachen, Aachen, Germany, September 1997. Springer-Verlag.
  96. 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.
  97. 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.
  98. 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.
  99. Peter Brödner. Informatik in der Arbeitswelt. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1997.
  100. Roland Eckert, Herrmann Dahm, Thomas Wetzstein. Informatik im persönlichen Leben. Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1997.
  101. Ralf Klischewski. Informatik und Gesellschaft - Eine Einführung Modul im Fernstudium Informatik und Gesellschaft, Universität Tübingen, 1997.
  102. Johannes Busse. Moral Judgment of Software Design through Metaphor Analysis. In Proceedings of ETHICOMP 1997, 6-.11.1996, Madrid, Spain, 1996.
  103. Johannes Busse. Responsible Computing. Science and Engineering Ethics , 2:231-232, 1996.
  104. Chin, Wei-Ngan, Khoo Siau-Chen und 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.
  105. Olivier Danvy, Robert Glück, und Peter Thiemann, editors. Partial Evaluation . volume 1110 of Lecture Notes in Computer Science , Schloß Dagstuhl, Germany, February 1996. Springer Verlag.
  106. 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.
  107. K John Gough und Herbert Klaeren. Eliminating range checks using Static Single Assignment form. In Proceedings of 19th Australian Computer Science Conference , Melbourne, 1996. Australian Computer Science Society.
  108. R. Hennicker und 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.
  109. 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.
  110. Herbert Klaeren. Der Softwareingenieur am Scheidewege. Nov. 1996.
  111. Martin Plümicke, Herbert Klaeren, und Eduard Hiti. Resolving of overloading and subtyping. In Perspectives of System Informatics, Preliminary Proceedings, pages 286-291, Akademgorodok, Novosibirsk, June 1996. (dvi, postscript)
  112. Michael Sperber. Self-applicable online partial evaluation. In Danvy et al.[1996], pages 465-480.
  113. Michael Sperber, Robert Glück, und 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.
  114. Michael Sperber und 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.
  115. 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.
  116. Peter Thiemann. Foundations of offline partial evaluation. Habilitationsschrift der Universität Tübingen, May 1996.
  117. 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.
  118. Peter Thiemann. Towards Partial Evaluation of Full Scheme. In Gregor Kiczales, editor, Reflection'96, pages 95-106, San Francisco, CA, USA, April 1996.
  119. Peter Thiemann. Drawing syntax diagrams in Haskell. Software - Practice and Experience, accepted for publication.
  120. Peter Thiemann und 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.
  121. Friedemann Banhart und Herbert Klaeren. A graphical query generator for clinical research databases. Methods of Information in Medicine , 34:328-339, 1995.
  122. 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.
  123. Herbert Klaeren. Ethik und Informatik. Dez. 1995.
  124. Herbert Klaeren. Strukturierte Programmierung. In G. Zilahi-Szabó (Herausgeber), Kleines Lexikon der Informatik , pp. 540-541. R. Oldenbourg Verlag, München, 1995.
  125. Herbert Klaeren. Thesen zur Programmierung. Apr. 1995.
  126. Herbert Klaeren und 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.
  127. Martin Plümicke und 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.
  128. 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.
  129. Michael Sperber und 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.
  130. 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.
  131. 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.
  132. 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.
  133. 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.
  134. Thiemann, Peter und 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.

ACM besteht darauf, daß die folgende Notiz abgedruckt wird:

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: Mon Mar 24 19:47:01 MET 2014