Skip to main content
SpringerLink
Log in

An Appreciation of the Work of Reinhard Wilhelm

  • Chapter
Program Analysis and Compilation, Theory and Practice

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4444))

  • 596 Accesses

Abstract

Wilhelm’s career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions in the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception as the Scientific Director of the International Conference and Research Center for Computer Science at Schloß Dagstuhl.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Wilhelm, R. (ed.): Dagstuhl Seminar 2000. LNCS, vol. 2000. Springer, Heidelberg (2001)

    Google Scholar 

  2. Wilhelm, R. (ed.): CC 2001 and ETAPS 2001. LNCS, vol. 2027. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  3. Wilhelm, R.: Informatik: Grundlagen - Amwendungen - Perspektiven [Forum ”Perspektiven der Informatik”, Dagstuhl, November 1993]. C.H. Beck, München (1996)

    Google Scholar 

  4. Wilhelm, R.: Generische und generative Methoden, pp. 84–85 (1993)

    Google Scholar 

  5. Wilhelm, R., Hagen, H.: Programmiersprachen. In: Perspektiven der Informatik, pp. 86–90 (1993)

    Google Scholar 

  6. Claus, V., Wilhelm, R.: Einleitung. In: Perspektiven der Informatik, pp. 9–12 (1993)

    Google Scholar 

  7. Wilhelm, R., Spaniol, O.: Parallele und verteilte Systeme. In: Perspektiven der Informatik, pp. 90–94 (1993)

    Google Scholar 

  8. Robinet, B., Wilhelm, R. (eds.): ESOP 1986. LNCS, vol. 213. Springer, Heidelberg (1986)

    MATH  Google Scholar 

  9. Wilhelm, R.: Proceedings GI - 10. Jahrestagung, Saarbrücken, 30 September - 2 Oktober 1980. Informatik-Fachberichte, vol. 34. Springer, Heidelberg (1980)

    Google Scholar 

  10. Wilhelm, R., Maurer, D.: Übersetzerbau - Theorie, Konstruktion, Generierung, 2nd edn. Springer, Berlin (1997)

    MATH  Google Scholar 

  11. Wilhelm, R., Maurer, D.: Les Compilateurs, théorie, construction, génération. Masson, Paris (1994)

    Google Scholar 

  12. Wilhelm, R., Maurer, D.: Compiler Design: Theory, Construction, Generation. Addison-Wesley, Reading (1996)

    Google Scholar 

  13. Caspi, P., et al.: Guidelines for a Graduate Curriculum on Embedded Software and Systems. ACM Trans. Embedded Comput. Syst. 4(3), 587–611 (2005)

    Article  Google Scholar 

  14. Wilhelm, R.: Imperative, prädikative und funktionale Programmierung (Kurzfassung). In: GI Jahrestagung, pp. 188–193 (1982)

    Google Scholar 

  15. Messerschmidt, J., Wilhelm, R.: Constructors for Composed Objects. Comput. Lang. 7(2), 53–59 (1982)

    Article  MATH  Google Scholar 

  16. Wilhelm, R.: Symbolische Programmausführung - Das aktuelle Schlagwort. Informatik Spektrum 6(3), 170 (1983)

    MathSciNet  Google Scholar 

  17. Loeckx, J., Mehlhorn, K., Wilhelm, R.: Grundlagen der Programmiersprachen. Teubner, Wiesbaden (1986)

    MATH  Google Scholar 

  18. Becker, G., et al.: SiATEX - eine interaktive Arbeitsumgeubng für TEX, pp. 162–169 (1988)

    Google Scholar 

  19. Loeckx, J., Mehlhorn, K., Wilhelm, R.: Foundations of Programming Languages. John Wiley, Chichester (1989)

    Google Scholar 

  20. Baston, M., et al.: Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. In: Innovative Informations-Infrastrukturen, pp. 114–131 (1988)

    Google Scholar 

  21. Wilhelm, R.: Übersetzer für imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag). In: Software-Entwicklung, pp. 156–165 (1989)

    Google Scholar 

  22. Ben-Asher, Y., et al.: 2DT-FP: An FP Based Programming Language for Efficient Parallel Programming of Multiprocessor Networks. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol. 694, pp. 42–55. Springer, Heidelberg (1993)

    Google Scholar 

  23. Ben-Asher, Y., et al.: Implementing 2DT on a Multiprocessor. In: Fritzson, P.A. (ed.) CC 1994. LNCS, vol. 786, pp. 113–127. Springer, Heidelberg (1994)

    Google Scholar 

  24. Rauber, T., Rünger, G., Wilhelm, R.: An application specific parallel programming paradigm. In: HPCN Europe, pp. 735–740 (1995)

    Google Scholar 

  25. Heckmann, R., Wilhelm, R.: A Functional Description of TEX’s Formula Layout. J. Funct. Program. 7(5), 451–485 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  26. Lucas, P., Fritz, N., Wilhelm, R.: The Development of the Data-Parallel GPU Programming Language CGiS. In: Alexandrov, V.N., et al. (eds.) ICCS 2006. LNCS, vol. 3994, pp. 200–203. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  27. Ganzinger, H., Wilhelm, R.: Verschränkung von Compiler-Moduln. In: GI Jahrestagung, pp. 654–665 (1975)

    Google Scholar 

  28. Wilhelm, R., et al.: Design Evaluation of the Compiler Generating System MUGI. In: ICSE, pp. 571–576 (1976)

    Google Scholar 

  29. Ganzinger, H., Ripken, K., Wilhelm, R.: Automatic Generation of Optimizing Multipass Compilers. In: IFIP Congress, pp. 535–540 (1977)

    Google Scholar 

  30. Ganzinger, H., et al.: A Truly Generative Semantics-Directed Compiler Generator. In: SIGPLAN Symposium on Compiler Construction, pp. 172–184 (1982)

    Google Scholar 

  31. Wilhelm, R., et al.: Parallel Implementation of Functional Languages. In: LOMAPS, pp. 279–295 (1996)

    Google Scholar 

  32. Lucas, P., Fritz, N., Wilhelm, R.: The CGiS Compiler-A Tool Demonstration. In: Mycroft, A., Zeller, A. (eds.) CC 2006 and ETAPS 2006. LNCS, vol. 3923, pp. 105–108. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  33. Giegerich, R., Wilhelm, R.: Implementierbarkeit attributierter Grammatiken. In: GI Jahrestagung, pp. 17–36 (1977)

    Google Scholar 

  34. Giegerich, R., Wilhelm, R.: Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars. Inf. Process. Lett. 7(6), 279–284 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  35. Wilhelm, R.: Attributierte Grammatiken. Informatik Spektrum 2(3), 123–130 (1979)

    Google Scholar 

  36. Wilhelm, R.: LL- and LR-Attributed Grammars. In: Fachtagung über Programmiersprachen, pp. 151–164 (1982)

    Google Scholar 

  37. Möncke, U., Weisgerber, B., Wilhelm, R.: How to Implement a System for Manipulation of Attributed Trees. In: Fachtagung über Programmiersprachen, pp. 112–127 (1984)

    Google Scholar 

  38. Lipps, P., et al.: Attribute (Re)evaluation in OPTRAN. Acta Inf. 26(3), 213–239 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  39. Thome, W., Wilhelm, R.: Simulating Circular Attribute Grammars Through Attribute Reevaluation. Inf. Process. Lett. 33(2), 79–81 (1989)

    Article  MathSciNet  Google Scholar 

  40. Wilhelm, R.: Attribute Reevaluation in OPTRAN. In: Attribute Grammars, Applications and Systems, p. 507 (1991)

    Google Scholar 

  41. Lipps, P., Möncke, U., Wilhelm, R.: An Overview of the OPTRAN System. In: Attribute Grammars, Applications and Systems, pp. 505–506 (1991)

    Google Scholar 

  42. Raber, M., et al.: Complied Graph Reduction on a Processor Network. In: ARCS, pp. 198–212 (1988)

    Google Scholar 

  43. Wilhelm, R.: Code-Optimierung Mittels Attributierter Transformationsgrammatiken. In: GI Jahrestagung, pp. 257–266 (1974)

    Google Scholar 

  44. Weisgerber, B., Wilhelm, R.: Two Tree Pattern Matchers for Code Selection. In: CC 1988, pp. 215–229 (1988)

    Google Scholar 

  45. Ferdinand, C., Seidl, H., Wilhelm, R.: Tree Automata for Code Selection. In: Code Generation, pp. 30–50 (1991)

    Google Scholar 

  46. Wilhelm, R.: Tree Tranformations, Functional Languages, and Attribute Grammars. In: WAGA, pp. 116–129 (1990)

    Google Scholar 

  47. Börstler, J., Möncke, U., Wilhelm, R.: Table Compression for Tree Automata. ACM Trans. Program. Lang. Syst. 13(3), 295–314 (1991)

    Article  Google Scholar 

  48. Ferdinand, C., Seidl, H., Wilhelm, R.: Tree Automata for Code Selection. Acta Inf. 31(8), 741–760 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  49. Bouillon, P.G., Sander, G., Wilhelm, R.: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. Inform., Forsch. Entwickl. 9(2), 72–81 (1994)

    Google Scholar 

  50. Maurer, D., Wilhelm, R.: MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. Inform., Forsch. Entwickl. 4(2), 67–88 (1989)

    Google Scholar 

  51. Alt, M., Sander, G., Wilhelm, R.: Generation of Synchronization Code for Parallel Compilers. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol. 714, pp. 420–421. Springer, Heidelberg (1993)

    Google Scholar 

  52. Rinetzky, N., et al.: A Semantics for Procedure Local Heaps and its Abstractions. In: POPL, pp. 296–309 (2005)

    Google Scholar 

  53. Lev-Ami, T., et al.: Putting Static Analysis to Work for Verification: A Case Study. In: ISSTA 2000, pp. 26–38 (2000)

    Google Scholar 

  54. Martin, F., et al.: Analysis of Loops. In: Koskimies, K. (ed.) CC 1998 and ETAPS 1998. LNCS, vol. 1383, pp. 80–94. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  55. Sagiv, M., et al.: A Logic-Based Approach to Program Flow Analysis. Acta Inf. 35(6), 457–504 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  56. Wilhelm, R.: Program Analysis: A Toolmaker’s Perspective. SIGPLAN Notices 32(1), 120–121 (1997)

    Article  Google Scholar 

  57. Wilhelm, R.: Program Analysis - A Toolmaker’s Perspective. ACM Comput. Surv. 28(4es), 177 (1996)

    Google Scholar 

  58. Sagiv, M., et al.: A Logic-Based Approach to Data Flow Analysis Problem. In: Deransart, P., Małuszyński, J. (eds.) PLILP 1990. LNCS, vol. 456, pp. 277–292. Springer, Heidelberg (1990)

    Chapter  Google Scholar 

  59. Wilhelm, R.: Computation and Use of Data Flow Information in Optimizing Compilers. Acta Inf. 12, 209–225 (1979)

    MATH  Google Scholar 

  60. Möncke, U., Wilhelm, R.: Grammar Flow Analysis. In: Attribute Grammars, Applications and Systems, pp. 151–186 (1991)

    Google Scholar 

  61. Möncke, U., Wilhelm, R.: Iterative Algorithms on Grammar Graphs. In: 8th Conf. on Graphtheoretic Concepts in Comp. Sci., pp. 177–194 (1982)

    Google Scholar 

  62. Sagiv, M., Reps, T., Wilhelm, R.: Solving Shape-Analysis Problems in Languages with Destructive Updating. In: POPL, pp. 16–31 (1996)

    Google Scholar 

  63. Sagiv, M., Reps, T., Wilhelm, R.: Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst. 20(1), 1–50 (1998)

    Article  Google Scholar 

  64. Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-Valued Logic. In: POPL, pp. 105–118 (1999)

    Google Scholar 

  65. Wilhelm, R., Sagiv, M., Reps, T.: Shape Analysis. In: Watt, D.A. (ed.) CC 2000 and ETAPS 2000. LNCS, vol. 1781, pp. 1–17. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  66. Wilhelm, R., Reps, T., Sagiv, M.: Shape Analysis and Applications. In: The Compiler Design Handbook, pp. 175–218 (2002)

    Google Scholar 

  67. Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-Valued Logic. ACM Trans. Program. Lang. Syst. 24(3), 217–298 (2002)

    Article  Google Scholar 

  68. Yahav, E., et al.: Verifying Temporal Heap Properties Specified via Evolution Logic. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol. 2618, pp. 204–222. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  69. Reps, T., Sagiv, M., Wilhelm, R.: Static Program Analysis via 3-Valued Logic. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 15–30. Springer, Heidelberg (2004)

    Google Scholar 

  70. Yahav, E., et al.: Verifying Temporal Heap Properties Specified Via Evolution Logic. Logic Journal of the IGPL 14(5), 755–784 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  71. Yorsh, G., et al.: Logical Characterizations of Heap Abstractions. ACM Trans. Comp. Logic 8(1) (2007)

    Google Scholar 

  72. Glasner, I., Möncke, U., Wilhelm, R.: OPTRAN, a Language for the Specification of Program Transformations. In: Fachtagung über Programmiersprachen, pp. 125–142 (1980)

    Google Scholar 

  73. Giegerich, R., Möncke, U., Wilhelm, R.: Invariance of Approximate Semantics with Respect to Program Transformations. In: GI Jahrestagung, pp. 1–10 (1981)

    Google Scholar 

  74. Wilhelm, R.: A Modified Tree-to-Tree Correction Problem. Inf. Process. Lett. 12(3), 127–132 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  75. Wilhelm, R.: Inverse Currying Transformation on Attribute Grammars. In: POPL, pp. 140–147 (1984)

    Google Scholar 

  76. Warren Burton, F., et al.: A Space-Efficient Optimization of Call-by-Need. IEEE Trans. Software Eng. 13(6), 636–642 (1987)

    Article  Google Scholar 

  77. Lipps, P., Möncke, U., Wilhelm, R.: OPTRAN - A Language/System for the Specification of Program Transformations: System Overview and Experiences. In: Hammer, D. (ed.) CCHSC 1988. LNCS, vol. 371, pp. 52–65. Springer, Heidelberg (1989)

    Google Scholar 

  78. Alt, M., et al.: Transformation Development: TrafoLa-H Subsystem. In: PROSPECTRA Book, pp. 539–576 (1993)

    Google Scholar 

  79. Johannes, D., Seidel, R., Wilhelm, R.: Algorithm Animation Using Shape Analysis: Visualising Abstract Executions. In: SOFTVIS, pp. 17–26 (2005)

    Google Scholar 

  80. Wilhelm, R., Müldner, T., Seidel, R.: Algorithm Explanation: Visualizing Abstract States and Invariants. In: Software Visualization, pp. 381–394 (2001)

    Google Scholar 

  81. Braune, B., Wilhelm, R.: Focusing in Algorithm Explanation. IEEE Trans. Vis. Comput. Graph. 6(1), 1–7 (2000)

    Article  Google Scholar 

  82. Braune, B., et al.: Animation of the Generation and Computation of Finite Automata for Learning Software. In: Boldt, O., Jürgensen, H. (eds.) WIA 1999. LNCS, vol. 2214, pp. 39–47. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  83. Sander, G., et al.: CLaX - A Visualized Compiler. In: Graph Drawing, pp. 459–462 (1995)

    Google Scholar 

  84. Alt, M., et al.: Cache Behavior Prediction by Abstract Interpretation. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145, pp. 52–66. Springer, Heidelberg (1996)

    Google Scholar 

  85. Ferdinand, C., Wilhelm, R.: On Predicting Data Cache Behavior for Real-Time Systems. In: Müller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, pp. 16–30. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  86. Ferdinand, C., et al.: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program 35(2), 163–189 (1999)

    Article  MATH  Google Scholar 

  87. Ferdinand, C., Wilhelm, R.: Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real-Time Systems 17(2-3), 131–181 (1999)

    Article  Google Scholar 

  88. Theiling, H., Ferdinand, C., Wilhelm, R.: Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real-Time Systems 18(2/3), 157–179 (2000)

    Article  Google Scholar 

  89. Rakib, A., et al.: Component-Wise Instruction-Cache Behavior Prediction. In: Wang, F. (ed.) ATVA 2004. LNCS, vol. 3299, pp. 211–229. Springer, Heidelberg (2004)

    Google Scholar 

  90. Wilhelm, R.: Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 309–322. Springer, Heidelberg (2004)

    Google Scholar 

  91. Thesing, S., et al.: An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. In: Proc. Int. Performance and Dependability Symp., pp. 625–632 (2003)

    Google Scholar 

  92. Ferdinand, C., et al.: Validierung des Zeitverhaltens von kritischer Echtzeit-Software. In: GI Jahrestagung (1), pp. 335–339 (2003)

    Google Scholar 

  93. Ferdinand, C., et al.: Convenient User Annotations for a WCET Tool. In: WCET, pp. 17–20 (2003)

    Google Scholar 

  94. Wilhelm, R., et al.: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. In: WCET, pp. 39–43 (2003)

    Google Scholar 

  95. Heckmann, R., et al.: The Influence of Processor Architecture on the Design and the Results of WCET Tools. Proc. of the IEEE 91(7), 1038–1054 (2003)

    Article  Google Scholar 

  96. Ferdinand, C., et al.: Reliable and Precise WCET Determination for a Real-Life Processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 469–485. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  97. Ferdinand, C., et al.: Run-Time Guarantees for Real-Time Systems - The USES Approach. In: GI Jahrestagung, pp. 410–419 (1999)

    Google Scholar 

  98. Wilhelm, R.: Timing Analysis and Validation for Real-Time Systems - Guest Editor’s Introduction. Real-Time Systems 17(2-3), 127–129 (1999)

    Article  Google Scholar 

  99. Wilhelm, R.: Timing Analysis and Timing Predictability. In: de Boer, F.S., et al. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 317–323. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  100. Wilhelm, R.: Formal Analysis of Processor Timing Models. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 1–4. Springer, Heidelberg (2004)

    Google Scholar 

  101. Thiele, L., Wilhelm, R.: Design for Timing Predictability. Real-Time Systems 28(2-3), 157–177 (2004)

    Article  Google Scholar 

  102. Wilhelm, R.: Run-Time Guarantees for Real-Time Systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 166–167. Springer, Heidelberg (2004)

    Google Scholar 

  103. Wilhelm, R.: Determining Bounds on Execution Times. In: Zurawski, R. (ed.) Handbook on Embedded Systems, pp. 14-1–14-23. CRC Press, Boca Raton (2005)

    Google Scholar 

  104. http://www.absint.com/

Download references

Author information

Authors and Affiliations

  1. Comp. Sci. Dept., University of Wisconsin,  

    Thomas Reps

  2. School of Comp. Sci., Tel-Aviv University,  

    Mooly Sagiv

  3. Fachrichtung Informatik, Univ. des Saarlandes,  

    Jörg Bauer

Authors
  1. Thomas Reps
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mooly Sagiv
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jörg Bauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Reps Mooly Sagiv Jörg Bauer

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this chapter

Cite this chapter

Reps, T., Sagiv, M., Bauer, J. (2007). An Appreciation of the Work of Reinhard Wilhelm. In: Reps, T., Sagiv, M., Bauer, J. (eds) Program Analysis and Compilation, Theory and Practice. Lecture Notes in Computer Science, vol 4444. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71322-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71322-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71315-9

  • Online ISBN: 978-3-540-71322-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation