{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:06Z","timestamp":1750307046090,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,5,21]],"date-time":"2012-05-21T00:00:00Z","timestamp":1337558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,5,21]]},"DOI":"10.1145\/2213556.2213568","type":"proceedings-article","created":{"date-parts":[[2012,5,21]],"date-time":"2012-05-21T15:20:35Z","timestamp":1337613635000},"page":"61-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Linguistic foundations for bidirectional transformations"],"prefix":"10.1145","author":[{"given":"Benjamin C.","family":"Pierce","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088357"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319634"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863572"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005398"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328487"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142399"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11601524_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_14"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543633"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/319732.319740"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_2"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVSM.2009.5071715"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065046"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.25"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411257"},{"key":"e_1_3_2_1_21_1","volume-title":"First International Workshop on Bidirectional Transformations (BX 2012)","author":"Gibbons J.","year":"2012","unstructured":"J. Gibbons and M. Johnson . Relating algebraic and coalgebraic descriptions of lenses . In First International Workshop on Bidirectional Transformations (BX 2012) , March 2012 . J. Gibbons and M. Johnson. Relating algebraic and coalgebraic descriptions of lenses. In First International Workshop on Bidirectional Transformations (BX 2012), March 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/49346.50068"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863573"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5070990"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529383"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926428"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103715"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014025"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-008-9025-5"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2007206.2007217"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129511000442"},{"key":"e_1_3_2_1_32_1","first-page":"729","volume":"16","author":"Johnson M.","year":"2010","unstructured":"M. Johnson , R. D. Rosebrugh , and R. Wood . Algebras and Update Strategies. Journal of Universal Computer Science , 16 : 729 -- 748 , 2010 . M. Johnson, R. D. Rosebrugh, and R. Wood. Algebras and Update Strategies. Journal of Universal Computer Science, 16:729--748, 2010.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159830"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005209"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244386"},{"key":"e_1_3_2_1_36_1","volume-title":"Feb.","author":"Lutterkort D.","year":"2007","unstructured":"D. Lutterkort . Augeas: A Linux configuration API , Feb. 2007 . Available from http:\/\/augeas.net\/. D. Lutterkort. Augeas: A Linux configuration API, Feb. 2007. Available from http:\/\/augeas.net\/."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291162"},{"key":"e_1_3_2_1_38_1","unstructured":"L. Meertens. Designing constraint maintainers for user interaction 1998. Manuscript.  L. Meertens. Designing constraint maintainers for user interaction 1998. Manuscript."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_2"},{"key":"e_1_3_2_1_40_1","volume-title":"Functor is to lens as applicative is to biplate: Introducing multiplate. CoRR, abs\/1103.2841","author":"O'Connor R.","year":"2011","unstructured":"R. O'Connor . Functor is to lens as applicative is to biplate: Introducing multiplate. CoRR, abs\/1103.2841 , 2011 . R. O'Connor. Functor is to lens as applicative is to biplate: Introducing multiplate. CoRR, abs\/1103.2841, 2011."},{"key":"e_1_3_2_1_41_1","volume-title":"First International Workshop on Bidirectional Transformations (BX)","author":"Pacheco H.","year":"2012","unstructured":"H. Pacheco , A. Cunha , and Z. Hu . Delta lenses over inductive types . In First International Workshop on Bidirectional Transformations (BX) , 2012 . H. Pacheco, A. Cunha, and Z. Hu. Delta lenses over inductive types. In First International Workshop on Bidirectional Transformations (BX), 2012."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/858570.858571"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394103"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88643-3_10"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_1"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the First International Workshop on Bidirectional Transformations (BX 2012)","author":"Stevens P.","year":"2012","unstructured":"P. Stevens . Observations relating to the equivalences induced on model sets by bidirectional transformations. In F. Hermann and J. Voigtl\u00e4nder, editors , Proceedings of the First International Workshop on Bidirectional Transformations (BX 2012) , 2012 . Electronic Communications of the EASST , Volume X . P. Stevens. Observations relating to the equivalences induced on model sets by bidirectional transformations. In F. Hermann and J. Voigtl\u00e4nder, editors, Proceedings of the First International Workshop on Bidirectional Transformations (BX 2012), 2012. Electronic Communications of the EASST, Volume X."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480904"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863571"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034825"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321657"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337287"}],"event":{"name":"SIGMOD\/PODS '12: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Scottsdale Arizona USA","acronym":"SIGMOD\/PODS '12"},"container-title":["Proceedings of the 31st ACM SIGMOD-SIGACT-SIGAI symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2213556.2213568","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2213556.2213568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:00Z","timestamp":1750238460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2213556.2213568"}},"subtitle":["invited tutorial"],"short-title":[],"issued":{"date-parts":[[2012,5,21]]},"references-count":49,"alternative-id":["10.1145\/2213556.2213568","10.1145\/2213556"],"URL":"https:\/\/doi.org\/10.1145\/2213556.2213568","relation":{},"subject":[],"published":{"date-parts":[[2012,5,21]]},"assertion":[{"value":"2012-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}