{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:56:11Z","timestamp":1725512171180},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_7","type":"book-chapter","created":{"date-parts":[[2007,6,4]],"date-time":"2007-06-04T11:05:59Z","timestamp":1180955159000},"page":"145-159","source":"Crossref","is-referenced-by-count":0,"title":["ViDoC - Visual Design of Optimizing Compilers"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Oliver","family":"R\u00fcthing","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Margaria, T., Arenas, A., Bicarregui, J.: The FMICS view on the verified software repository. In: Proc. Integrated Design and Process Technology, IDPT-2006, San Diego, USA, 26-29 June 2006, pp. 26\u201329. Society for Design and Process Science (2006)"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/201059.201061","volume":"17","author":"C. Click","year":"1995","unstructured":"Click, C., Cooper, K.D.: Combining analyses, combining optimizations. ACM Transactions on Programming Languages and Systems\u00a017(2), 181\u2013196 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR3","series-title":"Informatik-Fachberichte","first-page":"1","volume-title":"11. GI Jahrestagung. In conjunction with Third Conference of the European Co-operation in Informatics (ECI)","author":"R. Giegerich","year":"1981","unstructured":"Giegerich, R., M\u00f6ncke, U., Wilhelm, R.: Invariance of approximate semantics with respect to program transformations. In: 11. GI Jahrestagung. In conjunction with Third Conference of the European Co-operation in Informatics (ECI). Informatik-Fachberichte, vol.\u00a050, pp. 1\u201310. Springer, Heidelberg (1981)"},{"issue":"4","key":"7_CR4","doi-asserted-by":"publisher","first-page":"1117","DOI":"10.1145\/183432.183443","volume":"16","author":"J. Knoop","year":"1994","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Optimal code motion: Theory and practice. ACM Trans. Prog. Lang. Syst.\u00a016(4), 1117\u20131155 (1994)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Partial dead code elimination. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 147\u2013158 (1994)","DOI":"10.1145\/773473.178256"},{"key":"7_CR6","unstructured":"Lam, P., Qian, F., Lhot\u00e1k, O.: Soot: a java optimization framework. http:\/\/www.sable.mcgill.ca\/soot\/"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/503272.503298","volume-title":"Conferernce Record of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2002)","author":"S. Lerner","year":"2002","unstructured":"Lerner, S., Grove, D., Chambers, C.: Combining dataflow analyses and transformations. In: Conferernce Record of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2002), pp. 270\u2013282. ACM Press, New York (2002)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Lerner, S., Millstein, T., Chambers, C.: Automatically proving the correctness of compiler optimizations. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 220\u2013231 (2003)","DOI":"10.1145\/781131.781156"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1145\/1040305.1040335","volume-title":"Conferernce Record of the 32nd ACM SIGPLAN-SIGACT, Symposium on Principles of Programming Languages (POPL 2005)","author":"S. Lerner","year":"2005","unstructured":"Lerner, S., et al.: Automated soundness proofs for dataflow analyses and transformations via local rules. In: Conferernce Record of the 32nd ACM SIGPLAN-SIGACT, Symposium on Principles of Programming Languages (POPL 2005), pp. 364\u2013377. ACM Press, New York (2005)"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s10270-004-0072-z","volume":"4","author":"T. Margaria","year":"2005","unstructured":"Margaria, T.: Web services-based tool-integration in the ETI platform. Int. Journal on Software and System Modelling\u00a04(2), 141\u2013156 (2005)","journal-title":"Int. Journal on Software and System Modelling"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Service engineering: Linking business and IT. IEEE Computer (To appear), Cover feature of IEEE Computer (invited), issue for the 60th anniversary of the Computer Society (2006)","DOI":"10.1109\/MC.2006.355"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Interacting Code Motion Transformations: Their Impact and Their Complexity","author":"O. R\u00fcthing","year":"1999","unstructured":"R\u00fcthing, O.: Interacting Code Motion Transformations: Their Impact and Their Complexity. LNCS, vol.\u00a01539. Springer, Heidelberg (1999)"},{"issue":"1\/2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Braun, V., Margaria, T.: The electronic tool integration platform: Concepts and design. Int. Journal on Software Tools for Technology Transfer (STTT)\u00a01(1\/2), 9\u201330 (1997), http:\/\/eti.cs.uni-dortmund.de","journal-title":"Int. Journal on Software Tools for Technology Transfer (STTT)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: Metaframe in practice: Intelligent network service design. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., et al.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, Springer, Heidelberg (2007)"},{"key":"7_CR16","first-page":"127","volume-title":"Proc. ACM Int. Workshop on Automated Analysis of Software (AAS\u201997) - affiliated to POPL\u201997","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: An incremental approach. In: Proc. ACM Int. Workshop on Automated Analysis of Software (AAS\u201997) - affiliated to POPL\u201997, pp. 127\u2013141. ACM Press, New York (1997)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/3-540-54415-1_54","volume-title":"Theoretical Aspects of Computer Software","author":"B. Steffen","year":"1991","unstructured":"Steffen, B.: Data flow analysis as model checking. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 346\u2013364. Springer, Heidelberg (1991)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0167-6423(93)90003-8","volume":"21","author":"B. Steffen","year":"1993","unstructured":"Steffen, B.: Generating data flow analysis algorithms from modal specifications. International Journal on Science of Computer Programming\u00a021, 115\u2013139 (1993)","journal-title":"International Journal on Science of Computer Programming"},{"issue":"6","key":"7_CR19","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/267959.267960","volume":"19","author":"D.L. Whitfield","year":"1997","unstructured":"Whitfield, D.L., Soffa, M.L.: An approach for exploring code improving transformations. ACM Transactions on Programming Languages and Systems\u00a019(6), 1053\u20131084 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1145\/513829.513857","volume-title":"Proceedings of the joint conference on Languages, compilers and tools for embedded systems (LCTES)","author":"W. Zhao","year":"2002","unstructured":"Zhao, W., et al.: Vista: a system for interactive code improvement. In: Proceedings of the joint conference on Languages, compilers and tools for embedded systems (LCTES), pp. 155\u2013164. ACM Press, New York (2002)"}],"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_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:18:32Z","timestamp":1605745112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71322-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540713159","9783540713227"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71322-7_7","relation":{},"subject":[]}}