0 someone whose job is to judge the quality, importance, amount, or value of something: --
An independent evaluator was brought in to assess the company's business plan.
Secondly, we felt that this disposition where evaluators and subjects became acquainted could enhance the acceptability of the programme and reduce attrition rates.
Additionally, we recommend that evaluators or researchers validate the results of these indicators with actual environmental samples.
It might of course be possible to recompute the type information whenever needed, and then hope that a partial evaluator could perform the necessary caching.
In compiling these expressions, the evaluator which is used to evaluate e2 or e is the evaluator which is evaluating the whole expression.
However, this partial evaluator does not seem to allow interesting computational effects at specialization time.
The paper also sheds some light on binding-time improvements, a technique for making partial evaluators yield better results.
A partial evaluator is a program mix that given p and the partial data dl produces the residual program pdl.
Recent results confirm that the specializer projections can be performed in practice using partial evaluators.
