Примери за evaluator

• The symbolic evaluator implements a purely functional language which supports symbolic values.

• It was already available in the symbolic evaluator.

• The evaluator will instruct you to find a number of things and place them on this sheet under the numbers provided.

• This article is the first to describe a self-applicable partial evaluator for the untyped lambda-calculus, the canonical higher-order language.

• Compare the efficiencies of the implementations when used by the application with the efficiencies of the implementations when used by the dug evaluators.

• By self-application, the partial evaluator can be used to compile and to generate stand-alone compilers from a denotational or interpretive specification of a programming language.

• The model could help evaluators and researchers to choose the right variables and methods for their evaluation.

• Recent results confirm that the specializer projections can be performed in practice using partial evaluators.

• A partial evaluator is a program mix that given p and the partial data dl produces the residual program pdl.

• The paper also sheds some light on binding-time improvements, a technique for making partial evaluators yield better results.

• However, this partial evaluator does not seem to allow interesting computational effects at specialization time.

• In compiling these expressions, the evaluator which is used to evaluate e2 or e is the evaluator which is evaluating the whole expression.

• 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.

• Additionally, we recommend that evaluators or researchers validate the results of these indicators with actual environmental samples.

• Secondly, we felt that this disposition where evaluators and subjects became acquainted could enhance the acceptability of the programme and reduce attrition rates.