Partial evaluation
Technique for program optimization / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Partial evaluation?
Summarize this article for a 10 year old
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.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (May 2013) |
A computer program prog is seen as a mapping of input data into output data:
where , the static data, is the part of the input data known at compile time.
The partial evaluator transforms into by precomputing all static input at compile time. is called the "residual program" and should run more efficiently than the original program. The act of partial evaluation is said to "residualize" to .