WG211/M18Reichenbach

From WG 2.11
Revision as of 08:19, 22 May 2018 by Creichen (talk | contribs) (Created page with "Incremental program transformation with behaviour-preservation guarantees, or program metamorphosis, allows developers to refactor their code interactively while receiving gui...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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.

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M18Reichenbach&oldid=1841"