{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T15:29:59Z","timestamp":1750087799481,"version":"3.37.3"},"publisher-location":"Cham","reference-count":63,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319791074"},{"type":"electronic","value":"9783319791081"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-79108-1_1","type":"book-chapter","created":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T15:34:47Z","timestamp":1522164887000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Introduction to Bidirectional Transformations"],"prefix":"10.1007","author":[{"given":"Faris","family":"Abou-Saleh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1307-9286","authenticated-orcid":false,"given":"James","family":"Cheney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8426-9917","authenticated-orcid":false,"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"McKinna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-7612","authenticated-orcid":false,"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,28]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-319-19797-5_9","volume-title":"Mathematics of Program Construction","author":"F Abou-Saleh","year":"2015","unstructured":"Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Notions of bidirectional computation and entangled state monads. In: Hinze, R., Voigtl\u00e4nder, J. (eds.) MPC 2015. LNCS, vol. 9129, pp. 187\u2013214. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19797-5_9"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-30936-1_1","volume-title":"A List of Successes That Can Change the World","author":"F Abou-Saleh","year":"2016","unstructured":"Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Reflections on monadic lenses. In: Lindley, S., McBride, C., Trinder, P., Sannella, D. (eds.) A List of Successes That Can Change the World. LNCS, vol. 9600, pp. 1\u201331. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-30936-1_1"},{"key":"1_CR3","unstructured":"Abou-Saleh, F., McKinna, J., Gibbons, J.: Coalgebraic aspects of bidirectional computation. In: BX 2015. CEUR-WS, vol. 1396, pp. 15\u201330 (2015)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Abou-Saleh, F., McKinna, J., Gibbons, J.: Coalgebraic aspects of bidirectional computation. J. Object Technol. (2017, in press)","DOI":"10.5381\/jot.2017.16.1.a1"},{"key":"1_CR5","unstructured":"Ambler, S.W.: Mapping objects to relational databases: O\/R mapping in detail (1998). http:\/\/www.agiledata.org\/essays\/mappingObjects.html"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Angiuli, C., Morehouse, E., Licata, D.R., Harper, R.: Homotopical patch theory. In: International Conference on Functional Programming, pp. 243\u2013256. ACM (2014)","DOI":"10.1145\/2628136.2628158"},{"key":"1_CR7","unstructured":"Anjorin, A.: Class diagrams to database schemas v0.1. BX Repository. http:\/\/bx-community.wikidot.com\/examples:classdiagramstodatabaseschemas . Accessed Jan 2017"},{"issue":"4","key":"1_CR8","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. 6(4), 557\u2013575 (1981)","journal-title":"ACM Trans. Database Syst."},{"key":"1_CR9","first-page":"193","volume-title":"International Conference on Functional Programming","author":"DMJ Barbosa","year":"2010","unstructured":"Barbosa, D.M.J., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: alignment and view update. In: Hudak, P., Weirich, S. (eds.) International Conference on Functional Programming, pp. 193\u2013204. ACM, New York (2010)"},{"key":"1_CR10","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0074298","volume-title":"Reports of the Midwest Category Seminar","author":"J B\u00e9nabou","year":"1967","unstructured":"B\u00e9nabou, J., Davis, R., Dold, A., Isbell, J., MacLane, S., Oberst, U., Roos, J.-E.: Reports of the Midwest Category Seminar. LNM, vol. 47, pp. 1\u201377. Springer, Heidelberg (1967). https:\/\/doi.org\/10.1007\/BFb0074298"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/3-540-45699-6_2","volume-title":"Applied Semantics","author":"N Benton","year":"2002","unstructured":"Benton, N., Hughes, J., Moggi, E.: Monads and effects. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 42\u2013122. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45699-6_2"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: Principles of Programming Languages (2008)","DOI":"10.1145\/1328438.1328487"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views. In: Principles of Database Systems, pp. 338\u2013347. ACM (2006)","DOI":"10.1145\/1142351.1142399"},{"key":"1_CR14","unstructured":"Boyer, J.M.: W3C XForms, October 2009. https:\/\/www.w3.org\/TR\/xforms\/"},{"key":"1_CR15","volume-title":"Type-Driven Development with Idris","author":"E Brady","year":"2017","unstructured":"Brady, E.: Type-Driven Development with Idris. Manning Publications, Shelter Island (2017)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Cai, Y., Giarrusso, P.G., Rendel, T., Ostermann, K.: A theory of changes for higher-order languages: incrementalizing $$\\lambda $$-calculi by static differentiation. In: Programming Language Design and Implementation, pp. 145\u2013155. ACM (2014)","DOI":"10.1145\/2666356.2594304"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles of least change and least surprise for bidirectional transformations. J. Object Technol. (2017, to appear)","DOI":"10.5381\/jot.2017.16.1.a3"},{"key":"1_CR18","unstructured":"Cheney, J., McKinna, J., Stevens, P., Gibbons, J.: Towards a repository of BX examples. In: BX Workshop, March 2014"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-19440-5_11","volume-title":"Software Language Engineering","author":"A Cicchetti","year":"2011","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: a bidirectional and change propagating transformation language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol. 6563, pp. 183\u2013202. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19440-5_11"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-540-89330-1_15","volume-title":"Programming Languages and Systems","author":"E Cooper","year":"2008","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: The essence of form abstraction. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 205\u2013220. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89330-1_15"},{"key":"1_CR21","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. 5563, pp. 260\u2013283. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02408-5_19"},{"key":"1_CR22","volume-title":"View Updating and Relational Theory","author":"CJ Date","year":"2012","unstructured":"Date, C.J.: View Updating and Relational Theory. O\u2019Reilly, Newton (2012)"},{"issue":"6","key":"1_CR23","first-page":"1","volume":"10","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1\u201325 (2011)","journal-title":"J. Object Technol."},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-24485-8_22","volume-title":"Model Driven Engineering Languages and Systems","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From state- to delta-based bidirectional model transformations: the symmetric case. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304\u2013318. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_22"},{"key":"1_CR25","series-title":"Applications, Languages and Tools","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)"},{"key":"1_CR26","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. In: Principles of Programming Languages, pp. 233\u2013246. ACM (2005)","DOI":"10.1145\/1040305.1040325"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32202-0_1","volume-title":"Generic and Indexed Programming","author":"N Foster","year":"2012","unstructured":"Foster, N., Matsuda, K., Voigtl\u00e4nder, J.: Three complementary approaches to bidirectional programming. In: Gibbons, J. (ed.) Generic and Indexed Programming. LNCS, vol. 7470, pp. 1\u201346. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32202-0_1"},{"issue":"1\u20132","key":"1_CR28","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1026158013113","volume":"40","author":"SJ Hegner","year":"2004","unstructured":"Hegner, S.J.: An order-based theory of updates for closed database views. Ann. Math. Artif. Intell. 40(1\u20132), 63\u2013125 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-319-79108-1_3","volume-title":"Summer School on Bidirectional Transformations","author":"M Hofmann","year":"2018","unstructured":"Hofmann, M.: Modular edit lenses. In: Gibbons, J., Stevens, P. (eds.) Summer School on Bidirectional Transformations. LNCS, vol. 9715, pp. 73\u201399. Springer, Cham (2018)"},{"key":"1_CR30","first-page":"371","volume-title":"Principles of Programming Languages","author":"M Hofmann","year":"2011","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: Ball, T., Sagiv, M. (eds.) Principles of Programming Languages, pp. 371\u2013384. ACM, New York (2011)"},{"key":"1_CR31","first-page":"495","volume-title":"Principles of Programming Languages","author":"M Hofmann","year":"2012","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Edit lenses. In: Field, J., Hicks, M. (eds.) Principles of Programming Languages, pp. 495\u2013508. ACM, New York (2012)"},{"issue":"1","key":"1_CR32","first-page":"42","volume":"1","author":"Z Hu","year":"2011","unstructured":"Hu, Z., Sch\u00fcrr, A., Stevens, P., Terwilliger, J.F.: Bidirectional transformations \u201cbx\u201d (Dagstuhl Seminar 11031). Dagstuhl Rep. 1(1), 42\u201367 (2011)","journal-title":"Dagstuhl Rep."},{"key":"1_CR33","unstructured":"Johnson, M., Rosebrugh, R.D.: Lens put-put laws: monotonic and mixed. In: BX Workshop (2012). ECEASST 49"},{"key":"1_CR34","unstructured":"Johnson, M., Rosebrugh, R.D.: Spans of lenses. In: Terwilliger, J., Hidaka, S. (eds.) BX Workshop. CEUR Workshop Proceedings, vol. 1133, pp. 112\u2013118 (2014). CEUR-WS.org"},{"key":"1_CR35","unstructured":"Johnson, M., Rosebrugh, R.D.: Unifying set-based, delta-based and edit-based lenses. In: Anjorin, A., Gibbons, J. (eds.) BX Workshop. CEUR Workshop Proceedings, vol. 1571, pp. 1\u201313 (2016). CEUR-WS.org"},{"issue":"1","key":"1_CR36","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1017\/S0960129511000442","volume":"22","author":"M Johnson","year":"2012","unstructured":"Johnson, M., Rosebrugh, R.D., Wood, R.J.: Lenses, fibrations and universal translations. Math. Struct. Comput. Sci. 22(1), 25\u201342 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S.L., Wadler, P.: Imperative functional programming. In: Principles of Programming Languages, pp. 71\u201384 (1993)","DOI":"10.1145\/158511.158524"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Liang, S., Hudak, P., Jones, M.: Monad transformers and modular interpreters. In: Principles of Programming Languages, pp. 333\u2013343 (1995)","DOI":"10.1145\/199448.199528"},{"key":"1_CR39","series-title":"International Series of Monographs on Computer Science","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538356.001.0001","volume-title":"Computation and Reasoning: A Type Theory for Computer Science","author":"Z Luo","year":"1994","unstructured":"Luo, Z.: Computation and Reasoning: A Type Theory for Computer Science. International Series of Monographs on Computer Science. Oxford University Press, Oxford (1994)"},{"issue":"3","key":"1_CR40","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1007\/s10270-014-0437-x","volume":"15","author":"N Macedo","year":"2016","unstructured":"Macedo, N., Cunha, A.: Least-change bidirectional model transformation with QVT-R and ATL. Softw. Syst. Model. 15(3), 783\u2013810 (2016)","journal-title":"Softw. Syst. Model."},{"key":"1_CR41","unstructured":"McKinna, J.: Bidirectional transformations are proof-relevant bisimulations. Extended Abstract Presented at ICFP Workshop TyDe, Nara, Japan (2016). https:\/\/www.youtube.com\/watch?v=33RYwcIQ7UM"},{"key":"1_CR42","unstructured":"McKinna, J.: Bidirectional transformations with deltas: a dependently typed approach (talk proposal). In: Bx Workshop, ETAPS (2016). http:\/\/ceur-ws.org\/Vol-1571\/paper_11.pdf"},{"key":"1_CR43","unstructured":"McKinna, J.: Complements witness consistency. In: Bx Workshop, ETAPS (2016). http:\/\/ceur-ws.org\/Vol-1571\/paper_10.pdf"},{"key":"1_CR44","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction. CWI, Amsterdam, June 1998. http:\/\/www.kestrel.edu\/home\/people\/meertens\/pub\/dcm.ps"},{"key":"1_CR45","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction. In: Mu, S.-C. (ed.) Third Workshop on Programmable Structured Documents, pp. 1\u20133. PSD Laboratory, Tokyo University (2005)"},{"key":"1_CR46","unstructured":"Microsoft. Windows Presentation Foundation (2006). https:\/\/msdn.microsoft.com\/en-us\/library\/ms754130.aspx"},{"issue":"1","key":"1_CR47","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"1_CR48","unstructured":"Neward, T.: The Vietnam of computer science, June 2006. http:\/\/blogs.tedneward.com\/post\/the-vietnam-of-computer-science\/"},{"key":"1_CR49","series-title":"International Series of Monographs on Computer Science","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction","author":"B Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory: An Introduction. International Series of Monographs on Computer Science, vol. 7. Oxford University Press, Oxford (1990). https:\/\/www.cse.chalmers.se\/research\/group\/logic\/book\/book.pdf"},{"key":"1_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-04652-0_5","volume-title":"Advanced Functional Programming","author":"U Norell","year":"2009","unstructured":"Norell, U.: Dependently typed programming in agda. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol. 5832, pp. 230\u2013266. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04652-0_5"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Pacheco, H., Hu, Z., Fischer, S.: Monadic combinators for \u201cputback\u201d style bidirectional programming. In: Partial Evaluation and Program Manipulation, pp. 39\u201350. ACM (2014)","DOI":"10.1145\/2543728.2543737"},{"key":"1_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G Plotkin","year":"2002","unstructured":"Plotkin, G., Power, J.: Notions of computation determine monads. In: Nielsen, M., Engberg, U. (eds.) FoSSaCS 2002. LNCS, vol. 2303, pp. 342\u2013356. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45931-6_24"},{"issue":"6","key":"1_CR53","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1016\/S0022-0000(71)80016-8","volume":"5","author":"TW Pratt","year":"1971","unstructured":"Pratt, T.W.: Pair grammars, graph languages and string-to-graph translations. J. Comput. Syst. Sci. 5(6), 560\u2013595 (1971)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR54","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)"},{"key":"1_CR55","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. 903, pp. 151\u2013163. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59071-4_45"},{"key":"1_CR56","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. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411\u2013425. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_28"},{"key":"1_CR57","unstructured":"Shkaravska, O.: Side-effect monad, its equational theory and applications (2005). http:\/\/www.ioc.ee\/~tarmo\/tsem05\/shkaravska1512-slides.pdf"},{"key":"1_CR58","unstructured":"Stevens, P.: ModelTests v0.1 in Bx Examples Repository. http:\/\/bx-community.wikidot.com\/examples:modeltests . Accessed 6 Feb 2017"},{"issue":"1","key":"1_CR59","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Softw. Syst. Model. 9(1), 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"key":"1_CR60","unstructured":"Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. In: BX Workshop (2012). ECEASST 49"},{"key":"1_CR61","unstructured":"Stevens, P., McKinna, J., Cheney, J.: Composers v0.1. BX Repository. http:\/\/bx-community.wikidot.com\/examples:composers . Accessed Jan 2017"},{"key":"1_CR62","doi-asserted-by":"crossref","unstructured":"Swierstra, W., L\u00f6h, A.: The semantics of version control. In: Onward!, pp. 43\u201354 (2014)","DOI":"10.1145\/2661136.2661137"},{"key":"1_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-59451-5_2","volume-title":"Advanced Functional Programming","author":"P Wadler","year":"1995","unstructured":"Wadler, P.: Monads for functional programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol. 925, pp. 24\u201352. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59451-5_2"}],"container-title":["Lecture Notes in Computer Science","Bidirectional Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-79108-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,2]],"date-time":"2024-07-02T10:49:30Z","timestamp":1719917370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-79108-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319791074","9783319791081"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-79108-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}