Type-Safe Two-Level Data Transformation

@inproceedings{Cunha2006TypeSafeTD,
  title={Type-Safe Two-Level Data Transformation},
  author={Alcino Cunha and Jos{\'e} Nuno Oliveira and Joost Visser},
  booktitle={FM},
  year={2006}
}
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 used for interoperability and persistence. We provide a formal treatment of two-level data transformations that is typesafe in the sense that the well-formedness of the value-level transformations… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 25 references

Similar Papers

Loading similar papers…