La metacompilación es un cálculo que implica transiciones de metasistema (MST) desde una máquina informática M a una metamáquina M' que controla, analiza e imita el trabajo de M. La transformación de programas basada en la semántica , como la evaluación parcial y la supercompilación (SCP), es metacomputación. Las transiciones del metasistema pueden repetirse, como cuando un transformador de programa se transforma. De esta manera se pueden formar jerarquías MST de cualquier altura. El artículo de Fox [ se necesita aclaración ] revisa una línea de investigación que fue iniciada en Rusia por el sistema REFAL de Valentin Turchin a finales de los años 1960 y principios de los 1970 y que 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 metasistemas.