Type-safe two-level data transformation

A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format. Examples of two-level data transformations include XML schema evolution coupled with document migration, and data mappings...

Full description

Bibliographic Details
Main Author: Cunha, Alcino (author)
Other Authors: Oliveira, José Nuno Fonseca (author), Visser, Joost (author)
Format: conferencePaper
Language:eng
Published: 2006
Subjects:
Two-level transformation
Program calculation
Refinement calculus
Strategic term rewriting
Generalized abstract datatypes
Generic programming
Coupled transformation
Format evolution
Data mappings
Science & Technology
Online Access:http://hdl.handle.net/1822/5618
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/5618

Internet

http://hdl.handle.net/1822/5618

Similar Items