partial evaluation

Частичное вычисление; частичное присваивание (значений истинности предикатам)

Источник: Полный англо-русский словарь на Gufo.me