{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:56:25Z","timestamp":1725512185562},"publisher-location":"Berlin, Heidelberg","reference-count":104,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713159"},{"type":"electronic","value":"9783540713227"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71322-7_1","type":"book-chapter","created":{"date-parts":[[2007,6,4]],"date-time":"2007-06-04T15:05:59Z","timestamp":1180969559000},"page":"1-11","source":"Crossref","is-referenced-by-count":0,"title":["An Appreciation of the Work of Reinhard Wilhelm"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Reps","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Informatics","year":"2001","unstructured":"Wilhelm, R. (ed.): Dagstuhl Seminar 2000. LNCS, vol.\u00a02000. Springer, Heidelberg (2001)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Compiler Construction","year":"2001","unstructured":"Wilhelm, R. (ed.): CC 2001 and ETAPS 2001. LNCS, vol.\u00a02027. Springer, Heidelberg (2001)"},{"key":"1_CR3","volume-title":"Informatik: Grundlagen - Amwendungen - Perspektiven [Forum \u201dPerspektiven der Informatik\u201d, Dagstuhl, 93]","author":"R. Wilhelm","year":"1996","unstructured":"Wilhelm, R.: Informatik: Grundlagen - Amwendungen - Perspektiven [Forum \u201dPerspektiven der Informatik\u201d, Dagstuhl, November 1993]. C.H. Beck, M\u00fcnchen (1996)"},{"key":"1_CR4","unstructured":"Wilhelm, R.: Generische und generative Methoden, pp. 84\u201385 (1993)"},{"key":"1_CR5","unstructured":"Wilhelm, R., Hagen, H.: Programmiersprachen. In: Perspektiven der Informatik, pp. 86\u201390 (1993)"},{"key":"1_CR6","unstructured":"Claus, V., Wilhelm, R.: Einleitung. In: Perspektiven der Informatik, pp. 9\u201312 (1993)"},{"key":"1_CR7","unstructured":"Wilhelm, R., Spaniol, O.: Parallele und verteilte Systeme. In: Perspektiven der Informatik, pp. 90\u201394 (1993)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"ESOP 86","year":"1986","unstructured":"Robinet, B., Wilhelm, R. (eds.): ESOP 1986. LNCS, vol.\u00a0213. Springer, Heidelberg (1986)"},{"key":"1_CR9","series-title":"Informatik-Fachberichte","volume-title":"Proceedings GI - 10. Jahrestagung","author":"R. Wilhelm","year":"1980","unstructured":"Wilhelm, R.: Proceedings GI - 10. Jahrestagung, Saarbr\u00fccken, 30 September - 2 Oktober 1980. Informatik-Fachberichte, vol.\u00a034. Springer, Heidelberg (1980)"},{"key":"1_CR10","volume-title":"\u00dcbersetzerbau - Theorie, Konstruktion, Generierung","author":"R. Wilhelm","year":"1997","unstructured":"Wilhelm, R., Maurer, D.: \u00dcbersetzerbau - Theorie, Konstruktion, Generierung, 2nd edn. Springer, Berlin (1997)","edition":"2"},{"key":"1_CR11","volume-title":"Les Compilateurs, th\u00e9orie, construction, g\u00e9n\u00e9ration","author":"R. Wilhelm","year":"1994","unstructured":"Wilhelm, R., Maurer, D.: Les Compilateurs, th\u00e9orie, construction, g\u00e9n\u00e9ration. Masson, Paris (1994)"},{"key":"1_CR12","volume-title":"Compiler Design: Theory, Construction, Generation","author":"R. Wilhelm","year":"1996","unstructured":"Wilhelm, R., Maurer, D.: Compiler Design: Theory, Construction, Generation. Addison-Wesley, Reading (1996)"},{"issue":"3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1145\/1086519.1086526","volume":"4","author":"P. Caspi","year":"2005","unstructured":"Caspi, P., et al.: Guidelines for a Graduate Curriculum on Embedded Software and Systems. ACM Trans. Embedded Comput. Syst.\u00a04(3), 587\u2013611 (2005)","journal-title":"ACM Trans. Embedded Comput. Syst."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: Imperative, pr\u00e4dikative und funktionale Programmierung (Kurzfassung). In: GI Jahrestagung, pp. 188\u2013193 (1982)","DOI":"10.1007\/978-3-642-68603-0_13"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0096-0551(82)90021-2","volume":"7","author":"J. Messerschmidt","year":"1982","unstructured":"Messerschmidt, J., Wilhelm, R.: Constructors for Composed Objects. Comput. Lang.\u00a07(2), 53\u201359 (1982)","journal-title":"Comput. Lang."},{"issue":"3","key":"1_CR16","first-page":"170","volume":"6","author":"R. Wilhelm","year":"1983","unstructured":"Wilhelm, R.: Symbolische Programmausf\u00fchrung - Das aktuelle Schlagwort. Informatik Spektrum\u00a06(3), 170 (1983)","journal-title":"Informatik Spektrum"},{"key":"1_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-94706-2","volume-title":"Grundlagen der Programmiersprachen","author":"J. Loeckx","year":"1986","unstructured":"Loeckx, J., Mehlhorn, K., Wilhelm, R.: Grundlagen der Programmiersprachen. Teubner, Wiesbaden (1986)"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Becker, G., et al.: SiATEX - eine interaktive Arbeitsumgeubng f\u00fcr TEX, pp. 162\u2013169 (1988)","DOI":"10.1007\/978-3-642-74116-6_10"},{"key":"1_CR19","volume-title":"Foundations of Programming Languages","author":"J. Loeckx","year":"1989","unstructured":"Loeckx, J., Mehlhorn, K., Wilhelm, R.: Foundations of Programming Languages. John Wiley, Chichester (1989)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Baston, M., et al.: Implementierung der funktionalen Programmiersprache HOPE mit Hilfe von Kombinatoren. In: Innovative Informations-Infrastrukturen, pp. 114\u2013131 (1988)","DOI":"10.1007\/978-3-642-74116-6_8"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: \u00dcbersetzer f\u00fcr imperative, funktionale und logische Programmiersprachen: Ein Vergleich (eingeladener Vortrag). In: Software-Entwicklung, pp. 156\u2013165 (1989)","DOI":"10.1007\/978-3-642-74872-1_11"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-56891-3_4","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"Y. Ben-Asher","year":"1993","unstructured":"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.\u00a0694, pp. 42\u201355. Springer, Heidelberg (1993)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-57877-3_8","volume-title":"Compiler Construction","author":"Y. Ben-Asher","year":"1994","unstructured":"Ben-Asher, Y., et al.: Implementing 2DT on a Multiprocessor. In: Fritzson, P.A. (ed.) CC 1994. LNCS, vol.\u00a0786, pp. 113\u2013127. Springer, Heidelberg (1994)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Rauber, T., R\u00fcnger, G., Wilhelm, R.: An application specific parallel programming paradigm. In: HPCN Europe, pp. 735\u2013740 (1995)","DOI":"10.1007\/BFb0046708"},{"issue":"5","key":"1_CR25","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1017\/S0956796897002840","volume":"7","author":"R. Heckmann","year":"1997","unstructured":"Heckmann, R., Wilhelm, R.: A Functional Description of TEX\u2019s Formula Layout. J. Funct. Program.\u00a07(5), 451\u2013485 (1997)","journal-title":"J. Funct. Program."},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/11758549_31","volume-title":"Computational Science \u2013 ICCS 2006","author":"P. Lucas","year":"2006","unstructured":"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.\u00a03994, pp. 200\u2013203. Springer, Heidelberg (2006)"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Wilhelm, R.: Verschr\u00e4nkung von Compiler-Moduln. In: GI Jahrestagung, pp. 654\u2013665 (1975)","DOI":"10.1007\/3-540-07410-4_666"},{"key":"1_CR28","unstructured":"Wilhelm, R., et al.: Design Evaluation of the Compiler Generating System MUGI. In: ICSE, pp. 571\u2013576 (1976)"},{"key":"1_CR29","unstructured":"Ganzinger, H., Ripken, K., Wilhelm, R.: Automatic Generation of Optimizing Multipass Compilers. In: IFIP Congress, pp. 535\u2013540 (1977)"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., et al.: A Truly Generative Semantics-Directed Compiler Generator. In: SIGPLAN Symposium on Compiler Construction, pp. 172\u2013184 (1982)","DOI":"10.1145\/800230.806993"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., et al.: Parallel Implementation of Functional Languages. In: LOMAPS, pp. 279\u2013295 (1996)","DOI":"10.1007\/3-540-62503-8_13"},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11688839_10","volume-title":"Compiler Construction","author":"P. Lucas","year":"2006","unstructured":"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.\u00a03923, pp. 105\u2013108. Springer, Heidelberg (2006)"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Giegerich, R., Wilhelm, R.: Implementierbarkeit attributierter Grammatiken. In: GI Jahrestagung, pp. 17\u201336 (1977)","DOI":"10.1007\/978-3-642-48908-2_2"},{"issue":"6","key":"1_CR34","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0020-0190(78)90017-0","volume":"7","author":"R. Giegerich","year":"1978","unstructured":"Giegerich, R., Wilhelm, R.: Counter-One-Pass Features in One-Pass Compilation: A Formalization Using Attribute Grammars. Inf. Process. Lett.\u00a07(6), 279\u2013284 (1978)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"1_CR35","first-page":"123","volume":"2","author":"R. Wilhelm","year":"1979","unstructured":"Wilhelm, R.: Attributierte Grammatiken. Informatik Spektrum\u00a02(3), 123\u2013130 (1979)","journal-title":"Informatik Spektrum"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: LL- and LR-Attributed Grammars. In: Fachtagung \u00fcber Programmiersprachen, pp. 151\u2013164 (1982)","DOI":"10.1007\/978-3-642-68355-8_12"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"M\u00f6ncke, U., Weisgerber, B., Wilhelm, R.: How to Implement a System for Manipulation of Attributed Trees. In: Fachtagung \u00fcber Programmiersprachen, pp. 112\u2013127 (1984)","DOI":"10.1007\/978-3-642-69393-9_8"},{"issue":"3","key":"1_CR38","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF00299633","volume":"26","author":"P. Lipps","year":"1988","unstructured":"Lipps, P., et al.: Attribute (Re)evaluation in OPTRAN. Acta Inf.\u00a026(3), 213\u2013239 (1988)","journal-title":"Acta Inf."},{"issue":"2","key":"1_CR39","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0020-0190(89)90159-2","volume":"33","author":"W. Thome","year":"1989","unstructured":"Thome, W., Wilhelm, R.: Simulating Circular Attribute Grammars Through Attribute Reevaluation. Inf. Process. Lett.\u00a033(2), 79\u201381 (1989)","journal-title":"Inf. Process. Lett."},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: Attribute Reevaluation in OPTRAN. In: Attribute Grammars, Applications and Systems, p. 507 (1991)","DOI":"10.1007\/3-540-54572-7_22"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Lipps, P., M\u00f6ncke, U., Wilhelm, R.: An Overview of the OPTRAN System. In: Attribute Grammars, Applications and Systems, pp. 505\u2013506 (1991)","DOI":"10.1007\/3-540-54572-7_21"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Raber, M., et al.: Complied Graph Reduction on a Processor Network. In: ARCS, pp. 198\u2013212 (1988)","DOI":"10.1007\/978-3-642-73451-9_16"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: Code-Optimierung Mittels Attributierter Transformationsgrammatiken. In: GI Jahrestagung, pp. 257\u2013266 (1974)","DOI":"10.1007\/978-3-662-40087-6_21"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Weisgerber, B., Wilhelm, R.: Two Tree Pattern Matchers for Code Selection. In: CC 1988, pp. 215\u2013229 (1988)","DOI":"10.1007\/3-540-51364-7_17"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., Seidl, H., Wilhelm, R.: Tree Automata for Code Selection. In: Code Generation, pp. 30\u201350 (1991)","DOI":"10.1007\/978-1-4471-3501-2_2"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: Tree Tranformations, Functional Languages, and Attribute Grammars. In: WAGA, pp. 116\u2013129 (1990)","DOI":"10.1007\/3-540-53101-7_9"},{"issue":"3","key":"1_CR47","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/117009.117013","volume":"13","author":"J. B\u00f6rstler","year":"1991","unstructured":"B\u00f6rstler, J., M\u00f6ncke, U., Wilhelm, R.: Table Compression for Tree Automata. ACM Trans. Program. Lang. Syst.\u00a013(3), 295\u2013314 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"8","key":"1_CR48","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1007\/BF01178733","volume":"31","author":"C. Ferdinand","year":"1994","unstructured":"Ferdinand, C., Seidl, H., Wilhelm, R.: Tree Automata for Code Selection. Acta Inf.\u00a031(8), 741\u2013760 (1994)","journal-title":"Acta Inf."},{"issue":"2","key":"1_CR49","first-page":"72","volume":"9","author":"P.G. Bouillon","year":"1994","unstructured":"Bouillon, P.G., Sander, G., Wilhelm, R.: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. Inform., Forsch. Entwickl.\u00a09(2), 72\u201381 (1994)","journal-title":"Inform., Forsch. Entwickl."},{"issue":"2","key":"1_CR50","first-page":"67","volume":"4","author":"D. Maurer","year":"1989","unstructured":"Maurer, D., Wilhelm, R.: MaMa - eine abstrakte Maschine zur Implementierung funktionaler Programmiersprachen. Inform., Forsch. Entwickl.\u00a04(2), 67\u201388 (1989)","journal-title":"Inform., Forsch. Entwickl."},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-57186-8_99","volume-title":"Programming Language Implementation and Logic Programming","author":"M. Alt","year":"1993","unstructured":"Alt, M., Sander, G., Wilhelm, R.: Generation of Synchronization Code for Parallel Compilers. In: Penjam, J., Bruynooghe, M. (eds.) PLILP 1993. LNCS, vol.\u00a0714, pp. 420\u2013421. Springer, Heidelberg (1993)"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Rinetzky, N., et al.: A Semantics for Procedure Local Heaps and its Abstractions. In: POPL, pp. 296\u2013309 (2005)","DOI":"10.1145\/1040305.1040330"},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Lev-Ami, T., et al.: Putting Static Analysis to Work for Verification: A Case Study. In: ISSTA 2000, pp. 26\u201338 (2000)","DOI":"10.1145\/347324.348031"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/BFb0026424","volume-title":"Compiler Construction","author":"F. Martin","year":"1998","unstructured":"Martin, F., et al.: Analysis of Loops. In: Koskimies, K. (ed.) CC 1998 and ETAPS 1998. LNCS, vol.\u00a01383, pp. 80\u201394. Springer, Heidelberg (1998)"},{"issue":"6","key":"1_CR55","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s002360050128","volume":"35","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., et al.: A Logic-Based Approach to Program Flow Analysis. Acta Inf.\u00a035(6), 457\u2013504 (1998)","journal-title":"Acta Inf."},{"issue":"1","key":"1_CR56","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/251595.251618","volume":"32","author":"R. Wilhelm","year":"1997","unstructured":"Wilhelm, R.: Program Analysis: A Toolmaker\u2019s Perspective. SIGPLAN Notices\u00a032(1), 120\u2013121 (1997)","journal-title":"SIGPLAN Notices"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: Program Analysis - A Toolmaker\u2019s Perspective. ACM Comput. Surv. 28(4es), 177 (1996)","DOI":"10.1145\/242224.242454"},{"key":"1_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BFb0024190","volume-title":"Programming Language Implementation and Logic Programming","author":"M. Sagiv","year":"1990","unstructured":"Sagiv, M., et al.: A Logic-Based Approach to Data Flow Analysis Problem. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) PLILP 1990. LNCS, vol.\u00a0456, pp. 277\u2013292. Springer, Heidelberg (1990)"},{"key":"1_CR59","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00264579","volume":"12","author":"R. Wilhelm","year":"1979","unstructured":"Wilhelm, R.: Computation and Use of Data Flow Information in Optimizing Compilers. Acta Inf.\u00a012, 209\u2013225 (1979)","journal-title":"Acta Inf."},{"key":"1_CR60","doi-asserted-by":"crossref","unstructured":"M\u00f6ncke, U., Wilhelm, R.: Grammar Flow Analysis. In: Attribute Grammars, Applications and Systems, pp. 151\u2013186 (1991)","DOI":"10.1007\/3-540-54572-7_6"},{"key":"1_CR61","unstructured":"M\u00f6ncke, U., Wilhelm, R.: Iterative Algorithms on Grammar Graphs. In: 8th Conf. on Graphtheoretic Concepts in Comp. Sci., pp. 177\u2013194 (1982)"},{"key":"1_CR62","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving Shape-Analysis Problems in Languages with Destructive Updating. In: POPL, pp. 16\u201331 (1996)","DOI":"10.1145\/237721.237725"},{"issue":"1","key":"1_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving Shape-Analysis Problems in Languages with Destructive Updating. ACM Trans. Program. Lang. Syst.\u00a020(1), 1\u201350 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR64","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-Valued Logic. In: POPL, pp. 105\u2013118 (1999)","DOI":"10.1145\/292540.292552"},{"key":"1_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-46423-9_1","volume-title":"Compiler Construction","author":"R. Wilhelm","year":"2000","unstructured":"Wilhelm, R., Sagiv, M., Reps, T.: Shape Analysis. In: Watt, D.A. (ed.) CC 2000 and ETAPS 2000. LNCS, vol.\u00a01781, pp. 1\u201317. Springer, Heidelberg (2000)"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., Reps, T., Sagiv, M.: Shape Analysis and Applications. In: The Compiler Design Handbook, pp. 175\u2013218 (2002)","DOI":"10.1201\/9781420040579.ch5"},{"issue":"3","key":"1_CR67","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M. Sagiv","year":"2002","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric Shape Analysis via 3-Valued Logic. ACM Trans. Program. Lang. Syst.\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-36575-3_15","volume-title":"Programming Languages and Systems","author":"E. Yahav","year":"2003","unstructured":"Yahav, E., et al.: Verifying Temporal Heap Properties Specified via Evolution Logic. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol.\u00a02618, pp. 204\u2013222. Springer, Heidelberg (2003)"},{"key":"1_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-540-27813-9_2","volume-title":"Computer Aided Verification","author":"T. Reps","year":"2004","unstructured":"Reps, T., Sagiv, M., Wilhelm, R.: Static Program Analysis via 3-Valued Logic. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 15\u201330. Springer, Heidelberg (2004)"},{"issue":"5","key":"1_CR70","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/jigpal\/jzl009","volume":"14","author":"E. Yahav","year":"2006","unstructured":"Yahav, E., et al.: Verifying Temporal Heap Properties Specified Via Evolution Logic. Logic Journal of the IGPL\u00a014(5), 755\u2013784 (2006)","journal-title":"Logic Journal of the IGPL"},{"key":"1_CR71","doi-asserted-by":"crossref","unstructured":"Yorsh, G., et al.: Logical Characterizations of Heap Abstractions. ACM Trans. Comp. Logic\u00a08(1) (2007)","DOI":"10.1145\/1182613.1182618"},{"key":"1_CR72","doi-asserted-by":"crossref","unstructured":"Glasner, I., M\u00f6ncke, U., Wilhelm, R.: OPTRAN, a Language for the Specification of Program Transformations. In: Fachtagung \u00fcber Programmiersprachen, pp. 125\u2013142 (1980)","DOI":"10.1007\/978-3-642-67600-0_10"},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"Giegerich, R., M\u00f6ncke, U., Wilhelm, R.: Invariance of Approximate Semantics with Respect to Program Transformations. In: GI Jahrestagung, pp. 1\u201310 (1981)","DOI":"10.1007\/978-3-662-01089-1_1"},{"issue":"3","key":"1_CR74","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0020-0190(81)90110-1","volume":"12","author":"R. Wilhelm","year":"1981","unstructured":"Wilhelm, R.: A Modified Tree-to-Tree Correction Problem. Inf. Process. Lett.\u00a012(3), 127\u2013132 (1981)","journal-title":"Inf. Process. Lett."},{"key":"1_CR75","doi-asserted-by":"crossref","unstructured":"Wilhelm, R.: Inverse Currying Transformation on Attribute Grammars. In: POPL, pp. 140\u2013147 (1984)","DOI":"10.1145\/800017.800525"},{"issue":"6","key":"1_CR76","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1109\/TSE.1987.233474","volume":"13","author":"F. Warren Burton","year":"1987","unstructured":"Warren Burton, F., et al.: A Space-Efficient Optimization of Call-by-Need. IEEE Trans. Software Eng.\u00a013(6), 636\u2013642 (1987)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/3-540-51364-7_4","volume-title":"Compiler Compilers and High Speed Compilation","author":"P. Lipps","year":"1989","unstructured":"Lipps, P., M\u00f6ncke, 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.\u00a0371, pp. 52\u201365. Springer, Heidelberg (1989)"},{"key":"1_CR78","doi-asserted-by":"crossref","unstructured":"Alt, M., et al.: Transformation Development: TrafoLa-H Subsystem. In: PROSPECTRA Book, pp. 539\u2013576 (1993)","DOI":"10.1007\/3-540-56733-X_166"},{"key":"1_CR79","doi-asserted-by":"crossref","unstructured":"Johannes, D., Seidel, R., Wilhelm, R.: Algorithm Animation Using Shape Analysis: Visualising Abstract Executions. In: SOFTVIS, pp. 17\u201326 (2005)","DOI":"10.1145\/1056018.1056021"},{"key":"1_CR80","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., M\u00fcldner, T., Seidel, R.: Algorithm Explanation: Visualizing Abstract States and Invariants. In: Software Visualization, pp. 381\u2013394 (2001)","DOI":"10.1007\/3-540-45875-1_30"},{"issue":"1","key":"1_CR81","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/2945.841117","volume":"6","author":"B. Braune","year":"2000","unstructured":"Braune, B., Wilhelm, R.: Focusing in Algorithm Explanation. IEEE Trans. Vis. Comput. Graph.\u00a06(1), 1\u20137 (2000)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"1_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/3-540-45526-4_4","volume-title":"Automata Implementation","author":"B. Braune","year":"2001","unstructured":"Braune, B., et al.: Animation of the Generation and Computation of Finite Automata for Learning Software. In: Boldt, O., J\u00fcrgensen, H. (eds.) WIA 1999. LNCS, vol.\u00a02214, pp. 39\u201347. Springer, Heidelberg (2001)"},{"key":"1_CR83","doi-asserted-by":"crossref","unstructured":"Sander, G., et al.: CLaX - A Visualized Compiler. In: Graph Drawing, pp. 459\u2013462 (1995)","DOI":"10.1007\/BFb0021829"},{"key":"1_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/3-540-61739-6_33","volume-title":"Static Analysis","author":"M. Alt","year":"1996","unstructured":"Alt, M., et al.: Cache Behavior Prediction by Abstract Interpretation. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 52\u201366. Springer, Heidelberg (1996)"},{"key":"1_CR85","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BFb0057777","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"C. Ferdinand","year":"1998","unstructured":"Ferdinand, C., Wilhelm, R.: On Predicting Data Cache Behavior for Real-Time Systems. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, pp. 16\u201330. Springer, Heidelberg (1998)"},{"issue":"2","key":"1_CR86","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0167-6423(99)00010-6","volume":"35","author":"C. Ferdinand","year":"1999","unstructured":"Ferdinand, C., et al.: Cache Behavior Prediction by Abstract Interpretation. Sci. Comput. Program\u00a035(2), 163\u2013189 (1999)","journal-title":"Sci. Comput. Program"},{"issue":"2-3","key":"1_CR87","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008186323068","volume":"17","author":"C. Ferdinand","year":"1999","unstructured":"Ferdinand, C., Wilhelm, R.: Efficient and Precise Cache Behavior Prediction for Real-Time Systems. Real-Time Systems\u00a017(2-3), 131\u2013181 (1999)","journal-title":"Real-Time Systems"},{"issue":"2\/3","key":"1_CR88","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008141130870","volume":"18","author":"H. Theiling","year":"2000","unstructured":"Theiling, H., Ferdinand, C., Wilhelm, R.: Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real-Time Systems\u00a018(2\/3), 157\u2013179 (2000)","journal-title":"Real-Time Systems"},{"key":"1_CR89","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-540-30476-0_20","volume-title":"Automated Technology for Verification and Analysis","author":"A. Rakib","year":"2004","unstructured":"Rakib, A., et al.: Component-Wise Instruction-Cache Behavior Prediction. In: Wang, F. (ed.) ATVA 2004. LNCS, vol.\u00a03299, pp. 211\u2013229. Springer, Heidelberg (2004)"},{"key":"1_CR90","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-24622-0_25","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Wilhelm","year":"2004","unstructured":"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.\u00a02937, pp. 309\u2013322. Springer, Heidelberg (2004)"},{"key":"1_CR91","doi-asserted-by":"crossref","unstructured":"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\u2013632 (2003)","DOI":"10.1109\/DSN.2003.1209972"},{"key":"1_CR92","unstructured":"Ferdinand, C., et al.: Validierung des Zeitverhaltens von kritischer Echtzeit-Software. In: GI Jahrestagung (1), pp. 335\u2013339 (2003)"},{"key":"1_CR93","unstructured":"Ferdinand, C., et al.: Convenient User Annotations for a WCET Tool. In: WCET, pp. 17\u201320 (2003)"},{"key":"1_CR94","unstructured":"Wilhelm, R., et al.: Industrial Requirements for WCET Tools - Answers to the ARTIST Questionnaire. In: WCET, pp. 39\u201343 (2003)"},{"issue":"7","key":"1_CR95","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1109\/JPROC.2003.814618","volume":"91","author":"R. Heckmann","year":"2003","unstructured":"Heckmann, R., et al.: The Influence of Processor Architecture on the Design and the Results of WCET Tools. Proc. of the IEEE\u00a091(7), 1038\u20131054 (2003)","journal-title":"Proc. of the IEEE"},{"key":"1_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45449-7_32","volume-title":"Embedded Software","author":"C. Ferdinand","year":"2001","unstructured":"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.\u00a02211, pp. 469\u2013485. Springer, Heidelberg (2001)"},{"key":"1_CR97","doi-asserted-by":"crossref","unstructured":"Ferdinand, C., et al.: Run-Time Guarantees for Real-Time Systems - The USES Approach. In: GI Jahrestagung, pp. 410\u2013419 (1999)","DOI":"10.1007\/978-3-662-01069-3_60"},{"issue":"2-3","key":"1_CR98","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1023\/A:1008153406230","volume":"17","author":"R. Wilhelm","year":"1999","unstructured":"Wilhelm, R.: Timing Analysis and Validation for Real-Time Systems - Guest Editor\u2019s Introduction. Real-Time Systems\u00a017(2-3), 127\u2013129 (1999)","journal-title":"Real-Time Systems"},{"key":"1_CR99","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/11561163_14","volume-title":"Formal Methods for Components and Objects","author":"R. Wilhelm","year":"2005","unstructured":"Wilhelm, R.: Timing Analysis and Timing Predictability. In: de Boer, F.S., et al. (eds.) FMCO 2004. LNCS, vol.\u00a03657, pp. 317\u2013323. Springer, Heidelberg (2005)"},{"key":"1_CR100","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Model Checking Software","author":"R. Wilhelm","year":"2004","unstructured":"Wilhelm, R.: Formal Analysis of Processor Timing Models. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 1\u20134. Springer, Heidelberg (2004)"},{"issue":"2-3","key":"1_CR101","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/B:TIME.0000045316.66276.6e","volume":"28","author":"L. Thiele","year":"2004","unstructured":"Thiele, L., Wilhelm, R.: Design for Timing Predictability. Real-Time Systems\u00a028(2-3), 157\u2013177 (2004)","journal-title":"Real-Time Systems"},{"key":"1_CR102","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-540-40903-8_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R. Wilhelm","year":"2004","unstructured":"Wilhelm, R.: Run-Time Guarantees for Real-Time Systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 166\u2013167. Springer, Heidelberg (2004)"},{"key":"1_CR103","volume-title":"Handbook on Embedded Systems","author":"R. Wilhelm","year":"2005","unstructured":"Wilhelm, R.: Determining Bounds on Execution Times. In: Zurawski, R. (ed.) Handbook on Embedded Systems, pp. 14-1\u201314-23. CRC Press, Boca Raton (2005)"},{"key":"1_CR104","unstructured":"http:\/\/www.absint.com\/"}],"container-title":["Lecture Notes in Computer Science","Program Analysis and Compilation, Theory and Practice"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71322-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:18:27Z","timestamp":1605763107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71322-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540713159","9783540713227"],"references-count":104,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71322-7_1","relation":{},"subject":[]}}