{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T11:11:06Z","timestamp":1764587466006},"publisher-location":"Berlin, Heidelberg","reference-count":119,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024078"},{"type":"electronic","value":"9783642024085"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02408-5_19","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T15:10:04Z","timestamp":1246029004000},"page":"260-283","source":"Crossref","is-referenced-by-count":143,"title":["Bidirectional Transformations: A Cross-Discipline Perspective"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Czarnecki","sequence":"first","affiliation":[]},{"given":"J. Nathan","family":"Foster","sequence":"additional","affiliation":[]},{"given":"Zhenjiang","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"L\u00e4mmel","sequence":"additional","affiliation":[]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[]},{"given":"James F.","family":"Terwilliger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Alexe, B., Tan, W.-C., Velegrakis, Y.: STBenchmark: towards a benchmark for mapping systems. In: Proceedings of the VLDB conference, vol.\u00a01(1), pp. 230\u2013244 (2008), http:\/\/www.stbenchmark.org\/","DOI":"10.14778\/1453856.1453886"},{"key":"19_CR2","unstructured":"Antkiewicz, M.: Framework-Specific Modeling Languages. Ph.D thesis, University of Waterloo, Electrical and Computer Engineering (2008)"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/1321631.1321664","volume-title":"ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated Software Engineering","author":"M. Antkiewicz","year":"2007","unstructured":"Antkiewicz, M., Bartolomei, T.T., Czarnecki, K.: Automatic extraction of framework-specific models from framework-based application code. In: ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated Software Engineering, pp. 214\u2013223. ACM, New York (2007)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1007\/11880240_48","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Antkiewicz","year":"2006","unstructured":"Antkiewicz, M., Czarnecki, K.: Framework-Specific Modeling Languages with Round-Trip Engineering. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 692\u2013706. Springer, Heidelberg (2006)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-540-88643-3_1","volume-title":"GTTSE 2007","author":"M. Antkiewicz","year":"2008","unstructured":"Antkiewicz, M., Czarnecki, K.: Design Space of Heterogeneous Synchronization. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 3\u201346. Springer, Heidelberg (2008)"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K., Stephan, M.: Engineering of Framework-Specific Modeling Languages. IEEE Transactions on Software Engineering (2009) (to appear)","DOI":"10.1109\/TSE.2009.30"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Arenas, M., Libkin, L.: XML data exchange: Consistency and query answering. Journal of the ACM\u00a055(2) (2008)","DOI":"10.1145\/1346330.1346332"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1376916.1376920","volume-title":"PODS 2008: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"M. Arenas","year":"2008","unstructured":"Arenas, M., P\u00e9rez, J., Riveros, C.: The recovery of a schema mapping: bringing exchanged data back. In: PODS 2008: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 13\u201322. ACM, New York (2008)"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-74510-5_9","volume-title":"Computer Science \u2013 Theory and Applications","author":"H.B. Axelsen","year":"2007","unstructured":"Axelsen, H.B., Gl\u00fcck, R., Yokoyama, T.: Reversible Machine Code and Its Abstract Processor Architecture. In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) CSR 2007. LNCS, vol.\u00a04649, pp. 56\u201369. Springer, Heidelberg (2007)"},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Transactions on Database Systems (TODS)\u00a06(4), 557\u2013575 (1981)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-87875-9_1","volume-title":"Model Driven Engineering Languages and Systems","author":"D.S. Batory","year":"2008","unstructured":"Batory, D.S., Azanza, M., Saraiva, J.: The objects and arrows of computational design. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 1\u201320. Springer, Heidelberg (2008)"},{"issue":"6","key":"19_CR12","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennet","year":"1973","unstructured":"Bennet, C.H.: Logical Reversibility of Computation. IBM Journal of Research and Development\u00a017(6), 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"issue":"4","key":"19_CR13","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1017\/S0956796804005398","volume":"15","author":"N. Benton","year":"2005","unstructured":"Benton, N.: Embedded interpreters. Journal of Functional Programming\u00a015(4), 503\u2013542 (2005)","journal-title":"Journal of Functional Programming"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-69611-7_19","volume-title":"Practical Aspects of Declarative Languages","author":"P. Berdaguer","year":"2006","unstructured":"Berdaguer, P., Cunha, A., Pacheco, H., Visser, J.: Coupled Schema Transformation and Data Conversion for XML and SQL. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 290\u2013304. Springer, Heidelberg (2006)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. In: Proceedings of ACM SIGPLAN\u2013SIGACT Symposium on Principles of Programming Languages (POPL 2008), January 2008, pp. 407\u2013419 (2008)","DOI":"10.1145\/1328438.1328487"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/1142351.1142399","volume-title":"PODS 2006: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"A. Bohannon","year":"2006","unstructured":"Bohannon, A., Pierce, B., Vaughan, J.: Relational lenses: a language for updatable views. In: PODS 2006: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 338\u2013347. ACM, New York (2006)"},{"issue":"4-5","key":"19_CR17","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/j.is.2008.01.006","volume":"33","author":"C. Brabrand","year":"2008","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.I.: Dual Syntax for XML Languages. Information Systems\u00a033(4-5), 385\u2013406 (2008); Short version in DBPL 2005 (2005)","journal-title":"Information Systems"},{"issue":"1","key":"19_CR18","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 Journal: Very Large Data Bases\u00a09(1), 76\u2013110 (2000)","journal-title":"VLDB Journal: Very Large Data Bases"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1145\/543613.543633","volume-title":"PODS 2002: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"P. Buneman","year":"2002","unstructured":"Buneman, P., Khanna, S., Tan, W.-C.: On propagation of deletions and annotations through views. In: PODS 2002: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 150\u2013158. ACM, New York (2002)"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"1070","DOI":"10.1145\/1247480.1247609","volume-title":"SIGMOD 2007: Proceedings of the 2007 ACM SIGMOD international conference on Management of data","author":"P. Castro","year":"2007","unstructured":"Castro, P., Melnik, S., OAdya, A.: ADO.NET entity framework: raising the level of abstraction in data programming. In: SIGMOD 2007: Proceedings of the 2007 ACM SIGMOD international conference on Management of data, pp. 1070\u20131072. ACM, New York (2007)"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1109\/EDOC.2008.44","volume-title":"12th International IEEE Enterprise Distributed Object Computing Conference, ECOC 2008, Proceedings","author":"A. Cicchetti","year":"2008","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. In: 12th International IEEE Enterprise Distributed Object Computing Conference, ECOC 2008, Proceedings, pp. 222\u2013231. IEEE Computer Society, Los Alamitos (2008)"},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/11877028_17","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"A. Cleve","year":"2006","unstructured":"Cleve, A., Hainaut, J.-L.: Co-transformations in Database Applications Evolution. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 409\u2013421. Springer, Heidelberg (2006)"},{"key":"19_CR23","first-page":"135","volume-title":"GPCE 2007: Proceedings of the 6th international conference on Generative programming and component engineering","author":"R. Culpepper","year":"2007","unstructured":"Culpepper, R., Felleisen, M.: Debugging macros. In: GPCE 2007: Proceedings of the 6th international conference on Generative programming and component engineering, pp. 135\u2013144. ACM, New York (2007)"},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/1480945.1480972","volume-title":"PEPM 2009: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation","author":"J. Cunha","year":"2008","unstructured":"Cunha, J., Saraiva, J., Visser, J.: From spreadsheets to relational databases and back. In: PEPM 2009: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, pp. 179\u2013188. ACM, New York (2008)"},{"key":"19_CR25","unstructured":"Czarnecki, K., Helsen, S.: Classification Of Model Transformation Approaches. In: 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture (2003), http:\/\/www.softmetaware.com\/oopsla2003\/czarnecki.pdf"},{"issue":"3","key":"19_CR26","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 621\u2013646 (2006)","journal-title":"IBM Systems Journal"},{"issue":"3","key":"19_CR27","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/319732.319740","volume":"7","author":"U. Dayal","year":"1982","unstructured":"Dayal, U., Bernstein, P.A.: On the Correct Translation of Update Operations on Relational Views. ACM Transactions on Database Systems (TODS)\u00a07(3), 381\u2013416 (1982)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"19_CR28","first-page":"133","volume-title":"1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), Proceedings","author":"M.L.V. Vanter de","year":"2001","unstructured":"de Vanter, M.L.V.: Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools. In: 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), Proceedings, pp. 133\u2013143. IEEE Computer Society, Los Alamitos (2001)"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Mathematics of generic specifications for model management. In: Rivero, Doorn, Ferraggine (eds.) Encyclopedia of Database Technologies and Applications, pp. 351\u2013366. Idea Group (2005)","DOI":"10.4018\/978-1-59140-560-3.ch060"},{"key":"19_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-87875-9_2","volume-title":"Model Driven Engineering Languages and Systems","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z.: Algebraic Models for Bidirectional Model Synchronization. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 21\u201336. Springer, Heidelberg (2008)"},{"key":"#cr-split#-19_CR31.1","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Czarnecki, K., Antkiewicz, M.: Model-versioning-in-the-large: algebraic foundations and the tile notation. In: Comparison and versioning of software models. 3rd Int. Workshop affiliated with ICSE 2009 (2009);","DOI":"10.1109\/CVSM.2009.5071715"},{"key":"#cr-split#-19_CR31.2","unstructured":"To appear in IEEE Digital Library"},{"key":"19_CR32","unstructured":"Eger, D.T.: Bit Level Types (2005) (unpublished manuscript), http:\/\/www.yak.net\/random\/blt\/blt-drafts\/03\/blt.pdf"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","key":"19_CR33","unstructured":"Ehrig, Engels, Kreowski, Rozenberg (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific Publishing, Singapore (1997)"},{"volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","key":"19_CR34","unstructured":"Ehrig, Engels, Kreowski, Rozenberg (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a02. World Scientific Publishing, Singapore (1999)"},{"key":"19_CR35","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006)"},{"key":"19_CR36","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Romero, J., Vallecillo, A.: Change Management in Multi-Viewpoint Systems using ASP. In: Proceedings of 5th International Workshop on ODP for Enterprise Computing (WODPEC 2008) (September 2008)","DOI":"10.1109\/EDOCW.2008.22"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Fagin, R.: Inverting schema mappings. ACM Transactions on Database Systems (TODS)\u00a032(4) (2007)","DOI":"10.1145\/1292609.1292615"},{"issue":"1","key":"19_CR38","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theoretical Computer Science\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theoretical Computer Science"},{"key":"19_CR39","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/1065010.1065046","volume-title":"PLDI 2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation","author":"K. Fisher","year":"2005","unstructured":"Fisher, K., Gruber, R.: PADS: a domain-specific language for processing ad hoc data. In: PLDI 2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp. 295\u2013304. ACM, New York (2005)"},{"key":"19_CR40","first-page":"421","volume-title":"POPL 2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"K. Fisher","year":"2008","unstructured":"Fisher, K., Walker, D., Zhu, K., White, P.: From dirt to shovels: fully automatic tool generation from ad hoc data. In: POPL 2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 421\u2013434. ACM, New York (2008)"},{"key":"#cr-split#-19_CR41.1","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Kirkegaard, C., Pierce, B.C., Schmitt, A.: Exploiting Schemas in Data Synchronization. Journal of Computer and System Sciences\u00a073(4) (June 2007);","DOI":"10.1016\/j.jcss.2006.10.024"},{"key":"#cr-split#-19_CR41.2","unstructured":"Short version in DBPL 2005 (2005)"},{"key":"19_CR42","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a029(3) (2007)","DOI":"10.1145\/1232420.1232424"},{"key":"19_CR43","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1145\/1411204.1411257","volume-title":"ICFP 2008: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming","author":"J.N. Foster","year":"2008","unstructured":"Foster, J.N., Pilkiewcz, A., Pierce, B.C.: Quotient lenses. In: ICFP 2008: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, pp. 383\u2013396. ACM, New York (2008)"},{"issue":"4","key":"19_CR44","doi-asserted-by":"publisher","first-page":"1454","DOI":"10.1145\/1189769.1189778","volume":"31","author":"A. Fuxman","year":"2006","unstructured":"Fuxman, A., Kolaitis, P.G., Miller, R.J., Tan, W.C.: Peer data exchange. ACM Transactions on Database Systems (TODS)\u00a031(4), 1454\u20131498 (2006)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"1","key":"19_CR45","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H. Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling\u00a08(1), 21\u201343 (2009)","journal-title":"Software and Systems Modeling"},{"key":"19_CR46","first-page":"212","volume-title":"ICDT 2009: Proceedings of the 12th International Conference on Database Theory, Proceedings","author":"T.J. Green","year":"2009","unstructured":"Green, T.J., Ives, Z.G., Tannen, V.: Reconcilable differences. In: ICDT 2009: Proceedings of the 12th International Conference on Database Theory, Proceedings, pp. 212\u2013224. ACM, New York (2009)"},{"key":"19_CR47","first-page":"675","volume-title":"Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB 2007","author":"T.J. Green","year":"2007","unstructured":"Green, T.J., Karvounarakis, G., Ives, Z.G., Tannen, V.: Update Exchange with Mappings and Provenance. In: Proceedings of the 33rd International Conference on Very Large Data Bases, VLDB 2007, pp. 675\u2013686. ACM, New York (2007)"},{"key":"19_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0024380","volume-title":"Entity-Relationship Approach - ER \u201993","author":"J.-L. Hainaut","year":"1994","unstructured":"Hainaut, J.-L., Tonneau, C., Joris, M., Chandelon, M.: Schema Transformation Techniques for Database Reverse Engineering. In: Elmasri, R.A., Kouramajian, V., Thalheim, B. (eds.) ER 1993. LNCS, vol.\u00a0823, pp. 364\u2013375. Springer, Heidelberg (1994)"},{"key":"19_CR49","first-page":"505","volume-title":"Proceedings of the 19th International Conference on Data Engineering, ICDE 2003","author":"A.Y. Halevy","year":"2003","unstructured":"Halevy, A.Y., Ives, Z.G., Suciu, D., Tatarinov, I.: Schema Mediation in Peer Data Management Systems. In: Proceedings of the 19th International Conference on Data Engineering, ICDE 2003, pp. 505\u2013516. IEEE Computer Society, Los Alamitos (2003)"},{"key":"19_CR50","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1145\/1060745.1060788","volume-title":"WWW 2005: Proceedings of the 14th international conference on World Wide Web","author":"M. Harren","year":"2005","unstructured":"Harren, M., Raghavachari, M., Shmueli, O., Burke, M., Bordawekar, R., Pechtchanski, I., Sarkar, V.: XJ: facilitating XML processing in Java. In: WWW 2005: Proceedings of the 14th international conference on World Wide Web, pp. 278\u2013287. ACM, New York (2005)"},{"key":"19_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-69927-9_3","volume-title":"Theory and Practice of Model Transformations","author":"T. Hettel","year":"2008","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Model Synchronisation: Definitions for Round-Trip Engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"19_CR52","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Kato, H., Nakano, K.: A Compositional Approach to Bidirectional Model Transformation. In: New Ideas and Emerging Results Track of 31st International Conference on Software Engineering (ICSE 2009, NIER Track) (May 2009) (to appear)","DOI":"10.1109\/ICSE-COMPANION.2009.5070990"},{"key":"19_CR53","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Kato, H., Nakano, K.: Towards Compositional Approach to Model Transformation for Software Development. In: 24th Annual ACM Symposium on Applied Computing (March 2009)","DOI":"10.1145\/1529282.1529383"},{"key":"19_CR54","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1145\/1014007.1014025","volume-title":"PEPM 2004: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","author":"Z. Hu","year":"2004","unstructured":"Hu, Z., Mu, S.-C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. In: PEPM 2004: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp. 178\u2013189. ACM, New York (2004); See [55] for a journal version"},{"issue":"1-2","key":"19_CR55","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10990-008-9025-5","volume":"21","author":"Z. Hu","year":"2008","unstructured":"Hu, Z., Mu, S.-C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation\u00a021(1-2), 89\u2013118 (2008); See [54] for a short version","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"2","key":"19_CR56","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10515-006-7738-4","volume":"13","author":"G. Huang","year":"2006","unstructured":"Huang, G., Mei, H., Yang, F.: Runtime recovery and manipulation of software architecture of component-based systems. Automated Software Engineering\u00a013(2), 257\u2013281 (2006)","journal-title":"Automated Software Engineering"},{"key":"19_CR57","unstructured":"Karvounarakis, G., Ives, Z.G.: Bidirectional Mappings for Data and Update Exchange. In: Proceedings of 11th International Workshop on the Web and Databases, WebDB 2008 (2008), http:\/\/webdb2008.como.polimi.it\/images\/stories\/WebDB2008\/paper35.pdf"},{"key":"19_CR58","first-page":"201","volume-title":"Proceedings of ICFP 2006: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming","author":"S. Kawanaka","year":"2006","unstructured":"Kawanaka, S., Hosoya, H.: biXid: a bidirectional transformation language for XML. In: Proceedings of ICFP 2006: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, pp. 201\u2013214. ACM, New York (2006)"},{"issue":"1","key":"19_CR59","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/MC.1986.1663034","volume":"19","author":"A.M. Keller","year":"1986","unstructured":"Keller, A.M.: The Role of Semantics in Translating View Updates. Computer\u00a019(1), 63\u201373 (1986)","journal-title":"Computer"},{"key":"19_CR60","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1145\/170035.171541","volume-title":"SIGMOD 1993: Proceedings of the 1993 ACM SIGMOD international conference on Management of data","author":"A.M. Keller","year":"1993","unstructured":"Keller, A.M., Jensen, R., Agarwal, S.: Persistence software: bridging object-oriented programming and relational databases. In: SIGMOD 1993: Proceedings of the 1993 ACM SIGMOD international conference on Management of data, pp. 523\u2013528. ACM, New York (1993)"},{"issue":"4","key":"19_CR61","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-006-0016-x","volume":"5","author":"A. K\u00f6nigs","year":"2006","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: MDI - a Rule-Based Multi-Document and Tool Integration Approach. Journal of Software and System Modeling\u00a05(4), 349\u2013368 (2006); Special Section on Model-based Tool Integration","journal-title":"Journal of Software and System Modeling"},{"key":"19_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-49099-X_17","volume-title":"Programming Languages and Systems","author":"S. Krishnamurthi","year":"1999","unstructured":"Krishnamurthi, S., Erlich, Y.-D., Felleisen, M.: Expressing Structural Properties as Language Constructs. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 258\u2013272. Springer, Heidelberg (1999)"},{"key":"19_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/3-540-45251-6_32","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R.: Grammar Adaptation. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 550\u2013570. Springer, Heidelberg (2001)"},{"key":"19_CR64","unstructured":"L\u00e4mmel, R.: Coupled Software Transformations (Extended Abstract). In: First International Workshop on Software Evolution Transformations, November 2004, 5 pages (2004), http:\/\/homepages.cwi.nl\/~ralf\/CoupledSoftwareTransformations\/"},{"key":"19_CR65","unstructured":"L\u00e4mmel, R.: LINQ to XSD. In: Proceedings, PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop collocated with POPL 2007, pp. 95\u201396 (2007), http:\/\/www.plan-x-2007.org\/plan-x-2007.pdf"},{"key":"19_CR66","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1244381.1244387","volume-title":"PEPM 2007: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","author":"R. L\u00e4mmel","year":"2007","unstructured":"L\u00e4mmel, R.: Style normalization for canonical X-to-O mappings. In: PEPM 2007: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp. 31\u201340. ACM, New York (2007)"},{"key":"19_CR67","unstructured":"L\u00e4mmel, R., Lohmann, W.: Format Evolution. In: Proceedings of 7th International Conference on Reverse Engineering for Information Systems (RETIS 2001). books@ocg.at, vol.\u00a0155, pp. 113\u2013134. OCG (2001)"},{"key":"19_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11877028_6","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"R. L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R., Meijer, E.: Mappings Make Data Processing Go \u2019Round. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143, pp. 169\u2013218. Springer, Heidelberg (2006)"},{"key":"19_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-76786-2_6","volume-title":"Datatype-Generic Programming","author":"R. L\u00e4mmel","year":"2007","unstructured":"L\u00e4mmel, R., Meijer, E.: Revealing the X\/O impedance mismatch (Changing lead into gold). In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol.\u00a04719, pp. 285\u2013367. Springer, Heidelberg (2007)"},{"key":"19_CR70","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-642-00255-7_17","volume-title":"Integrated Formal Methods, 7th International Conference, IFM 2009, Proceedings","author":"R. L\u00e4mmel","year":"2009","unstructured":"L\u00e4mmel, R., Zaytsev, V.: An Introduction to Grammar Convergence. In: Integrated Formal Methods, 7th International Conference, IFM 2009, Proceedings. LNCS, vol.\u00a05423, pp. 246\u2013260. Springer, Heidelberg (2009)"},{"key":"19_CR71","unstructured":"Lee, H., Antkiewicz, M., Czarnecki, K.: Towards a Generic Infrastructure for Framework-specific Integrated Development Environment Extensions. In: 2nd International Workshop on Domain-Specific Program Development (DSPD), in association with GPCE (2008), http:\/\/www.labri.fr\/perso\/reveille\/DSPD\/2008"},{"issue":"5","key":"19_CR72","doi-asserted-by":"publisher","first-page":"1870","DOI":"10.1109\/TSP.2005.845480","volume":"53","author":"J. Li","year":"2005","unstructured":"Li, J.: Low noise reversible MDCT (RMDCT) and its application in progressive-to-lossless embedded audio coding. IEEE Transactions on Signal Processing\u00a053(5), 1870\u20131880 (2005)","journal-title":"IEEE Transactions on Signal Processing"},{"key":"19_CR73","unstructured":"Liquid, X.: http:\/\/www.liquid-technologies.com\/"},{"key":"19_CR74","first-page":"30","volume-title":"7th European Conference on Software Maintenance and Reengineering (CSMR 2003), Proceedings","author":"W. Lohmann","year":"2003","unstructured":"Lohmann, W., Riedewald, G.: Towards Automatical Migration of Transformation Rules after Grammar Extension. In: 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), Proceedings, pp. 30\u201339. IEEE Computer Society, Los Alamitos (2003)"},{"key":"19_CR75","unstructured":"Lutterkort, D.: Augeas\u2013A Configuration API. In: Proceedings of the Linux Symposium, Ottawa, ON, July 2008, pp. 47\u201356 (2008)"},{"key":"19_CR76","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/1291151.1291162","volume-title":"ICFP 2007: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming","author":"K. Matsuda","year":"2007","unstructured":"Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: ICFP 2007: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, pp. 47\u201358. ACM, New York (2007)"},{"issue":"2","key":"19_CR77","first-page":"5","volume":"26","author":"K. Matsuda","year":"2009","unstructured":"Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalizing Programs with Duplication through Complementary Function Derivation. JSSST Journal: Computer Software\u00a026(2), 5 (2009) (to appear) (in Japanese)","journal-title":"JSSST Journal: Computer Software"},{"key":"19_CR78","first-page":"227","volume-title":"19th International Conference on Data Engineering, ICDE 2003, Proceedings","author":"P. McBrien","year":"2003","unstructured":"McBrien, P., Poulovassilis, A.: Data Integration by Bi-Directional Schema Transformation Rules. In: 19th International Conference on Data Engineering, ICDE 2003, Proceedings, pp. 227\u2013238. IEEE Computer Society, Los Alamitos (2003)"},{"key":"19_CR79","unstructured":"Meertens, L.: Designing Constraint Maintainers for User Interaction (June 1998) (manuscript), http:\/\/www.kestrel.edu\/home\/people\/meertens"},{"key":"19_CR80","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/1142473.1142552","volume-title":"SIGMOD 2006: Proceedings of the 2006 ACM SIGMOD international conference on Management of data","author":"E. Meijer","year":"2006","unstructured":"Meijer, E., Beckman, B., Bierman, G.: LINQ: reconciling object, relations and XML in the .NET framework. In: SIGMOD 2006: Proceedings of the 2006 ACM SIGMOD international conference on Management of data, pp. 706\u2013706. ACM, New York (2006)"},{"key":"19_CR81","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1145\/1247480.1247532","volume-title":"SIGMOD 2007: Proceedings of the 2007 ACM SIGMOD international conference on Management of data","author":"S. Melnik","year":"2007","unstructured":"Melnik, S., Adya, A., Bernstein, P.: Compiling mappings to bridge applications and databases. In: SIGMOD 2007: Proceedings of the 2007 ACM SIGMOD international conference on Management of data, pp. 461\u2013472. ACM, New York (2007)"},{"issue":"1","key":"19_CR82","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/373626.373713","volume":"30","author":"R. Miller","year":"2001","unstructured":"Miller, R., Hern\u00e1ndez, M., Haas, L., Yan, L., Ho, C., Fagin, R., Popa, L.: The Clio Project: Managing Heterogeneity. ACM SIGMOD Record\u00a030(1), 78\u201383 (2001)","journal-title":"ACM SIGMOD Record"},{"key":"19_CR83","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/1250734.1250752","volume-title":"PLDI 2007: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation","author":"K. Morita","year":"2007","unstructured":"Morita, K., Morihata, A., Matsuzaki, K., Hu, Z., Takeichi, M.: Automatic inversion generates divide-and-conquer parallel programs. In: PLDI 2007: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp. 146\u2013155. ACM, New York (2007)"},{"key":"19_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-30477-7_2","volume-title":"Programming Languages and Systems","author":"S.-C. Mu","year":"2004","unstructured":"Mu, S.-C., Hu, Z., Takeichi, M.: An Algebraic Approach to Bi-directional Updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 2\u201320. Springer, Heidelberg (2004)"},{"key":"19_CR85","doi-asserted-by":"crossref","unstructured":"Nakano, K., Hu, Z., Takeichi, M.: Consistent Web Site Updating based on Bidirectional Transformation. In: 10th IEEE International Symposium on Web Site Evolution (WSE 2008) (October 2008)","DOI":"10.1109\/WSE.2008.4655395"},{"key":"19_CR86","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-88643-3_4","volume-title":"GTTSE 2007","author":"J. Oliveira","year":"2008","unstructured":"Oliveira, J.: Transforming Data By Calculation. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 134\u2013195. Springer, Heidelberg (2008)"},{"key":"19_CR87","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"T.W. Pratt","year":"1971","unstructured":"Pratt, T.W.: Pair Grammars, Graph Languages and String-to-Graph Translations. Journal of Computer and System Sciences\u00a05, 560\u2013595 (1971)","journal-title":"Journal of Computer and System Sciences"},{"key":"19_CR88","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/858570.858571","volume-title":"IVME 2003: Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators","author":"N. Ramsey","year":"2003","unstructured":"Ramsey, N.: Embedding an interpreted language using higher-order functions and types. In: IVME 2003: Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators, pp. 6\u201314. ACM, New York (2003)"},{"key":"19_CR89","first-page":"513","volume-title":"Information Processing 1983, Proceedings","author":"J. Reynolds","year":"1983","unstructured":"Reynolds, J.: Types, abstraction and parametric polymorphism. In: Information Processing 1983, Proceedings, pp. 513\u2013523. Elsevier, Amsterdam (1983)"},{"key":"19_CR90","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/1411286.1411301","volume-title":"Haskell 2008: Proceedings of the first ACM SIGPLAN symposium on Haskell","author":"A. Rodriguez","year":"2008","unstructured":"Rodriguez, A., Jeuring, J., Jansson, P., Gerdes, A., Kiselyov, O., Oliveira, B.: Comparing libraries for generic programming in Haskell. In: Haskell 2008: Proceedings of the first ACM SIGPLAN symposium on Haskell, pp. 111\u2013122. ACM, New York (2008)"},{"key":"19_CR91","unstructured":"Schmidt, A., Waas, F., Kersten, M., Florescu, D., Manolescu, I., Carey, M., Busse, R.: The XML Benchmark Project. Technical report, CWI, Amsterdam, The Netherlands, Technical Report INS-R0103 (April 2001), http:\/\/www.xml-benchmark.org\/"},{"key":"19_CR92","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"19_CR93","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903. Springer, Heidelberg (1995)"},{"key":"19_CR94","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A. Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 Years of Triple Graph Grammars - Research Challenges, New Contributions, Open Problems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"issue":"2","key":"19_CR95","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/320544.320549","volume":"2","author":"N.C. Shu","year":"1977","unstructured":"Shu, N.C., Housel, B.C., Taylor, R.W., Ghosh, S.P., Lum, V.Y.: EXPRESS: A Data EXtraction, Processing, amd REStructuring System. ACM Transactions on Database Systems (TODS)\u00a02(2), 134\u2013174 (1977)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"19_CR96","unstructured":"Song, H., Xiong, Y., Hu, Z., Huang, G., Mei, H.: A Model-Driven Framework for Constructing Runtime Architecture Infrastructures. Technical report, National Institute of Informatics, Japan, Technical Report GRACE-TR-2008-05 (December 2008), http:\/\/grace-center.jp\/en\/rsc_tr.html"},{"key":"19_CR97","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":"19_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"GTTSE 2007","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A Landscape of Bidirectional Model Transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"key":"19_CR99","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-87405-8_1","volume-title":"Graph Transformations","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: Towards an Algebraic Theory of Bidirectional Transformations. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 1\u201317. Springer, Heidelberg (2008)"},{"issue":"1","key":"19_CR100","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1023\/A:1009708715411","volume":"3","author":"S. Takahashi","year":"1998","unstructured":"Takahashi, S., Matsuoka, S., Miyashita, K., Hosobe, H., Kamada, T.: A Constraint-Based Approach for Visualization and Animation. Constraints\u00a03(1), 61\u201386 (1998)","journal-title":"Constraints"},{"issue":"3","key":"19_CR101","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1016\/j.datak.2007.04.007","volume":"63","author":"J. Terwilliger","year":"2007","unstructured":"Terwilliger, J., Delcambre, L., Logan, J.: Querying through a user interface. Data & Knowledge Engineering\u00a063(3), 774\u2013794 (2007)","journal-title":"Data & Knowledge Engineering"},{"key":"19_CR102","unstructured":"Terwilliger, J.F.: Graphical User Interfaces as Updatable Views. Ph.D thesis, Portland State University (2009)"},{"issue":"2","key":"19_CR103","first-page":"1396","volume":"1","author":"J.F. Terwilliger","year":"2008","unstructured":"Terwilliger, J.F., Melnik, S., Bernstein, P.A.: Language-integrated querying of XML data in SQL server. PVLDB\u00a01(2), 1396\u20131399 (2008)","journal-title":"PVLDB"},{"key":"19_CR104","unstructured":"Vallecillo, A.: A Journey through the Secret Life of Models. In: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings, vol.\u00a008331 (2008), http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2008\/1601"},{"key":"19_CR105","first-page":"79","volume-title":"VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing","author":"G. Varr\u00f3","year":"2005","unstructured":"Varr\u00f3, G., Sch\u00fcrr, A., Varro, D.: Benchmarking for Graph Transformation. In: VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, pp. 79\u201388. IEEE Computer Society, Los Alamitos (2005)"},{"key":"19_CR106","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"630","DOI":"10.1007\/978-3-540-87875-9_44","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Vermolen","year":"2008","unstructured":"Vermolen, S., Visser, E.: Heterogeneous Coupled Evolution of Software Languages. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 630\u2013644. Springer, Heidelberg (2008)"},{"issue":"3","key":"19_CR107","first-page":"3","volume":"200","author":"J. Visser","year":"2008","unstructured":"Visser, J.: Coupled Transformation of Schemas, Documents, Queries, and Constraints. ENTCS\u00a0200(3), 3\u201323 (2008)","journal-title":"ENTCS"},{"key":"19_CR108","first-page":"165","volume-title":"POPL 2009: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"J. Voigtl\u00e4nder","year":"2009","unstructured":"Voigtl\u00e4nder, J.: Bidirectionalization for free! (Pearl). In: POPL 2009: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 165\u2013176. ACM, New York (2009)"},{"key":"19_CR109","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-73589-2_28","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"G. Wachsmuth","year":"2007","unstructured":"Wachsmuth, G.: Metamodel Adaptation and Model Co-adaptation. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 600\u2013624. Springer, Heidelberg (2007)"},{"key":"19_CR110","first-page":"307","volume-title":"POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"P. Wadler","year":"1987","unstructured":"Wadler, P.: Views: a way for pattern matching to cohabit with data abstraction. In: POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 307\u2013313. ACM, New York (1987)"},{"key":"19_CR111","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/99370.99404","volume-title":"FPCA 1989: Proceedings of the fourth international conference on Functional programming languages and computer architecture","author":"P. Wadler","year":"1989","unstructured":"Wadler, P.: Theorems for free! In: FPCA 1989: Proceedings of the fourth international conference on Functional programming languages and computer architecture, pp. 347\u2013359. ACM, New York (1989)"},{"key":"19_CR112","unstructured":"Wang, M., Gibbons, J.: Translucent Abstraction: Safe Views through Bidirectional Transformation (2008), http:\/\/www.comlab.ox.ac.uk\/files\/711\/Bidi.pdf"},{"key":"19_CR113","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/1321631.1321657","volume-title":"ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering","author":"Y. Xiong","year":"2007","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, pp. 164\u2013173. ACM, New York (2007)"},{"key":"19_CR114","unstructured":"Xiong, Y., Zhao, H., Hu, Z., Takeichi, M., Song, H., Mei, H.: Beanbag: Operation-based Synchronization with Intra-relations. Technical Report GRACE-TR-2008-04, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informat iontics, Japan (December 2008), http:\/\/grace-center.jp\/downloads\/GRACE-TR-2008-04.pdf"},{"key":"19_CR115","unstructured":"XML Beans, http:\/\/xmlbeans.apache.org\/"},{"key":"19_CR116","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1366230.1366239","volume-title":"CF 2008: Conference on Computing Frontiers, Proceedings","author":"T. Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Principles of a Reversible Programming Language. In: CF 2008: Conference on Computing Frontiers, Proceedings, pp. 43\u201354. ACM, New York (2008)"},{"key":"19_CR117","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-70583-3_22","volume-title":"Automata, Languages and Programming","author":"T. Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Reversible Flowchart Languages and the Structured Reversible Program Theorem. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 258\u2013270. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02408-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:18:58Z","timestamp":1633645138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02408-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024078","9783642024085"],"references-count":119,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02408-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}