On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M18Reichenbach
From WG 2.11
Jump to navigationJump to search
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.
