Metacompilación

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 la 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 programas se transforma a sí mismo. De esta manera, se pueden formar jerarquías MST de cualquier altura. El artículo de Fox revisa una línea de investigación que se inició en Rusia con el sistema REFAL de Valentin Turchin a finales de la década de 1960 y principios de la de 1970, y que se hizo conocida por el desarrollo de la supercompilación como un método distintivo 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 centra en aquellos resultados y problemas donde la supercompilación se combina con transiciones de metasistema repetidas.

• Metacompilador
• Evaluación parcial

• Artículos sobre metacompilación
• Metacomputación: Transiciones de metasistemas + Supercompilación: una introducción a la supercompilación