The term for the phenomenon whereby the representation for an object is changed while conserving the abstract object consistently unchanged.

For instance, when a same computation is being moved from a slow computer to a number cruncher, it has been migrated. Migration in the more general sense includes translations between different semantic environments, scopes, and syntaxes.

Current systems greatly limit the way objects can be usefully migrated, because they basically make it very difficult to impossible to enforce any consistency in the abstract meaning of different representations (and even in the abstract meaning of a same representation!).

Tunes aims to make migration more than tractable, which will allow for the use of optimizations that can currently only be achieved in laboratories (because of the impossibility of consistently enforcing the constraints required for their validity in existing systems).

This page is linked from: Agent   ANDF   C Compiler dlopen VM   Chord   Dreme   Methods of Migration   Migration Comparison   Migration Comparison Part 3   MobileMaude   Off   Proof-Carrying Code   Tps   Transparent   TUNES Migration