A Framework for Datatype Transformation
Programming Languages
2009-09-29 v3
Abstract
We study one dimension in program evolution, namely the evolution of the datatype declarations in a program. To this end, a suite of basic transformation operators is designed. We cover structure-preserving refactorings, but also structure-extending and -reducing adaptations. Both the object programs that are subject to datatype transformations, and the meta programs that encode datatype transformations are functional programs.
Keywords
Cite
@article{arxiv.cs/0204018,
title = {A Framework for Datatype Transformation},
author = {Jan Kort and Ralf Laemmel},
journal= {arXiv preprint arXiv:cs/0204018},
year = {2009}
}
Comments
Minor revision; now accepted at LDTA 2003