{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:10:07Z","timestamp":1742397007993},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540333395"},{"type":"electronic","value":"9783540333401"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11734673_12","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T17:59:04Z","timestamp":1151949544000},"page":"147-160","source":"Crossref","is-referenced-by-count":4,"title":["Control-Flow Semantics for Assembly-Level Data-Flow Graphs"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"Kahl","sequence":"first","affiliation":[]},{"given":"Christopher K.","family":"Anand","sequence":"additional","affiliation":[]},{"given":"Jacques","family":"Carette","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"12_CR1","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/212094.212131","volume":"27","author":"V.H. Allan","year":"1995","unstructured":"Allan, V.H., Jones, R.B., Lee, R.M., Allan, S.J.: Software pipelining. ACM Comput. Surv.\u00a027(3), 367\u2013432 (1995)","journal-title":"ACM Comput. Surv."},{"key":"12_CR2","unstructured":"Anand, C.K., Carette, J., Kahl, W., Gibbard, C., Lortie, R.: Declarative Assembler. SQRL Report\u00a020, Software Quality Research Laboratory, McMaster University (2004), available from: http:\/\/sqrl.mcmaster.ca\/sqrl_reports.html"},{"key":"12_CR3","unstructured":"Coccia, M., Gadducci, F., Corradini, A.: GS-\u039b Theories: A Syntax for Higher-Order Graphs. Program Construction\u00a069(18) (1979)"},{"issue":"4","key":"12_CR4","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"},{"issue":"2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0304-3975(01)00319-X","volume":"286","author":"A. Corradini","year":"2002","unstructured":"Corradini, A., Gadducci, F.: Functorial Semantics for Multi-Algebras and Partial Algebras, with Applications to Syntax. Theoretical Computer Science\u00a0286(2), 293\u2013322 (2002)","journal-title":"Theoretical Computer Science"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/143095.143146","volume-title":"Programming Language Design and Implementation, PLDI 1992","author":"T. Granlund","year":"1992","unstructured":"Granlund, T., Kenner, R.: Eliminating Branches Using a Superoptimizer and the GNU C Compiler. In: Programming Language Design and Implementation, PLDI 1992, pp. 341\u2013352. ACM, New York (1992)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Hoffmann, B., Plump, D.: Jungle Evaluation for Efficient Term Rewriting. In: Grabowski, J., Lescanne, P., Wechler, W. (eds.) Algebraic and Logic Programming, ALP 1988, Mathematical Research, vol.\u00a049, pp. 191\u2013203. Akademie-Verlag (1989)","DOI":"10.1007\/3-540-50667-5_71"},{"key":"12_CR8","first-page":"277","volume":"1","author":"W. Kahl","year":"2004","unstructured":"Kahl, W.: Refactoring Heterogeneous Relation Algebras around Ordered Categories and Converse. J. Relational Methods in Comp. Sci.\u00a01, 277\u2013313 (2004)","journal-title":"J. Relational Methods in Comp. Sci."},{"key":"12_CR9","unstructured":"Kozen, D.: Typed Kleene Algebra. Technical Report 98-1669, Computer Science Department, Cornell University (1998)"},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1145\/36206.36194","volume-title":"ASPLOS-II: Proceedings of the Second International Conference on Architectual Support for Programming Languages and Operating Systems","author":"H. Massalin","year":"1987","unstructured":"Massalin, H.: Superoptimizer: A Look at the Smallest Program. In: ASPLOS-II: Proceedings of the Second International Conference on Architectual Support for Programming Languages and Operating Systems, pp. 122\u2013126. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"12_CR11","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, vol.\u00a02, pp. 3\u201361. World Scientific, Singapore (1999)"},{"volume-title":"Term Graph Rewriting: Theory and Practice","year":"1993","key":"12_CR12","unstructured":"Sleep, M., Plasmeijer, M., van Eekelen, M. (eds.): Term Graph Rewriting: Theory and Practice. Wiley, Chichester (1993)"},{"key":"12_CR13","unstructured":"\u015etef\u0103nescu, G.: Algebra of Flownomials \u2014 Part 1: Binary Flownomials; Basic Theory. Technical Report TUM-I9437, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik (1994)"},{"key":"12_CR14","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)"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11734673_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T18:32:56Z","timestamp":1683484376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11734673_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540333395","9783540333401"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11734673_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}