La metacompilación es un cálculo que implica transiciones de metasistema (MST) desde una máquina de computación M a una metamáquina M' que controla, analiza e imita el trabajo de M. La transformación de programas basada en semántica , como la evaluación parcial y la supercompilación (SCP), es metacomputación. Las transiciones de metasistema pueden repetirse, como cuando un transformador de programa se transforma a sí mismo. De esta manera, se pueden formar jerarquías MST de cualquier altura. El artículo de Fox [ aclaración necesaria ] revisa una línea de investigación que comenzó en Rusia con el sistema REFAL de Valentin Turchin a fines de la década de 1960 y principios de la de 1970 y se hizo conocida por el desarrollo de la supercompilación como un método distinto de transformación de programas . Después de una breve descripción de la historia de esta línea de investigación, el artículo se concentra en aquellos resultados y problemas donde la supercompilación se combina con transiciones repetidas de metasistema.