3.3.1
Специализация
Дано
:
программа
<F (e
X
) (e
Y
)>
константа
A
Построить
:
программу
<Fspec e
Y
>
такую что
(
"
e
Y
) <Fspec e
Y
> = <F (A) (e
Y
)> ,
если
<F (A) (e
Y
)>
определено
F
{
}
(e
X
) (e
Y
) = ...
...
Þ
Fspec
{
}
e
Y
= <F (A) (e
Y
)>;
F
{
}
(e
X
) (e
Y
) = ...
...
ß
эффективная
программа
Fspec
¬
<Scp
Fspec
{
}
e
Y
= <F (A) (e
Y
)>;
F
{
}
(e
X
) (e
Y
) = ...
...
>