{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:35:55Z","timestamp":1725543355805},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540372158"},{"type":"electronic","value":"9783540372165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_20","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T06:51:03Z","timestamp":1154933463000},"page":"284-299","source":"Crossref","is-referenced-by-count":18,"title":["Type-Safe Two-Level Data Transformation"],"prefix":"10.1007","author":[{"given":"Alcino","family":"Cunha","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 Nuno","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Joost","family":"Visser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/11526841_27","volume-title":"FM 2005: Formal Methods","author":"T.L. Alves","year":"2005","unstructured":"Alves, T.L., Silva, P.F., Visser, J., Oliveira, J.N.: Strategic term rewriting and its application to a VDM-SL to SQL conversion. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 399\u2013414. Springer, Heidelberg (2005)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-27764-4_4","volume-title":"Mathematics of Program Construction","author":"F. Atanassow","year":"2004","unstructured":"Atanassow, F., Jeuring, J.: Inferring type isomorphisms generically. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 32\u201353. Springer, Heidelberg (2004)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"van den Brand, M., Klint, P., Vinju, J.: Term rewriting with type-safe traversal functions. ENTCS\u00a070(6) (2002)","DOI":"10.1016\/S1571-0661(04)80602-9"},{"issue":"3","key":"20_CR4","first-page":"5","volume":"137","author":"A. Cleve","year":"2005","unstructured":"Cleve, A., Henrard, J., Hainaut, J.-L.: Co-transformations in information system reengineering. ENTCS\u00a0137(3), 5\u201315 (2005)","journal-title":"ENTCS"},{"key":"20_CR5","unstructured":"Cunha, A., Oliveira, J.N., Visser, J.: Type-safe two-level data transformation \u2013 with derecursivation and dynamic typing. Technical Report DI-PURe-06.03.01, Univ. Minho (2006)"},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/1040305.1040325","volume-title":"Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"J.N. Foster","year":"2005","unstructured":"Foster, J.N., et al.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 233\u2013246. ACM Press, New York (2005)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Hinze, R.: Fun with phantom types. In: Gibbons, J., de Moor, O. (eds.) The Fun of Programming, pp. 245\u2013262. Palgrave (2003)","DOI":"10.1007\/978-1-349-91518-7_12"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/11737414_3","volume-title":"Functional and Logic Programming","author":"R. Hinze","year":"2006","unstructured":"Hinze, R., L\u00f6h, A., Oliveira, B.: Scrap your boilerplate reloaded. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 13\u201329. Springer, Heidelberg (2006)"},{"issue":"1","key":"20_CR9","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1017\/S0956796800001623","volume":"6","author":"G. Hutton","year":"1996","unstructured":"Hutton, G., Meijer, E.: Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming\u00a06(1), 181\u2013188 (1996)","journal-title":"Journal of Functional Programming"},{"key":"20_CR10","unstructured":"L\u00e4mmel, R.: Coupled Software Transformations (Extended Abstract). In: First International Workshop on Software Evolution Transformations (November 2004)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2004.03.001","volume":"52","author":"R. L\u00e4mmel","year":"2004","unstructured":"L\u00e4mmel, R.: Transformations everywhere. Sci. Comput. Program\u00a052, 1\u20138 (2004); Guest editor\u2019s introduction to special issue on program transformation","journal-title":"Sci. Comput. Program"},{"key":"20_CR12","unstructured":"L\u00e4mmel, R., Lohmann, W.: Format Evolution. In: Proc. 7th Int. Conf. on Reverse Engineering for Information Systems, books@ocg.at, vol. 155, pp. 113\u2013134. OCG (2001)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11877028","volume-title":"Generative and Transformational Techniques in Software Engineering","author":"R. L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R., Meijer, E.: Mappings make data processing go \u2019round. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol.\u00a04143. Springer, Heidelberg (2006)"},{"key":"20_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/604174.604179","volume-title":"Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation","author":"R. L\u00e4mmel","year":"2003","unstructured":"L\u00e4mmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. In: Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation, pp. 26\u201337. ACM Press, New York (2003)"},{"key":"20_CR15","unstructured":"L\u00e4mmel, R., Visser, J.: Strategic polymorphism requires just two combinators! Technical Report cs.PL\/0212048, arXiv; An early version was published in the informal preproceedings IFL 2002 (December 2002)"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-45587-6_10","volume-title":"Practical Aspects of Declarative Languages","author":"R. L\u00e4mmel","year":"2002","unstructured":"L\u00e4mmel, R., Visser, J.: Typed combinators for generic traversal. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol.\u00a02257, pp. 137\u2013154. Springer, Heidelberg (2002)"},{"key":"20_CR17","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, 481\u2013503 (1990)","journal-title":"Acta Informatica"},{"key":"20_CR18","unstructured":"Neves, F.L., Silva, J.C., Oliveira, J.N.: Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach. In: VDM in Practice! A Workshop co-located with FM 1999: The World Congress on Formal Methods, Toulouse, France (September 1999) http:\/\/www.csr.ncl.ac.uk\/vdm\/vdmworkshop\/fm99.html."},{"issue":"1","key":"20_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01888215","volume":"2","author":"J.N. Oliveira","year":"1990","unstructured":"Oliveira, J.N.: A reification calculus for model-oriented software specification. Formal Aspects of Computing\u00a02(1), 1\u201323 (1990)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR20","first-page":"140","volume-title":"Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development","author":"J.N. Oliveira","year":"1992","unstructured":"Oliveira, J.N.: Software reification using the SETS calculus. In: Denvir, T., Jones, C.B., Shaw, R.C. (eds.) Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, pp. 140\u2013171. Springer, Heidelberg (1992)"},{"key":"20_CR21","unstructured":"Oliveira, J.N.: Calculate databases with \u2018simplicity\u2019. Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK (September 2004)"},{"key":"20_CR22","unstructured":"Peyton Jones, S., Washburn, G., Weirich, S.: Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, Univ. of Pennsylvania (July 2004)"},{"key":"20_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/143165.143169","volume-title":"Proc. 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Wadler","year":"1992","unstructured":"Wadler, P.: The essence of functional programming. In: Proc. 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 1\u201314. ACM Press, New York (1992)"}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T01:12:24Z","timestamp":1627693944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11813040_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}