AbstractWe 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
AbstractWe are interested in evolution scenarios for language-based functionality. We identify diffe...
Ornaments provide a way to express transformations of inductive datatypes that reorganize, specializ...
This dissertation defends the idea of a closed dependent type theory whose inductive types are encod...
We study one dimension in program evolution, namely the evolution of the datatype declarations in a ...
AbstractWe study one dimension in program evolution, namely the evolution of the datatype declaratio...
International audienceData representation migration is a program transformation that involves changi...
Datatype-generic programming is natural and useful in dependently typed languages such as Agda. Howe...
Datatype-generic programming is natural and useful in dependently typed languages such as Agda. Howe...
AbstractSeveral generic programs for converting values from regular datatypes to some other format, ...
Modern dependently typed functional programming languages like Agda allow very specific restrictions...
PosterNational audienceModular programming is a practical solution for separation of concerns but th...
AbstractThis special issue is devoted to “program transformation” in the sense of tool-supported ada...
This thesis aims at making Datatype Generic Programming more useful in practice. We extend the fixed...
Program transformation concerns the derivation of an efficient program by applying correctness-pres...
Coupled transformations occur in software evolution when multiple artifacts must be modified in such...
AbstractWe are interested in evolution scenarios for language-based functionality. We identify diffe...
Ornaments provide a way to express transformations of inductive datatypes that reorganize, specializ...
This dissertation defends the idea of a closed dependent type theory whose inductive types are encod...
We study one dimension in program evolution, namely the evolution of the datatype declarations in a ...
AbstractWe study one dimension in program evolution, namely the evolution of the datatype declaratio...
International audienceData representation migration is a program transformation that involves changi...
Datatype-generic programming is natural and useful in dependently typed languages such as Agda. Howe...
Datatype-generic programming is natural and useful in dependently typed languages such as Agda. Howe...
AbstractSeveral generic programs for converting values from regular datatypes to some other format, ...
Modern dependently typed functional programming languages like Agda allow very specific restrictions...
PosterNational audienceModular programming is a practical solution for separation of concerns but th...
AbstractThis special issue is devoted to “program transformation” in the sense of tool-supported ada...
This thesis aims at making Datatype Generic Programming more useful in practice. We extend the fixed...
Program transformation concerns the derivation of an efficient program by applying correctness-pres...
Coupled transformations occur in software evolution when multiple artifacts must be modified in such...
AbstractWe are interested in evolution scenarios for language-based functionality. We identify diffe...
Ornaments provide a way to express transformations of inductive datatypes that reorganize, specializ...
This dissertation defends the idea of a closed dependent type theory whose inductive types are encod...
DOI
Add to ORKG