partial evaluation
partial evaluation · partial evaluations
A technique for program optimization by specialization, so as to produce new programs…A technique for program optimization by specialization, so as to produce new programs which run faster than the originals while guaranteed to behave in the same way.
Значение
значений: 1A technique for program optimization by specialization, so as to produce new programs which run faster than the originals while guaranteed to behave in the same way.
Формы
мн. число: partial evaluations| Ед. число | partial evaluation |
|---|---|
| Мн. число | partial evaluations |
правильный