WG211/M18Reichenbach

Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving guidance in the form of a list of locations in which program behaviour has changed. In this talk I will present a term-rewriting-based program metamorphosis system for Standard ML with support for datatype migration that exploits congruences between datatypes.