Program Metamorphosis

Christoph Reichenbach, Devin Coughlin, Amer Diwan, Bor-Yuh Evan Chang

Program Metamorphosis (PM) is a generalisation of automatic refactoring: transforming programs while guaranteeing behaviour preservation. Program Metamorphosis improves over traditional refactoring by
  1. Simplifying re-use of fragmentary transformations
  2. Permitting temporary invalidation of behaviour guarantees
  3. Permitting user-driven, selective behaviour adaptation without externally imposed heuristics


Java prototype

This page is Copyright © 2004-2014 Christoph Reichenbach. Re-use in whole or in parts is allowed without restriction.