3.1.2
Реальная компиляция в Рефал по интерпретатору
текст программы
на Рефале и
начальная
конфигурация
Scp
{
e
R
= ...
}
...
<Scp
<P e
X
>
>
¯
эффективная программа на Рефале
<Scp
P
{
}
e
X
= <IntL
программа на языке L
(e
X
)>;
IntL
{
}
e
P
(e
X
) = ...
...
>
¯
эффективная программа
P
на Рефале