A Framework for Datatype Transformation

Authors

Jan Kort and Ralf Lämmel

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

Download paper

• [.ps]
• [.pdf]
• The paper's page @ arXiv.

Bibtex entry

@inproceedings{FDT,
      author = "Jan Kort and Ralf L{\"a}mmel",
      title = "{A Framework for Datatype Transformation}",
      booktitle = "Proc.\ of Language, Descriptions, Tools, and Applications (LDTA 2003)",
      editor = "B.R.~Bryant and J.~Saraiva",
      year = 2003,
      month = apr,
      publisher = "Elsevier",
      note = "20 pages"
     }