Keywords

#partial_evaluation

Partial evaluation

Technique for program optimization

In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs that run faster than the originals while being guaranteed to behave in the same way.

Mon 15th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Partial evaluation Evaluation strategy Lazy evaluation Partial application Short-circuit evaluation Minkowski space Partial derivative Run-time algorithm specialization Automatic differentiation John Launchbury
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.