{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T14:34:15Z","timestamp":1767969255767,"version":"3.49.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2015,4,10]],"date-time":"2015-04-10T00:00:00Z","timestamp":1428624000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1007\/s11432-015-5316-8","type":"journal-article","created":{"date-parts":[[2015,4,10]],"date-time":"2015-04-10T23:15:14Z","timestamp":1428707714000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["The essence of bidirectional programming","\u9006\u5411\u66f4\u65b0\u662f\u53cc\u5411\u53d8\u6362\u8bbe\u8ba1\u7684\u672c\u8d28"],"prefix":"10.1007","volume":"58","author":[{"given":"Sebastian","family":"Fischer","sequence":"first","affiliation":[]},{"given":"ZhenJiang","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Hugo","family":"Pacheco","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,10]]},"reference":[{"key":"5316_CR1","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume":"5563","author":"K Czarnecki","year":"2009","unstructured":"Czarnecki K, Foster J N, Hu Z, et al. Bidirectional transformations: a cross-discipline perspective. Lect Notes Comput Sci, 2009, 5563: 260\u2013283","journal-title":"Lect Notes Comput Sci"},{"key":"5316_CR2","first-page":"35","volume":"40","author":"Z Hu","year":"2011","unstructured":"Hu Z, Sch\u00fcrr A, Stevens P, et al. Dagstuhl seminar on bidirectional transformations (BX). IGMOD Rec, 2011. 40: 35\u201339","journal-title":"IGMOD Rec"},{"key":"5316_CR3","doi-asserted-by":"crossref","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 Trans Database Syst, 1981, 6: 557\u2013575","journal-title":"ACM Trans Database Syst"},{"key":"5316_CR4","doi-asserted-by":"crossref","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 Trans Database Syst, 1982, 7: 381\u2013416","journal-title":"ACM Trans Database Syst"},{"key":"5316_CR5","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1145\/49346.50068","volume":"13","author":"G Gottlob","year":"1988","unstructured":"Gottlob G, Paolini P, Zicari R. Properties and update semantics of consistent views. ACM Trans Database Syst, 1988, 13: 486\u2013524","journal-title":"ACM Trans Database Syst"},{"key":"5316_CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J N Foster","year":"2007","unstructured":"Foster J N, Greenwald M B, Moore J T, et al. Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans Program Lang Syst, 2007, 29: 17","journal-title":"ACM Trans Program Lang Syst"},{"key":"5316_CR7","doi-asserted-by":"crossref","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 Symb Comput, 2008. 21: 89\u2013118","journal-title":"Higher-Order Symb Comput"},{"key":"5316_CR8","first-page":"31","volume-title":"Proceedings of 1st International Workshop on Software Evolution Transformations, Delft","author":"R L\u00e4mmel","year":"2004","unstructured":"L\u00e4mmel R. Coupled software transformations (extended abstract). In: Proceedings of 1st International Workshop on Software Evolution Transformations, Delft, 2004. 31\u201335"},{"key":"5316_CR9","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/1863543.1863573","volume-title":"Proceedings of 15th ACM SIGPLAN International Conference on Functional Programming, Baltimore","author":"S Hidaka","year":"2010","unstructured":"Hidaka S, Hu Z, Inaba K, et al. Bidirectionalizing graph transformations. In: Proceedings of 15th ACM SIGPLAN International Conference on Functional Programming, Baltimore, 2010. 205\u2013216"},{"key":"5316_CR10","first-page":"467","volume-title":"Proceedings of the 12th International Conference on Very Large Databases, Kyoto","author":"A Keller","year":"1986","unstructured":"Keller A. Choosing a view update translator by dialog at view definition time. In: Proceedings of the 12th International Conference on Very Large Databases, Kyoto, 1986. 467\u2013474"},{"key":"5316_CR11","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0306-4379(91)90012-X","volume":"16","author":"J A Larson","year":"1991","unstructured":"Larson J A, Sheth A P. Updating relational views using knowledge at view definition and view update time. Inf Syst, 1991, 16: 145\u2013168","journal-title":"Inf Syst"},{"key":"5316_CR12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/1291151.1291162","volume-title":"Proceedings of 12th ACM SIGPLAN International Conference on Functional Programming, Freiburg","author":"K Matsuda","year":"2007","unstructured":"Matsuda K, Hu Z, Nakano K, et al. Bidirectionalization transformation based on automatic derivation of view complement functions. In: Proceedings of 12th ACM SIGPLAN International Conference on Functional Programming, Freiburg, 2007. 47\u201358"},{"key":"5316_CR13","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/1480881.1480904","volume-title":"Proceedings of 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah","author":"J Voigtl\u00e4nder","year":"2009","unstructured":"Voigtl\u00e4nder J. Bidirectionalization for free! (pearl). In: Proceedings of 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, 2009. 165\u2013176"},{"key":"5316_CR14","first-page":"164","volume-title":"Proceedings of ASE 2007, Atlanta","author":"Y Xiong","year":"2007","unstructured":"Xiong Y, Liu D, Hu Z, et al. Towards automatic model synchronization from model transformations. In: Proceedings of ASE 2007, Atlanta, 2007. 164\u2013173"},{"key":"5316_CR15","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1145\/1328438.1328487","volume-title":"Proceedings of 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco","author":"A Bohannon","year":"2008","unstructured":"Bohannon A, Foster J N, Pierce B C, et al. Boomerang: resourceful lenses for string data. In: Proceedings of 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, 2008. 407\u2013419"},{"key":"5316_CR16","first-page":"338","volume-title":"Proceedings of 25th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Chicago","author":"A Bohannon","year":"2006","unstructured":"Bohannon A, Pierce B C, Vaughan J A. Relational lenses: a language for updatable views. In: Proceedings of 25th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Chicago, 2006. 338\u2013347"},{"key":"5316_CR17","first-page":"371","volume-title":"Proceedings of 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin","author":"M Hofmann","year":"2011","unstructured":"Hofmann M, Pierce B C, Wagner D. Symmetric lenses. In: Proceedings of 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, 2011. 371\u2013384"},{"key":"5316_CR18","first-page":"495","volume-title":"Proceedings of 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia","author":"M Hofmann","year":"2012","unstructured":"Hofmann M, Pierce B C, Wagner D. Edit lenses. In: Proceedings of 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, 2012. 495\u2013508"},{"key":"5316_CR19","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-3-642-13321-3_19","volume":"6120","author":"H Pacheco","year":"2010","unstructured":"Pacheco H, Cunha A. Generic point-free lenses. Lect Notes Comput Sci, 2010, 6120: 331\u2013352","journal-title":"Lect Notes Comput Sci"},{"key":"5316_CR20","first-page":"2","volume":"49","author":"H Pacheco","year":"2012","unstructured":"Pacheco H, Cunha A, Hu Z. Delta lenses over inductive types. Electron Commun EASST, 2012, 49: 2","journal-title":"Electron Commun EASST"},{"key":"5316_CR21","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/1412331.1412340","volume":"33","author":"P Buneman","year":"2008","unstructured":"Buneman P, Cheney J, Vansummeren S. On the expressiveness of implicit provenance in query and update languages. ACM Trans Database Syst, 2008, 33: 28","journal-title":"ACM Trans Database Syst"},{"key":"5316_CR22","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/1863543.1863572","volume-title":"Proceedings of 15th ACM SIGPLAN International Conference on Functional Programming, Baltimore","author":"D M J Barbosa","year":"2010","unstructured":"Barbosa D M J, Cretin J, Foster J N, et al. Matching lenses: alignment and view update. In: Proceedings of 15th ACM SIGPLAN International Conference on Functional Programming, Baltimore, 2010. 193\u2013204"},{"key":"5316_CR23","volume-title":"Technical Report, Keil University","author":"M Hanus","year":"2012","unstructured":"Hanus M. Curry: an Integrated Functional Logic Language (vers. 0.8.3). Technical Report, Keil University, 2012"},{"key":"5316_CR24","volume-title":"Bidirectional Programming Languages","author":"J N Foster","year":"2009","unstructured":"Foster J N. Bidirectional Programming Languages. Dissertation for the Doctoral Degree. University of Pennsylvania, 2009"},{"key":"5316_CR25","volume-title":"Bidirectional Data Transformation by Calculation","author":"H Pacheco","year":"2012","unstructured":"Pacheco H. Bidirectional Data Transformation by Calculation. Dissertation for the Doctoral Degree. University of Minho, 2012"},{"key":"5316_CR26","volume-title":"GRACE Technical Report 2012-08, National Institute of Informatics","author":"S Fischer","year":"2012","unstructured":"Fischer S, Hu Z, Pacheco H. \u201cPutback\u201d is the Essence of Bidirectional Programming. GRACE Technical Report 2012-08, National Institute of Informatics, 2012"},{"key":"5316_CR27","first-page":"39","volume-title":"Proceedings of PEPM 2014, San Diego","author":"H Pacheco","year":"2014","unstructured":"Pacheco H, Hu Z, Fischer S. Monadic combinators for \u201cputback\u201d style bidirectional programming. In: Proceedings of PEPM 2014, San Diego, 2014. 39\u201350"},{"key":"5316_CR28","volume-title":"Proceedings of 16th International Symposium on Principles and Practice of Declarative Programming, Canterbury","author":"H Pacheco","year":"2014","unstructured":"Pacheco H, Zan T, Hu Z. BiFluX: a bidirectional functional update language for XML. In: Proceedings of 16th International Symposium on Principles and Practice of Declarative Programming, Canterbury, 2014"},{"key":"5316_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-319-06410-9_1","volume":"8442","author":"Z Hu","year":"2014","unstructured":"Hu Z, Pacheco H, Fischer S. Validity checking of putback transformations in bidirectional programming. Lect Notes Comput Sci, 2014, 8442: 1\u201315","journal-title":"Lect Notes Comput Sci"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5316-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-015-5316-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-015-5316-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T10:20:17Z","timestamp":1691576417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-015-5316-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,10]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["5316"],"URL":"https:\/\/doi.org\/10.1007\/s11432-015-5316-8","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,10]]}}}