{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:25:26Z","timestamp":1759638326011},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642133206"},{"type":"electronic","value":"9783642133213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13321-3_19","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T06:24:11Z","timestamp":1277187851000},"page":"331-352","source":"Crossref","is-referenced-by-count":9,"title":["Generic Point-free Lenses"],"prefix":"10.1007","author":[{"given":"Hugo","family":"Pacheco","sequence":"first","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Backhouse, R., Doornbos, H.: Mathematics of recursive program construction. Manuscript (2001), http:\/\/www.cs.nott.ac.uk\/rcb\/MPC\/papers"},{"issue":"8","key":"19_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann style? a functional style and its algebra of programs. Communications of the ACM\u00a021(8), 613\u2013641 (1978)","journal-title":"Communications of the ACM"},{"issue":"4","key":"19_CR3","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":"19_CR4","series-title":"Lecture Notes in Computer Science","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":"19_CR5","volume-title":"The Algebra of Programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: The Algebra of Programming. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"19_CR6","first-page":"407","volume-title":"Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u201908)","author":"A. Bohannon","year":"2008","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u201908), pp. 407\u2013419. ACM, New York (2008)"},{"key":"19_CR7","first-page":"338","volume-title":"Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS\u201906)","author":"A. Bohannon","year":"2006","unstructured":"Bohannon, A., Pierce, B.C., Vaughan, J.A.: Relational lenses: a language for updatable views. In: Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS\u201906), pp. 338\u2013347. ACM, New York (2006)"},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/j.ic.2005.08.005","volume":"204","author":"V. Capretta","year":"2006","unstructured":"Capretta, V., Uustalu, T., Vene, V.: Recursive coalgebras from comonads. Information and Computation\u00a0204(4), 437\u2013468 (2006)","journal-title":"Information and Computation"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","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., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 284\u2013299. Springer, Heidelberg (2006)"},{"key":"19_CR10","series-title":"ENTCS","volume-title":"Proceedings of the 2nd Workshop on Mathematically Structured Functional Programming (MSFP\u201908)","author":"A. Cunha","year":"2008","unstructured":"Cunha, A., Pacheco, H.: Algebraic specialization of generic functions for recursive types. In: Proceedings of the 2nd Workshop on Mathematically Structured Functional Programming (MSFP\u201908). ENTCS, Elsevier Science Publishers B. V., Amsterdam (2008)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11964681_1","volume-title":"Implementation and Application of Functional Languages","author":"A. Cunha","year":"2006","unstructured":"Cunha, A., Pinto, J.S., Proen\u00e7a, J.: A framework for point-free program transformation. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.\u00a04015, pp. 1\u201318. Springer, Heidelberg (2006)"},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2006.10.019","volume":"174","author":"A. Cunha","year":"2007","unstructured":"Cunha, A., Visser, J.: Strongly typed rewriting for coupled software transformation. Electronic Notes in Theoretical Computer Science\u00a0174(1), 17\u201334 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Cunha, A., Visser, J.: Transformation of structure-shy programs with application to XPath queries and strategic functions. Science of Computer Programming (to appear, 2010)","DOI":"10.1016\/j.scico.2010.01.003"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-87875-9_2","volume-title":"Model Driven Engineering Languages and Systems","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z.: Algebraic Models for Bidirectional Model Synchronization. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 21\u201336. Springer, Heidelberg (2008)"},{"issue":"3","key":"19_CR15","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"},{"issue":"4","key":"19_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1391289.1391293","volume":"55","author":"A. Frisch","year":"2008","unstructured":"Frisch, A., Castagna, G., Benzaken, V.: Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM\u00a055(4), 1\u201364 (2008)","journal-title":"Journal of the ACM"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-47797-7_5","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"J. Gibbons","year":"2002","unstructured":"Gibbons, J.: Calculating functional programs. In: Blackhouse, R., Crole, R.L., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol.\u00a02297, pp. 149\u2013203. Springer, Heidelberg (2002)"},{"key":"19_CR18","unstructured":"Hinze, R.: Generic programs and proofs. Bonn University, Habilitation (2000)"},{"issue":"1-2","key":"19_CR19","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":"19_CR20","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/1291151.1291162","volume-title":"Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP\u201907)","author":"K. Matsuda","year":"2007","unstructured":"Matsuda, K., Hu, Z., Nakano, K., Hamana, M., Takeichi, M.: Bidirectionalization transformation based on automatic derivation of view complement functions. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP\u201907), pp. 47\u201358. ACM, New York (2007)"},{"key":"19_CR21","unstructured":"Meertens, L.: Designing constraint maintainers for user interaction (1998), Manuscript available at, http:\/\/www.kestrel.edu\/home\/people\/meertens"},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, pp. 124\u2013144. Springer, Heidelberg (1991)"},{"issue":"6","key":"19_CR23","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BF00277386","volume":"27","author":"C. Morgan","year":"1990","unstructured":"Morgan, C., Gardiner, P.H.B.: Data refinement by calculation. Acta Informatica\u00a027(6), 481\u2013503 (1990)","journal-title":"Acta Informatica"},{"key":"19_CR24","series-title":"Lecture Notes in Computer Science","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":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-88643-3_4","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"J.N. Oliveira","year":"2008","unstructured":"Oliveira, J.N.: Data transformation by calculation. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol.\u00a05235, pp. 139\u2013198. Springer, Heidelberg (2008)"},{"key":"19_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75209-7_1","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Stevens","year":"2007","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"19_CR27","first-page":"165","volume-title":"Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u201909)","author":"J. Voigtl\u00e4nder","year":"2009","unstructured":"Voigtl\u00e4nder, J.: Bidirectionalization for free! (Pearl). In: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u201909), pp. 165\u2013176. ACM, New York (2009)"},{"key":"19_CR28","unstructured":"Wang, M., Gibbons, J., Matsuda, K., Hu, Z.: Translucent Abstraction: Safe Views through Invertible Programming. Draft (2010), http:\/\/web.comlab.ox.ac.uk\/files\/2280\/total.pdf"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13321-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:04:51Z","timestamp":1606187091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13321-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642133206","9783642133213"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13321-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}