Noun
metacomputation (countable and uncountable, plural metacomputations) (computing theory) The transformation of computer programs based on their semantics.