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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Cunha, Alcino (author)
Outros Autores: Oliveira, José Nuno Fonseca (author), Visser, Joost (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2006
Assuntos:
Two-level transformation
Program calculation
Refinement calculus
Strategic term rewriting
Generalized abstract datatypes
Generic programming
Coupled transformation
Format evolution
Data mappings
Science & Technology
Texto completo:http://hdl.handle.net/1822/5618
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/5618

Texto Completo

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

Registos relacionados