{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:19Z","timestamp":1762459399147},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405292"},{"type":"electronic","value":"9783319405308"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-40530-8_7","type":"book-chapter","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T06:53:01Z","timestamp":1466664781000},"page":"102-117","source":"Crossref","is-referenced-by-count":10,"title":["Compiling Graph Programs to C"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Bak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Detlef","family":"Plump","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,22]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10270-006-0027-7","volume":"5","author":"A Agrawal","year":"2006","unstructured":"Agrawal, A., Karsai, G., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Softw. Syst. Model. 5(3), 261\u2013288 (2006)","journal-title":"Softw. Syst. Model."},{"key":"7_CR2","unstructured":"Bak, C.: GP 2: Efficient Implementation of a Graph Programming Language. Ph.D. thesis, Department of Computer Science, The University of York (2015)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bak, C., Faulkner, G., Plump, D., Runciman, C.: A reference interpreter for the graph programming language GP 2. In: Proceedings of Graphs as Models (GaM 2015), vol. 181 of Electronic Proceedings in Theoretical Computer Science, pp. 48\u201364 (2015)","DOI":"10.4204\/EPTCS.181.4"},{"key":"7_CR4","unstructured":"Bak, C., Plump, D.: Rooted graph programs. In: Proceedings of International Workshop on Graph-Based Tools (GraBaTs 2012), vol. 54 of Electronic Communications of the EASST (2012)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/978-3-540-89020-1_32","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Veit Batz","year":"2008","unstructured":"Veit Batz, G., Kroll, M., Gei\u00df, R.: A first experimental evaluation of search plan driven graph pattern matching. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 471\u2013486. Springer, Heidelberg (2008)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/11841883_26","volume-title":"Graph Transformations","author":"M Dodds","year":"2006","unstructured":"Dodds, M., Plump, D.: Graph transformation in constant time. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 367\u2013382. Springer, Heidelberg (2006)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Efficient Graph Rewriting and Its Implementation","year":"1995","unstructured":"D\u00f6rr, H. (ed.): Efficient Graph Rewriting and Its Implementation. LNCS, vol. 922. Springer, Heidelberg (1995)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-3-319-08019-2_19","volume-title":"Language, Life, Limits","author":"M Fern\u00e1ndez","year":"2014","unstructured":"Fern\u00e1ndez, M., Kirchner, H., Mackie, I., Pinaud, B.: Visual modelling of complex systems: towards an abstract machine for PORGY. In: Beckmann, A., Csuhaj-Varj\u00fa, E., Meer, K. (eds.) CiE 2014. LNCS, vol. 8493, pp. 183\u2013193. Springer, Heidelberg (2014)"},{"issue":"1","key":"7_CR9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10009-011-0186-x","volume":"14","author":"AH Ghamarian","year":"2012","unstructured":"Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. Int. J. Softw. Tools Technol. Transf. 14(1), 15\u201340 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"3\u20134","key":"7_CR10","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-010-0148-8","volume":"12","author":"E Jakumeit","year":"2010","unstructured":"Jakumeit, E., Buchwald, S., Kroll, M.: GrGen.NET - the expressive, convenient and fast graph rewrite system. Softw. Tools Technol. Transf. 12(3\u20134), 263\u2013271 (2010)","journal-title":"Softw. Tools Technol. Transf."},{"key":"7_CR11","unstructured":"Manning, G., Plump, D.: The GP programming system. In: Proceedings of Graph Transformation and Visual Modelling Techniques (GT-VMT 2008), vol. 10 of Electronic Communications of the EASST (2008)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-642-03564-7_6","volume-title":"Algebraic Informatics","author":"D Plump","year":"2009","unstructured":"Plump, D.: The graph programming language GP. In: Bozapalidis, S., Rahonis, G. (eds.) CAI 2009. LNCS, vol. 5725, pp. 99\u2013122. Springer, Heidelberg (2009)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Plump, D.: The design of GP 2. In: Proceedings of International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011), vol. 82 of Electronic Proceedings in Theoretical Computer Science, pp. 1\u201316 (2012)","DOI":"10.4204\/EPTCS.82.1"},{"issue":"1\u20132","key":"7_CR14","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/FI-2012-708","volume":"118","author":"CM Poskitt","year":"2012","unstructured":"Poskitt, C.M., Plump, D.: Hoare-style verification of graph programs. Fundamenta Informaticae 118(1\u20132), 135\u2013175 (2012)","journal-title":"Fundamenta Informaticae"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-642-34176-2_8","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"O Runge","year":"2012","unstructured":"Runge, O., Ermel, C., Taentzer, G.: AGG 2.0 \u2013 new features for specifying and analyzing algebraic graph transformations. In: Sch\u00fcrr, A., Varr\u00f3, D., Varr\u00f3, G. (eds.) AGTIVE 2011. LNCS, vol. 7233, pp. 81\u201388. Springer, Heidelberg (2012)"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1142\/9789812815149_0013","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"A Sch\u00fcrr","year":"1999","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES approach: language and environment. In: Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 487\u2013550. World Scientific, Singapore (1999)"},{"key":"7_CR17","volume-title":"Algorithms in C: Part 5: Graph Algorithms","author":"R Sedgewick","year":"2002","unstructured":"Sedgewick, R.: Algorithms in C: Part 5: Graph Algorithms. Addison-Wesley, New York (2002)"},{"key":"7_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84800-070-4","volume-title":"The Algorithm Design Manual","author":"SS Skiena","year":"2008","unstructured":"Skiena, S.S.: The Algorithm Design Manual, 2nd edn. Springer, London (2008)","edition":"2"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/978-3-540-30175-2_16","volume-title":"Generative Programming and Component Engineering","author":"A Vizhanyo","year":"2004","unstructured":"Vizhanyo, A., Agrawal, A., Shi, F.: Towards generation of efficient transformations. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 298\u2013316. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40530-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T19:29:09Z","timestamp":1600802949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40530-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405292","9783319405308"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40530-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}