Metakompilering

Metakompilering är en beräkning som involverar metasystemövergångar (MST) från en datormaskin M till en metamaskin M' som styr, analyserar och imiterar M . Semantikbaserad programtransformation, såsom partiell utvärdering och superkompilering (SCP), är metaberäkning. Metasystemövergångar kan upprepas, som när en programtransformator själv transformeras. På detta sätt kan MST-hierarkier av vilken höjd som helst bildas. The Fox -papper granskar en forskningsstam som startades i Ryssland av Valentin Turchins REFAL - system i slutet av 1960-talet och början av 1970-talet och blev känd för utvecklingen av superkompilering som en distinkt metod för programtransformation . Efter en kort beskrivning av denna forskningslinjes historia, koncentrerar artikeln sig på de resultat och problem där superkompilering kombineras med upprepade metasystemövergångar.

Se även

• Metakompilator
• Partiell utvärdering

externa länkar

• Uppsatser om metakompilering
• Metacomputation: Metasystem Transitions + Supercompilation en introduktion till superkompilering