메뉴 건너뛰기




Volumn 4085 LNCS, Issue , 2006, Pages 284-299

Type-safe two-level data transformation

Author keywords

Coupled transformation; Data mappings; Format evolution; Generalized abstract datatypes; Generic programming; Program calculation; Refinement calculus; Strategic term rewriting; Two level transformation

Indexed keywords

COMPUTER PROGRAMMING; DATA REDUCTION; DATABASE SYSTEMS; FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; XML;

EID: 33749410632     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_20     Document Type: Conference Paper
Times cited : (26)

References (23)
  • 1
    • 26444488586 scopus 로고    scopus 로고
    • Strategic term rewriting and its application to a VDM-SL to SQL conversion
    • J. Fitzgerald, IJ. Hayes, and A. Tarlecki, editors, Proc. Int. Symposium of Formal Methods Europe, Springer
    • T.L. Alves, P.E. Silva, J. Visser, and J.N. Oliveira. Strategic term rewriting and its application to a VDM-SL to SQL conversion. In J. Fitzgerald, IJ. Hayes, and A. Tarlecki, editors, Proc. Int. Symposium of Formal Methods Europe, volume 3582 of LNCS, pages 399-414. Springer, 2005.
    • (2005) LNCS , vol.3582 , pp. 399-414
    • Alves, T.L.1    Silva, P.E.2    Visser, J.3    Oliveira, J.N.4
  • 2
    • 33644925964 scopus 로고    scopus 로고
    • Inferring type isomorphisms generically
    • D. Kozen, editor, Proc. 7th Int. Conference on Mathematics of Program Construction, Springer
    • F. Atanassow and J. Jeuring. Inferring type isomorphisms generically. In D. Kozen, editor, Proc. 7th Int. Conference on Mathematics of Program Construction, volume 3125 of LNCS, pages 32-53. Springer, 2004.
    • (2004) LNCS , vol.3125 , pp. 32-53
    • Atanassow, F.1    Jeuring, J.2
  • 3
    • 18944388843 scopus 로고    scopus 로고
    • Term rewriting with type-safe traversal functions
    • M.v.d Brand, P. Klint, and J. Vinju. Term rewriting with type-safe traversal functions. ENTCS, 70(6), 2002.
    • (2002) ENTCS , vol.70 , Issue.6
    • Brand, M.V.D.1    Klint, P.2    Vinju, J.3
  • 4
    • 24344488378 scopus 로고    scopus 로고
    • Co-transformations in information system reengineering
    • A. Cleve, J. Henrard, and J.-L. Hainaut. Co-transformations in information system reengineering. ENTCS, 137(3):5-15, 2005.
    • (2005) ENTCS , vol.137 , Issue.3 , pp. 5-15
    • Cleve, A.1    Henrard, J.2    Hainaut, J.-L.3
  • 5
    • 33749420460 scopus 로고    scopus 로고
    • Type-safe two-level data transformation - With derecursivation and dynamic typing
    • Univ. Minho
    • A. Cunha, J.N. Oliveira, and J.Visser. Type-safe two-level data transformation - with derecursivation and dynamic typing. Technical Report DI-PURe-06.03.01, Univ. Minho, 2006.
    • (2006) Technical Report , vol.DI-PURE-06.03.01
    • Cunha, A.1    Oliveira, J.N.2    Visser, J.3
  • 6
    • 17044398837 scopus 로고    scopus 로고
    • Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
    • ACM Press
    • J.N. Foster 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, pages 233-246. ACM Press, 2005.
    • (2005) Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , pp. 233-246
    • Foster, J.N.1
  • 7
    • 13344266569 scopus 로고    scopus 로고
    • Fun with phantom types
    • J. Gibbons and O. de Moor, editors, Palgrave
    • R. Hinze. Fun with phantom types. In J. Gibbons and O. de Moor, editors, The Fun of Programming, pages 245-262. Palgrave, 2003.
    • (2003) The Fun of Programming , pp. 245-262
    • Hinze, R.1
  • 8
    • 33745865860 scopus 로고    scopus 로고
    • "Scrap your boilerplate" reloaded
    • Proc. 8th Int. Symposium on Functional and Logic Programming, Springer
    • R. Hinze, A. Loh, and B. Oliveira. "Scrap your boilerplate" reloaded. In Proc. 8th Int. Symposium on Functional and Logic Programming, volume 3945 of LNCS, pages 13-29. Springer, 2006.
    • (2006) LNCS , vol.3945 , pp. 13-29
    • Hinze, R.1    Loh, A.2    Oliveira, B.3
  • 9
    • 0030552599 scopus 로고    scopus 로고
    • Back to basics: Deriving representation changers functionally
    • January
    • G. Hutton and E. Meijer. Back to Basics: Deriving Representation Changers Functionally. Journal of Functional Programming, 6(1):181-188, January 1996.
    • (1996) Journal of Functional Programming , vol.6 , Issue.1 , pp. 181-188
    • Hutton, G.1    Meijer, E.2
  • 11
    • 17644439039 scopus 로고    scopus 로고
    • Transformations everywhere
    • Guest editor's introduction to special issue on program transformation
    • R. Lämmel. Transformations everywhere. Sci. Comput. Program., 52:1-8, 2004. Guest editor's introduction to special issue on program transformation.
    • (2004) Sci. Comput. Program. , vol.52 , pp. 1-8
    • Lämmel, R.1
  • 15
    • 16644381796 scopus 로고    scopus 로고
    • Strategic polymorphism requires just two combinators!
    • arXiv, December An early version was published in the informal preproceedings IFL 2002
    • R. Lämmel and J. Visser. Strategic polymorphism requires just two combinators! Technical Report cs.PL/0212048, arXiv, December 2002. An early version was published in the informal preproceedings IFL 2002.
    • (2002) Technical Report , vol.CS.PL-0212048
    • Lämmel, R.1    Visser, J.2
  • 16
    • 84862047883 scopus 로고    scopus 로고
    • Typed combinators for generic traversal
    • Proc. Practical Aspects of Declarative Programming, Springer, January
    • R. Lämmel and J. Visser. Typed combinators for generic traversal. In Proc. Practical Aspects of Declarative Programming, volume 2257 of LNCS, pages 137-154. Springer, January 2002.
    • (2002) LNCS , vol.2257 , pp. 137-154
    • Lämmel, R.1    Visser, J.2
  • 17
    • 0025433934 scopus 로고
    • Data refinement by calculation
    • C. Morgan and P.H. B. Gardiner. Data refinement by calculation. Acta Informatica, 27:481-503, 1990.
    • (1990) Acta Informatica , vol.27 , pp. 481-503
    • Morgan, C.1    Gardiner, P.H.B.2
  • 19
    • 0040832771 scopus 로고
    • A reification calculus for model-oriented software specification
    • April
    • J.N. Oliveira. A reification calculus for model-oriented software specification. Formal Aspects of Computing, 2(1):1-23, April 1990.
    • (1990) Formal Aspects of Computing , vol.2 , Issue.1 , pp. 1-23
    • Oliveira, J.N.1
  • 21
    • 26444480947 scopus 로고    scopus 로고
    • Calculate databases with 'simplicity'
    • September Nottingham, UK
    • J.N. Oliveira. Calculate databases with 'simplicity', September 2004. Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK.
    • (2004) IFIP WG 2.1 #59 Meeting
    • Oliveira, J.N.1
  • 22
    • 32144438934 scopus 로고    scopus 로고
    • Wobbly types: Type inference for generalised algebraic data types
    • Univ. of Pennsylvania, July
    • S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Technical Report MS-CIS-05-26, Univ. of Pennsylvania, July 2004.
    • (2004) Technical Report , vol.MS-CIS-05-26
    • Jones, S.P.1    Washburn, G.2    Weirich, S.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.