{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:38:20Z","timestamp":1725791900958},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319064093"},{"type":"electronic","value":"9783319064109"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06410-9_1","type":"book-chapter","created":{"date-parts":[[2014,4,18]],"date-time":"2014-04-18T17:03:01Z","timestamp":1397840581000},"page":"1-15","source":"Crossref","is-referenced-by-count":9,"title":["Validity Checking of Putback Transformations in Bidirectional Programming"],"prefix":"10.1007","author":[{"given":"Zhenjiang","family":"Hu","sequence":"first","affiliation":[]},{"given":"Hugo","family":"Pacheco","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Fischer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"1_CR1","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)","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Barbosa, D.M.J., Cretin, J., Foster, J.N., Greenberg, M., Pierce, B.C.: Matching lenses: alignment and view update. In: ICFP 2010, pp. 193\u2013204. ACM (2010)","DOI":"10.1145\/1932681.1863572"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: POPL 2008, pp. 407\u2013419. ACM (2008)","DOI":"10.1145\/1328897.1328487"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views. In: PODS 2006, pp. 338\u2013347. ACM (2006)","DOI":"10.1145\/1142351.1142399"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Buneman, P., Cheney, J., Vansummeren, S.: On the expressiveness of implicit provenance in query and update languages. ACM Transactions on Database Systems\u00a033(4) (2008)","DOI":"10.1145\/1412331.1412340"},{"key":"1_CR6","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.: Bidirectional transformations: A cross-discipline perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"1_CR7","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, 381\u2013416 (1982)","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR8","unstructured":"Fischer, S., Hu, Z., Pacheco, H.: \u201cPutback\u201d is the Essence of Bidirectional Programming. GRACE Technical Report 2012-08, National Institute of Informatics, 36 p. (2012)"},{"key":"1_CR9","unstructured":"Foster, J.: Bidirectional Programming Languages. Ph.D. thesis, University of Pennsylvania (December 2009)"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","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., 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\u00a029(3), 17 (2007)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45744-5_41","volume-title":"Automated Reasoning","author":"J. Giesl","year":"2001","unstructured":"Giesl, J., Kapur, D.: Decidable classes of inductive theorems. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 469\u2013484. Springer, Heidelberg (2001)"},{"issue":"4","key":"1_CR12","doi-asserted-by":"publisher","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 Transactions on Database Systems\u00a013(4), 486\u2013524 (1988)","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K.: Bidirectionalizing graph transformations. In: ICFP 2010, pp. 205\u2013216. ACM (2010)","DOI":"10.1145\/1932681.1863573"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: POPL 2011, pp. 371\u2013384. ACM (2011)","DOI":"10.1145\/1925844.1926428"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Edit lenses. In: POPL 2012, pp. 495\u2013508. ACM (2012)","DOI":"10.1145\/2103621.2103715"},{"issue":"1","key":"1_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/2007206.2007217","volume":"40","author":"Z. Hu","year":"2011","unstructured":"Hu, Z., Sch\u00fcrr, A., Stevens, P., Terwilliger, J.F.: Dagstuhl Seminar on Bidirectional Transformations (BX). SIGMOD Record\u00a040(1), 35\u201339 (2011)","journal-title":"SIGMOD Record"},{"issue":"1-2","key":"1_CR17","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)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Hutton, G.: Programming in Haskell. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511813672"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/10705424_8","volume-title":"Functional and Logic Programming","author":"A. K\u00fchnemann","year":"1999","unstructured":"K\u00fchnemann, A.: Comparison of deforestation techniques for functional programs and for tree transducers. In: Middeldorp, A., Sato, T. (eds.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 114\u2013130. Springer, Heidelberg (1999)"},{"key":"1_CR20","unstructured":"L\u00e4mmel, R.: Coupled Software Transformations (Extended Abstract). In: SETS 2004 (2004)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: ICFP 2007, pp. 47\u201358. ACM (2007)","DOI":"10.1145\/1291151.1291162"},{"key":"1_CR22","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction (1998), manuscript available at, \n                  \n                    http:\/\/www.kestrel.edu\/home\/people\/meertens"},{"key":"1_CR23","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_CR24","unstructured":"Pacheco, H., Cunha, A., Hu, Z.: Delta lenses over inductive types. In: BX 2012. Electronic Communications of the EASST, vol. 49 (2012)"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Pacheco, H., Hu, Z., Fischer, S.: Monadic combinators for \u201cputback\u201d style bidirectional programming. In: PEPM 2014, pp. 39\u201350. ACM (2014)","DOI":"10.1145\/2543728.2543737"},{"issue":"1","key":"1_CR26","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(92)90281-J","volume":"106","author":"H. Seidl","year":"1992","unstructured":"Seidl, H.: Single-valuedness of tree transducers is decidable in polynomial time. Theor. Comput. Sci.\u00a0106(1), 135\u2013181 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Voigtl\u00e4nder, J.: Bidirectionalization for free! (pearl). In: POPL 2009, pp. 165\u2013176. ACM (2009)","DOI":"10.1145\/1594834.1480904"},{"key":"1_CR28","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)"},{"key":"1_CR29","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: ASE 2007, pp. 164\u2013173. ACM (2007)","DOI":"10.1145\/1321631.1321657"}],"container-title":["Lecture Notes in Computer Science","FM 2014: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06410-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T12:53:38Z","timestamp":1558875218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06410-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319064093","9783319064109"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06410-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}