Metacompilation es un cálculo que implica metasistema transiciones (MST) de una máquina de computación M a un MetaMachine 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. De esta manera se pueden formar jerarquías MST de cualquier altura. El artículo de Fox [se necesita aclaración ] revisa una variedad de investigación que se inició en Rusia porEl sistema REFAL de Valentin Turchin a finales de la década de 1960 y principios de la de 1970 se hizo conocido 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 del metasistema.
Ver también
enlaces externos
- Meta compilación en el lenguaje de programación Forth por Jeff Fox, UltraTechnology
- Artículos sobre metacompilación
- Metacomputación: Transiciones de Metasistema + Supercompilación una introducción a la supercompilación