Work

A Framework for Datatype Transformation

Year: 2002

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.cs/0204018

Authors: Kort, Jan, Laemmel, Ralf

Institutions: University of Amsterdam, Centrum Wiskunde & Informatica, Vrije Universiteit Amsterdam

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: European Research Consortium for Informatics and Mathematics, Nederlandse Organisatie voor Wetenschappelijk Onderzoek, Centrum Wiskunde and Informatica

OpenAlex ID: W2597032945

Cites:

Cited by:

Related to: 20