Metacompilación

La metacompilación es una computación que implica transiciones de metasistema (MST) de 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 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 programas se transforma a sí mismo. De esta manera se pueden formar jerarquías MST de cualquier altura. El zorroEl artículo revisa una línea de investigación iniciada en Rusia por 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. Luego 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.