Creichen: Created page with "Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving gui..."

2018-05-22T06:19:25Z

Created page with "Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving gui..."

New page

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.

WG211/M18Reichenbach - Revision history

Creichen: Created page with "Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving gui..."