{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:54:03Z","timestamp":1725519243897},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540890195"},{"type":"electronic","value":"9783540890201"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89020-1_16","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T09:44:44Z","timestamp":1223977484000},"page":"217-232","source":"Crossref","is-referenced-by-count":0,"title":["Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Kumar Anand","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Kahl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Anand, C.K., Kahl, W.: A Domain-Specific Language for the Generation of Optimized SIMD-Parallel Assembly Code. SQRL Report\u00a043, McMaster University (2007), http:\/\/sqrl.mcmaster.ca\/sqrl_reports.html"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/1321211.1321242","volume-title":"CASCON 2007: Proc. 2007 Conference of the Center for Advanced Studies on Collaborative Research","author":"C.K. Anand","year":"2007","unstructured":"Anand, C.K., Kahl, W.: MultiLoop: Efficient Software Pipelining for Modern Hardware. In: CASCON 2007: Proc. 2007 Conference of the Center for Advanced Studies on Collaborative Research, pp. 260\u2013263. ACM, New York (2007)"},{"issue":"4","key":"16_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1008647417502","volume":"7","author":"A. Corradini","year":"1999","unstructured":"Corradini, A., Gadducci, F.: An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Applied Categorical Structures\u00a07(4), 299\u2013331 (1999)","journal-title":"Applied Categorical Structures"},{"key":"16_CR4","unstructured":"Enenkel, R.: A Comprehensive Test Environment for Mathematical Functions. IBM Technical Report TR-74.200, IBM Corp. (2004)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Hoffmann, B., Plump, D.: Jungle Evaluation for Efficient Term Rewriting. In: Gabrowski, J., Lescanne, P., Wechler, W. (eds.) ALP 1988. Mathematical Research, vol.\u00a049, pp. 191\u2013203. Akademie-Verlag (1988)","DOI":"10.1007\/3-540-50667-5_71"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Kahl, W.: A Relation-Algebraic Approach to Graph Structure Transformation. Habil. Thesis, Informatik, UniBw M\u00fcnchen, Techn. Ber. 2002-03 (2001)","DOI":"10.1007\/3-540-36280-0_1"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11734673_12","volume-title":"Relational Methods in Computer Science","author":"W. Kahl","year":"2006","unstructured":"Kahl, W., Anand, C.K., Carette, J.: Control-Flow Semantics for Assembly-Level Data-Flow Graphs. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 147\u2013160. Springer, Heidelberg (2006)"},{"key":"16_CR8","first-page":"280","volume-title":"Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2002","author":"R. Leviathan","year":"2002","unstructured":"Leviathan, R., Pnueli, A.: Validating Software Pipelining Optimizations. In: Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2002, pp. 280\u2013287. ACM, New York (2002)"},{"key":"16_CR9","unstructured":"IBM Corp. Synergistic Processor Unit Instruction Set Architecture. IBM Systems and Technology Group, Hopewell Junction, NY (2006)"},{"key":"16_CR10","first-page":"83","volume-title":"Programming Language Design and Implementation (PLDI 2000)","author":"G.C. Necula","year":"2000","unstructured":"Necula, G.C.: Translation validation for an optimizing compiler. In: Programming Language Design and Implementation (PLDI 2000), pp. 83\u201395. ACM, New York (2000)"},{"key":"16_CR11","series-title":"Applications, Languages and Tools","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/9789812815149_0001","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"D. Plump","year":"1999","unstructured":"Plump, D.: Term Graph Rewriting. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, ch. 1, vol.\u00a02, pp. 3\u201361. World Scientific, Singapore (1999)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation Validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, pp. 151\u2013166. Springer, Heidelberg (1998)"},{"issue":"2","key":"16_CR13","first-page":"232","volume":"93","author":"M. P\u00fcschel","year":"2005","unstructured":"P\u00fcschel, M., Moura, J.M.F., et al.: SPIRAL: Code Generation for DSP Transforms. Proc. IEEE, Program Generation, Optimization, and Adaptation\u00a093(2), 232\u2013275 (2005) (special issue)","journal-title":"Proc. IEEE, special issue Program Generation, Optimization, and Adaptation"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"AGTIVE 2007","author":"A. Sch\u00f6sser","year":"2007","unstructured":"Sch\u00f6sser, A., Geiss, R.: Graph Rewriting for Hardware Dependent Program Optimisations. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088. Springer, Heidelberg (2007)"},{"volume-title":"Term Graph Rewriting: Theory and Practice","year":"1993","key":"16_CR15","unstructured":"Sleep, M., Plasmeijer, M., van Eekelen, M. (eds.): Term Graph Rewriting: Theory and Practice. Wiley, Chichester (1993)"},{"key":"16_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0479-7","volume-title":"Network Algebra","author":"G. \u015etef\u0103nescu","year":"2000","unstructured":"\u015etef\u0103nescu, G.: Network Algebra. Springer, London (2000)"},{"key":"16_CR17","unstructured":"Thaller, W.: Explicitly Staged Software Pipelining. Master\u2019s thesis, McMaster University, Department of Computing and Software (2006), http:\/\/sqrl.mcmaster.ca\/~anand\/papers\/ThallerMScExSSP.pdf"},{"key":"16_CR18","unstructured":"The GAP\u00a0Group. GAP \u2013 Groups, Algorithms, and Programming, Version 4.4.10 (2007), http:\/\/www.gap-system.org\/"},{"key":"16_CR19","first-page":"17","volume-title":"Principles of Programming Languages, POPL 2008","author":"J.B. Tristan","year":"2008","unstructured":"Tristan, J.B., Leroy, X.: Formal Verification of Translation Validators, A Case Study on Instruction Scheduling Optimizations. In: Principles of Programming Languages, POPL 2008, pp. 17\u201327. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89020-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T12:44:38Z","timestamp":1557837878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89020-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540890195","9783540890201"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89020-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}