3.3.1

Специализация

 


 
Дано: программа  <F (eX) (eY)>
константа  A
 
Построить:     программу  <Fspec eYтакую что
(" eY)  <Fspec eY> = <F (A) (eY)> ,  если  <F (A) (eY)>  определено
 

 

F  {
}
(eX) (eY) = ...
...
Þ
Fspec  {
eY = <F (A) (eY)>;
F  {
}
(eX) (eY) = ...
...
 
ß
 
эффективная
 программа
Fspec
¬ <Scp 
Fspec  {
}
eY = <F (A) (eY)>;
F  {
}
(eX) (eY) = ...
  ...  
 >