MigrationThe 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