{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:41Z","timestamp":1762459001608},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322013"},{"type":"electronic","value":"9783642322020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32202-0_1","type":"book-chapter","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T18:26:38Z","timestamp":1342722398000},"page":"1-46","source":"Crossref","is-referenced-by-count":20,"title":["Three Complementary Approaches to Bidirectional Programming"],"prefix":"10.1007","author":[{"given":"Nate","family":"Foster","sequence":"first","affiliation":[]},{"given":"Kazutaka","family":"Matsuda","sequence":"additional","affiliation":[]},{"given":"Janis","family":"Voigtl\u00e4nder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-36576-1_2","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Abbott","year":"2003","unstructured":"Abbott, M., Altenkirch, T., Ghani, N.: Categories of Containers. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 23\u201338. Springer, Heidelberg (2003)"},{"issue":"4","key":"1_CR2","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\u00a06(4), 557\u2013575 (1981), doi:10.1145\/319628.319634","journal-title":"ACM Transactions on Database Systems"},{"issue":"9","key":"1_CR3","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/1932681.1863572","volume":"45","author":"Davi M.J. Barbosa","year":"2010","unstructured":"Barbosa, D., Cretin, J., Foster, J.N., Greenberg, M., Pierce, B.: Matching lenses: Alignment and view update. In: Proceedings of International Conference on Functional Programming. SIGPLAN Notices, vol.\u00a045(9), pp. 193\u2013204. ACM (2010), doi:10.1145\/1932681.1863572","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"1_CR4","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), doi:10.1017\/S0956796804005398","journal-title":"Journal of Functional Programming"},{"key":"1_CR5","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":"1_CR6","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Vaughan, J., Pierce, B.: Relational lenses: A language for updateable views. In: Proceedings of Principles of Database Systems, pp. 338\u2013347. ACM (2006), doi:10.1145\/1142351.1142399","DOI":"10.1145\/1142351.1142399"},{"issue":"1","key":"1_CR7","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1145\/1328897.1328487","volume":"43","author":"Aaron Bohannon","year":"2008","unstructured":"Bohannon, A., Foster, J., Pierce, B., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. In: Proceedings of Principles of Programming Languages. SIGPLAN Notices, vol.\u00a043(1), pp. 407\u2013419. ACM (2008), doi:10.1145\/1328897.1328487","journal-title":"ACM SIGPLAN Notices"},{"issue":"4\u20135","key":"1_CR8","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.: Dual syntax for XML languages. Information Systems\u00a033(4\u20135), 385\u2013406 (2008), doi:10.1016\/j.is.2008.01.006","journal-title":"Information Systems"},{"key":"1_CR9","unstructured":"Comon, H., Dauchet, M., Gilleron, R., L\u00f6ding, C., Jacquemard, F., Lugiez, D., Tison, S., Tommasi, M.: Tree automata techniques and applications (2007), \n                  \n                    http:\/\/tata.gforge.inria.fr\/\n                  \n                  \n                 (release October 12, 2007)"},{"issue":"4","key":"1_CR10","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1145\/1634.1887","volume":"31","author":"S. Cosmadakis","year":"1984","unstructured":"Cosmadakis, S., Papadimitriou, C.: Updates of relational views. Journal of the ACM\u00a031(4), 742\u2013760 (1984), doi:10.1145\/1634.1887","journal-title":"Journal of the ACM"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Cunha, J., Saraiva, J., Visser, J.: From spreadsheets to relational databases and back. In: Proceedings of Partial Evaluation and Program Manipulation, pp. 179\u2013188. ACM (2009), doi:10.1145\/1480945.1480972","DOI":"10.1145\/1480945.1480972"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K. Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional Transformations: A Cross-Discipline Perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"issue":"3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/319732.319740","volume":"7","author":"U. Dayal","year":"1982","unstructured":"Dayal, U., Bernstein, P.: On the correct translation of update operations on relational views. ACM Transactions on Database Systems\u00a07(3), 381\u2013416 (1982), doi:10.1145\/319732.319740","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-13688-7_5","volume-title":"Theory and Practice of Model Transformations","author":"Z. Diskin","year":"2010","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From State- to Delta-Based Bidirectional Model Transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 61\u201376. Springer, Heidelberg (2010)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/978-3-540-71316-6_32","volume-title":"Programming Languages and Systems","author":"R. Ennals","year":"2007","unstructured":"Ennals, R., Gay, D.M.: Multi-language Synchronization. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 475\u2013489. Springer, Heidelberg (2007)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Fegaras, L.: Propagating updates through XML views using lineage tracing. In: Proceedings of International Conference on Data Engineering, pp. 309\u2013320. IEEE (2010), doi:10.1109\/ICDE.2010.5447896","DOI":"10.1109\/ICDE.2010.5447896"},{"issue":"6","key":"1_CR17","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/1064978.1065046","volume":"40","author":"Kathleen Fisher","year":"2005","unstructured":"Fisher, K., Gruber, R.: PADS: A domain-specific language for processing ad hoc data. In: Proceedings of Programming Language Design and Implementation. SIGPLAN Notices, vol.\u00a040(6), pp. 295\u2013304. ACM (2005), doi:10.1145\/1064978.1065046","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR18","unstructured":"Foster, J., Pierce, B.: Boomerang Programmer\u2019s Manual (2009), \n                  \n                    http:\/\/www.seas.upenn.edu\/~harmony\/"},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1016\/j.jcss.2006.10.024","volume":"73","author":"J. Foster","year":"2007","unstructured":"Foster, J., Greenwald, M., Kirkegaard, C., Pierce, B., Schmitt, A.: Exploiting schemas in data synchronization. Journal of Computer and System Sciences\u00a073(4), 669\u2013689 (2007), doi:10.1016\/j.jcss.2006.10.024","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"1_CR20","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J. Foster","year":"2007","unstructured":"Foster, J., Greenwald, M., Moore, J., Pierce, B., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems\u00a029(3), 17 (2007), doi:10.1145\/1232420.1232424","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"9","key":"1_CR21","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1145\/1411203.1411257","volume":"43","author":"J. Nathan Foster","year":"2008","unstructured":"Foster, J., Pilkiewicz, A., Pierce, B.: Quotient lenses. In: Proceedings of International Conference on Functional Programming, vol.\u00a043(9), pp. 383\u2013395. ACM (2008), doi:10.1145\/1411203.1411257","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Foster, J., Pierce, B., Zdancewic, S.: Updatable security views. In: Proceedings of Computer Security Foundations, pp. 60\u201374. IEEE (2009), doi:10.1109\/CSF.2009.25","DOI":"10.1109\/CSF.2009.25"},{"issue":"3\u20134","key":"1_CR23","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1017\/S0956796809007291","volume":"19","author":"J. Gibbons","year":"2009","unstructured":"Gibbons, J., Oliveira, B.: The essence of the iterator pattern. Journal of Functional Programming\u00a019(3\u20134), 377\u2013402 (2009), doi:10.1017\/S0956796809007291","journal-title":"Journal of Functional Programming"},{"issue":"1\u20132","key":"1_CR24","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1026158013113","volume":"40","author":"S. Hegner","year":"2004","unstructured":"Hegner, S.: An order-based theory of updates for closed database views. Annals of Mathematics and Artificial Intelligence\u00a040(1\u20132), 63\u2013125 (2004), doi:10.1023\/A:1026158013113","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"9","key":"1_CR25","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/1932681.1863573","volume":"45","author":"Soichiro Hidaka","year":"2010","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K.: Bidirectionalizing graph transformations. In: Proceedings of International Conference on Functional Programming. SIGPLAN Notices, vol.\u00a045(9), pp. 205\u2013216. ACM (2010), doi:10.1145\/1932681.1863573","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"1_CR26","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/1925844.1926428","volume":"46","author":"Martin Hofmann","year":"2011","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Symmetric lenses. In: Proceedings of Principles of Programming Languages. SIGPLAN Notices, vol. 46(1), pp. 371\u2013384. ACM (2011), doi:10.1145\/1925844.1926428","journal-title":"ACM SIGPLAN Notices"},{"issue":"8","key":"1_CR27","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/258949.258964","volume":"32","author":"Zhenjiang Hu","year":"1997","unstructured":"Hu, Z., Iwasaki, H., Takeichi, M., Takano, A.: Tupling calculation eliminates multiple data traversals. In: Proceedings of International Conference on Functional Programming. SIGPLAN Notices, vol.\u00a032(8), pp. 164\u2013175. ACM (1997), doi:10.1145\/258949.258964","journal-title":"ACM SIGPLAN Notices"},{"issue":"1\u20132","key":"1_CR28","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\u20132), 89\u2013118 (2008), doi:10.1007\/s10990-008-9025-5","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"2\u20133","key":"1_CR29","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","volume":"25","author":"C. Jay","year":"1995","unstructured":"Jay, C.: A semantics for shape. Science of Computer Programming\u00a025(2\u20133), 251\u2013283 (1995), doi:10.1016\/0167-6423(95)00015-1","journal-title":"Science of Computer Programming"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-04652-0_4","volume-title":"Advanced Functional Programming","author":"J. Jeuring","year":"2009","unstructured":"Jeuring, J., Leather, S., Pedro Magalh\u00e3es, J., Rodriguez Yakushev, A.: Libraries for Generic Programming in Haskell. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol.\u00a05832, pp. 165\u2013229. Springer, Heidelberg (2009)"},{"issue":"9","key":"1_CR31","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/1160074.1159830","volume":"41","author":"Shinya Kawanaka","year":"2006","unstructured":"Kawanaka, S., Hosoya, H.: biXid: a bidirectional transformation language for XML. In: Proceedings of International Conference on Functional Programming. SIGPLAN Notices, vol.\u00a041(9), pp. 201\u2013214. ACM (2006), doi:10.1145\/1160074.1159830","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"1_CR32","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s007780100055","volume":"10","author":"D. Laurent","year":"2001","unstructured":"Laurent, D., Lechtenb\u00f6rger, J., Spyratos, N., Vossen, G.: Monotonic complements for independent data warehouses. The VLDB Journal\u00a010(4), 295\u2013315 (2001), doi:10.1007\/s007780100055","journal-title":"The VLDB Journal"},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/777943.777946","volume":"28","author":"J. Lechtenb\u00f6rger","year":"2003","unstructured":"Lechtenb\u00f6rger, J., Vossen, G.: On the computation of relational view complements. ACM Transactions on Database Systems\u00a028(2), 175\u2013208 (2003), doi:10.1145\/777943.777946","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR34","unstructured":"Lutterkort, D.: Augeas\u2014A configuration API. In: Proceedings of Linux Symposium, pp. 47\u201356 (2008)"},{"issue":"9","key":"1_CR35","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/1291220.1291162","volume":"42","author":"Kazutaka 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: Proceedings of International Conference on Functional Programming. SIGPLAN Notices, vol.\u00a042(9), pp. 47\u201358. ACM (2007), doi:10.1145\/1291220.1291162","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Matsuda, K., Hu, Z., Takeichi, M.: Type-based specialization of XML transformations. In: Proceedings of Partial Evaluation and Program Manipulation, pp. 61\u201372. ACM (2009), doi:10.1145\/1480945.1480955","DOI":"10.1145\/1480945.1480955"},{"key":"1_CR37","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction (1998), Manuscript, \n                  \n                    ftp:\/\/ftp.kestrel.edu\/pub\/papers\/meertens\/dcm.ps"},{"issue":"1","key":"1_CR38","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/373626.373713","volume":"30","author":"R. Miller","year":"2001","unstructured":"Miller, R., Hernandez, M., Haas, L., Yan, L., Ho, C., Fagin, R., Popa, L.: The Clio project: Managing heterogeneity. SIGMOD Record\u00a030(1), 78\u201383 (2001), doi:10.1145\/373626.373713","journal-title":"SIGMOD Record"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-13321-3_19","volume-title":"Mathematics of Program Construction","author":"H. Pacheco","year":"2010","unstructured":"Pacheco, H., Cunha, A.: Generic Point-free Lenses. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC 2010. LNCS, vol.\u00a06120, pp. 331\u2013352. Springer, Heidelberg (2010)"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Pacheco, H., Cunha, A.: Calculating with lenses: Optimising bidirectional transformations. In: Proceedings of Partial Evaluation and Program Manipulation, pp. 91\u2013100. ACM (2011), doi:10.1145\/1929501.1929520","DOI":"10.1145\/1929501.1929520"},{"key":"1_CR41","unstructured":"Perumalla, K., Fujimoto, R.: Source-code transformations for efficient reversibility. Technical Report GIT-CC-99-21, College of Computing, Georgia Tech. (1999)"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Ramsey, N.: Embedding an interpreted language using higher-order functions and types. In: Proceedings of Interpreters, Virtual Machines and Emulators, pp. 6\u201314. ACM (2003), doi:10.1145\/858570.858571","DOI":"10.1145\/858570.858571"},{"key":"1_CR43","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":"1_CR44","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)"},{"issue":"1","key":"1_CR45","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/1594834.1480904","volume":"44","author":"Janis Voigtl\u00e4nder","year":"2009","unstructured":"Voigtl\u00e4nder, J.: Bidirectionalization for free! In: Proceedings of Principles of Programming Languages. SIGPLAN Notices, vol.\u00a044(1), pp. 165\u2013176. ACM (2009), doi:10.1145\/1594834.1480904","journal-title":"ACM SIGPLAN Notices"},{"issue":"9","key":"1_CR46","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/1932681.1863571","volume":"45","author":"Janis Voigtl\u00e4nder","year":"2010","unstructured":"Voigtl\u00e4nder, J., Hu, Z., Matsuda, K., Wang, M.: Combining syntactic and semantic bidirectionalization. In: Proceedings of International Conference on Functional Programming. SIGPLAN Notices, vol.\u00a045(9), pp. 181\u2013192. ACM (2010), doi:10.1145\/1932681.1863571","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Theorems for free! In: Proceedings of Functional Programming Languages and Computer Architecture, pp. 347\u2013359. ACM (1989), doi:10.1145\/99370.99404","DOI":"10.1145\/99370.99404"},{"issue":"2","key":"1_CR48","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science\u00a073(2), 231\u2013248 (1990), doi:10.1016\/0304-3975(90)90147-A","journal-title":"Theoretical Computer Science"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-642-13321-3_22","volume-title":"Mathematics of Program Construction","author":"M. Wang","year":"2010","unstructured":"Wang, M., Gibbons, J., Matsuda, K., Hu, Z.: Gradual Refinement: Blending Pattern Matching with Data Abstraction. In: Bolduc, C., Desharnais, J., Ktari, B. (eds.) MPC 2010. LNCS, vol.\u00a06120, pp. 397\u2013425. Springer, Heidelberg (2010)"},{"issue":"9","key":"1_CR50","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1145\/2034574.2034825","volume":"46","author":"Meng Wang","year":"2011","unstructured":"Wang, M., Gibbons, J., Wu, N.: Incremental updates for efficient bidirectional transformations. In: Proceedings of International Conference on Functional Programming. SIGPLAN Notices, vol.\u00a046(9), pp. 392\u2013403. ACM (2011), doi:10.1145\/2034574.2034825","journal-title":"ACM SIGPLAN Notices"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H.: Towards automatic model synchronization from model transformations. In: Proceedings of Automated Software Engineering, pp. 164\u2013173. ACM (2007), doi:10.1145\/1321631.1321657","DOI":"10.1145\/1321631.1321657"}],"container-title":["Lecture Notes in Computer Science","Generic and Indexed Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32202-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:57:03Z","timestamp":1620129423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32202-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322013","9783642322020"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32202-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}