{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:37:06Z","timestamp":1732034226843},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322105"},{"type":"electronic","value":"9783642322112"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32211-2_9","type":"book-chapter","created":{"date-parts":[[2012,7,21]],"date-time":"2012-07-21T00:27:23Z","timestamp":1342830443000},"page":"123-138","source":"Crossref","is-referenced-by-count":11,"title":["Marker-Directed Optimization of UnCAL Graph Transformations"],"prefix":"10.1007","author":[{"given":"Soichiro","family":"Hidaka","sequence":"first","affiliation":[]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Kazuhiro","family":"Inaba","sequence":"additional","affiliation":[]},{"given":"Hiroyuki","family":"Kato","sequence":"additional","affiliation":[]},{"given":"Kazutaka","family":"Matsuda","sequence":"additional","affiliation":[]},{"given":"Keisuke","family":"Nakano","sequence":"additional","affiliation":[]},{"given":"Isao","family":"Sasano","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-30204-9_13","volume-title":"Advances in Databases and Information Systems","author":"A.A. Bencz\u00far","year":"2004","unstructured":"Bencz\u00far, A.A., K\u00f3sa, B.: Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences. In: Bencz\u00far, A.A., Demetrovics, J., Gottlob, G. (eds.) ADBIS 2004. LNCS, vol.\u00a03255, pp. 189\u2013203. Springer, Heidelberg (2004)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/3-540-62222-5_55","volume-title":"Database Theory - ICDT \u201997","author":"P. Buneman","year":"1996","unstructured":"Buneman, P., Davidson, S., Fernandez, M., Suciu, D.: Adding Structure to Unstructured Data. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol.\u00a01186, pp. 336\u2013350. Springer, Heidelberg (1996)"},{"key":"9_CR3","unstructured":"Buneman, P., Davidson, S., Hillebrand, G., Suciu, D.: A query language and optimization techniques for unstructured data. In: SIGMOD, pp. 505\u2013516 (1996); long version appears as U.Penn TR MS-CIS-96-09"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/s007780050084","volume":"9","author":"P. Buneman","year":"2000","unstructured":"Buneman, P., Fernandez, M.F., Suciu, D.: UnQL: a query language and algebra for semistructured data based on structural recursion. VLDB J.\u00a09(1), 76\u2013110 (2000)","journal-title":"VLDB J."},{"key":"9_CR5","unstructured":"Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varr\u00f3, D., Varr\u00f3-Gyapay, S.: Model transformation by graph transformation: A comparative study. Presented at MTiP (2005), http:\/\/www.inf.mit.bme.hu\/FTSRG\/Publications\/varro\/2005\/mtip05.pdf"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K.: Bidirectionalizing graph transformations. In: ACM SIGPLAN International Conference on Functional Programming, pp. 205\u2013216. ACM (2010)","DOI":"10.1145\/1932681.1863573"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K., Sasano, I.: Marker-directed Optimization of UnCAL Graph Transformations (revised version). Technical Report GRACE-TR-2011-06, GRACE Center, National Institute of Informatics (November 2011)","DOI":"10.1007\/978-3-642-32211-2_9"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Kato, H., Nakano, K.: Towards a compositional approach to model transformation for software development. In: SAC\u00a02009, pp. 468\u2013475 (2009)","DOI":"10.1145\/1529282.1529383"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Volume 1: Foundations. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-21732-6_10","volume-title":"Theory and Practice of Model Transformations","author":"I. Sasano","year":"2011","unstructured":"Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., Nakano, K.: Toward Bidirectionalization of ATL with GRoundTram. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 138\u2013151. Springer, Heidelberg (2011)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75209-7_1","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Stevens","year":"2007","unstructured":"Stevens, P.: Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MoDELS 2007. LNCS, vol.\u00a04735, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/3-540-19027-9_23","volume-title":"ESOP \u201988","author":"P. Wadler","year":"1988","unstructured":"Wadler, P.: Deforestation: Transforming Programs to Eliminate Trees. In: Ganzinger, H. (ed.) ESOP 1988. LNCS, vol.\u00a0300, pp. 344\u2013358. Springer, Heidelberg (1988)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32211-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,22]],"date-time":"2022-01-22T14:05:24Z","timestamp":1642860324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32211-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322105","9783642322112"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32211-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}