Difference From Partial Evaluation
The key difference between run-time specialization and partial evaluation is that the values of on which is specialised are not known statically, so the specialization takes place at run-time.
There is also an important technical difference. Partial evaluation is applied to algorithms explicitly represented as codes in some programming language. At run-time, we do not need any concrete representation of . We only have to imagine when we program the specialization procedure. All we need is a concrete representation of the specialized version . This also means that we cannot use any universal methods for specializing algorithms, which is usually the case with partial evaluation. Instead, we have to program a specialization procedure for every particular algorithm . An important advantage of doing so is that we can use some powerful ad hoc tricks exploiting peculiarities of and the representation of and, which are beyond the reach of any universal specialization methods.
Read more about this topic: Run-time Algorithm Specialisation
Famous quotes containing the words difference, partial and/or evaluation:
“Anybody who knows the difference between the kind of conversation you have walking in the woods and the kind of conversation you have between the segments of a show on Nickelodeon can tell you that quality time exists. Quality time is when you and your child are together and keenly aware of each other. You are enjoying the same thing at the same time, even if it is just being in a room or going for a drive in the car. You are somehow in tune, even while daring to be silent together.”
—Louise Lague (20th century)
“America is hard to see.
Less partial witnesses than he
In book on book have testified
They could not see it from outside....”
—Robert Frost (1874–1963)
“Evaluation is creation: hear it, you creators! Evaluating is itself the most valuable treasure of all that we value. It is only through evaluation that value exists: and without evaluation the nut of existence would be hollow. Hear it, you creators!”
—Friedrich Nietzsche (1844–1900)