metacomputation

Noun

 * 1)  The transformation of computer programs based on their semantics.