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:
“To rescue our children we will have to let them save us from the power we embody: we will have to trust the very difference that they forever personify. And we will have to allow them the choice, without fear of death: that they may come and do likewise or that they may come and that we will follow them, that a little child will lead us back to the child we will always be, vulnerable and wanting and hurting for love and for beauty.”
—June Jordan (b. 1939)
“It is characteristic of the epistemological tradition to present us with partial scenarios and then to demand whole or categorical answers as it were.”
—Avrum Stroll (b. 1921)
“Good critical writing is measured by the perception and evaluation of the subject; bad critical writing by the necessity of maintaining the professional standing of the critic.”
—Raymond Chandler (1888–1959)