{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:57:18Z","timestamp":1725515838288},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304750"},{"type":"electronic","value":"9783642304767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30476-7_6","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:43Z","timestamp":1337945383000},"page":"89-104","source":"Crossref","is-referenced-by-count":4,"title":["Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas"],"prefix":"10.1007","author":[{"given":"Hugo","family":"Pacheco","sequence":"first","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","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":"6_CR2","series-title":"LNCS","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":"6_CR3","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.I.: Dual syntax for xml languages. Information Systems\u00a033, 385\u2013406 (2008)","journal-title":"Information Systems"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP 2000, pp. 268\u2013279. ACM (2000)","DOI":"10.1145\/357766.351266"},{"key":"6_CR5","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11813040_20","volume-title":"FM 2006: Formal Methods","author":"A. Cunha","year":"2006","unstructured":"Cunha, A., Oliveira, J.N., Visser, J.: Type-Safe Two-Level Data Transformation. In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 284\u2013299. Springer, Heidelberg (2006)"},{"issue":"5","key":"6_CR6","first-page":"57","volume":"229","author":"A. Cunha","year":"2011","unstructured":"Cunha, A., Pacheco, H.: Algebraic specialization of generic functions for recursive types. ENTCS\u00a0229(5), 57\u201374 (2011)","journal-title":"ENTCS"},{"issue":"1","key":"6_CR7","first-page":"17","volume":"174","author":"A. Cunha","year":"2007","unstructured":"Cunha, A., Visser, J.: Strongly typed rewriting for coupled software transformation. ENTCS\u00a0174(1), 17\u201334 (2007)","journal-title":"ENTCS"},{"issue":"6","key":"6_CR8","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1016\/j.scico.2010.01.003","volume":"76","author":"A. Cunha","year":"2011","unstructured":"Cunha, A., Visser, J.: Transformation of structure-shy programs with application to xpath queries and strategic functions. Science of Computer Programming\u00a076(6), 512\u2013539 (2011)","journal-title":"Science of Computer Programming"},{"key":"6_CR9","series-title":"LNCS","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":"6_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. TOPLAS\u00a029(3), 17 (2007)","journal-title":"TOPLAS"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Guerrini, G., Mesiti, M.: X-evolution: A comprehensive approach for xml schema evolution. In: DEXA 2008, pp. 251\u2013255. IEEE (2008)","DOI":"10.1109\/DEXA.2008.128"},{"key":"6_CR12","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":"6_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/11783596_14","volume-title":"Mathematics of Program Construction","author":"S. Holdermans","year":"2006","unstructured":"Holdermans, S., Jeuring, J., L\u00f6h, A., Rodriguez, A.: Generic Views on Data Types. In: Yu, H.-J. (ed.) MPC 2006. LNCS, vol.\u00a04014, pp. 209\u2013234. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"6_CR14","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":"6_CR15","doi-asserted-by":"crossref","unstructured":"Kawanaka, S., Hosoya, H.: Bixid: a bidirectional transformation language for xml. In: ICFP 2006, pp. 201\u2013214. ACM (2006)","DOI":"10.1145\/1160074.1159830"},{"key":"6_CR16","unstructured":"L\u00e4mmel, R.: Coupled Software Transformations (Extended Abstract). In: 1st International Workshop on Software Evolution Transformations (2004)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Jones, S.P.: Scrap your boilerplate: A practical design pattern for generic programming. In: TLDI 2003, pp. 26\u201337. ACM (2003)","DOI":"10.1145\/604178.604179"},{"key":"6_CR18","unstructured":"L\u00e4mmel, R., Lohmann, W.: Format Evolution. In: RETIS 2001, vol. 155, pp. 113\u2013134. OCG (2001)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-36388-2_24","volume-title":"Practical Aspects of Declarative Languages","author":"R. L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R., Visser, J.: A Strafunski Application Letter. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 357\u2013375. Springer, Heidelberg (2002)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Liu, D., Hu, Z., Takeichi, M.: Bidirectional interpretation of xquery. In: PEPM 2007, pp. 21\u201330. ACM (2007)","DOI":"10.1145\/1244381.1244386"},{"key":"6_CR21","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-30477-7_2","volume-title":"Programming Languages and Systems","author":"S.-C. Mu","year":"2004","unstructured":"Mu, S.-C., Hu, Z., Takeichi, M.: An Algebraic Approach to Bi-directional Updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol.\u00a03302, pp. 2\u201320. Springer, Heidelberg (2004)"},{"key":"6_CR22","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":"6_CR23","doi-asserted-by":"crossref","unstructured":"Pacheco, H., Cunha, A.: Calculating with lenses: optimising bidirectional transformations. In: PEPM 2011, pp. 91\u2013100. ACM (2011)","DOI":"10.1145\/1929501.1929520"},{"key":"6_CR24","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45127-7_27","volume-title":"Rewriting Techniques and Applications","author":"E. Visser","year":"2001","unstructured":"Visser, E.: Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 357\u2013361. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30476-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:55:25Z","timestamp":1556812525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30476-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304750","9783642304767"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30476-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}