This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations.(May 2013) (Learn how and when to remove this message)
Evaluation strategies
Lazy evaluation
Partial evaluation
Remote evaluation
Short-circuit evaluation
v
t
e
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.
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 .
and 21 Related for: Partial evaluation information
In computing, partialevaluation is a technique for several different types of program optimization by specialization. The most straightforward application...
many languages use a form of non-strict evaluation called short-circuit evaluation, where evaluationevaluates the left expression but may skip the right...
evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation)...
producing a function of type partial ( f ) : ( Y × Z ) → N {\displaystyle {\text{partial}}(f)\colon (Y\times Z)\to N} . Evaluation of this function might be...
partially evaluated due to the symmetry of η {\displaystyle \eta } . Non-degeneracy is then equivalent to injectivity of the partialevaluation map, or...
differentiation, computational differentiation, is a set of techniques to evaluate the partial derivative of a function specified by a computer program. Automatic...
French computer scientist specializing in programming languages, partialevaluation, and continuations. He is a professor at Yale-NUS College in Singapore...
fundamental concepts of program analysis and specialization, in particular, partialevaluation. The language was first presented in 1989 by Carsten K. Gomard and...
u\mapsto \phi (v,u)} . We made a choice to define this partialevaluation map as being evaluated on the first argument. We could just as well have defined...
the same subset of the partialevaluation may occur again in the search. For example, the algorithm may encounter an evaluation extending the subset x...
Ackerman M (2007). "PICO Linguist and BabelMeSH: development and partialevaluation of evidence-based multilanguage search tools for MEDLINE/PubMed"....
with the amount of recomputation to be performed upon input change. Partialevaluation can be seen as a method for automating the simplest possible case...
the client. Remote evaluation belongs to the family of mobile code, within the field of code mobility. An example for remote evaluation is grid computing:...
static branches out of a program at runtime, and thus is useful for partialevaluation in cases where a program has many options, most of which can easily...
imitates the work of M. Semantics-based program transformation, such as partialevaluation and supercompilation (SCP), is metacomputation. Metasystem transitions...
Refal also includes a feature called the freezer to support efficient partialevaluation. Refal can be applied to the processing and transformation of tree...
consistent partialevaluations can be extended to another variable in such a way that the resulting assignment is consistent. A partialevaluation is consistent...
chain and SSA form Copy propagation Common subexpression elimination Partialevaluation Steven Muchnick; Muchnick and Associates (15 August 1997). Advanced...
evaluation of variables x 1 , … , x n {\displaystyle x_{1},\ldots ,x_{n}} is used, but the same considerations apply to a dynamic order of evaluation...
Global Information
