|
|
|
|
|
|
|
1. The Free On-line Dictionary of Computing (30 December 2018) |
partial evaluation
(Or "specialisation") An optimisation
technique where the compiler evaluates some subexpressions
at compile-time. For example,
pow x 0 = 1
pow x n = if even n
then pxn2 * pxn2
else x * pow x (n-1)
where pxn2 = pow x (n/2)
f x = pow x 5
Since n is known we can specialise pow in its second argument
and unfold the recursive calls:
pow5 x = x * x4 where x4 = x2 * x2
x2 = x * x
f x = pow5 x
pow5 is known as the residual. We could now also unfold pow5
giving:
f x = x * x4 where x4 = x2 * x2
x2 = x * x
It is important that the partial evaluation algorithm should
terminate. This is not guaranteed in the presence of
recursive function definitions. For example, if partial
evaluation were applied to the right hand side of the second
clause for pow above, it would never terminate because the
value of n is not known.
Partial evaluation might change the termination properties of
the program if, for example, the expression (x * 0) was
reduced to 0 it would terminate even if x (and thus x * 0) did
not.
It may be necessary to reorder an expression to partially
evaluate it, e.g.
f x y = (x + y) + 1
g z = f 3 z
If we rewrite f:
f x y = (x + 1) + y
then the expression x+1 becomes a constant for the function g
and we can say
g z = f 3 z = (3 + 1) + z = 4 + z
Partial evaluation of built-in functions applied to constant
arguments is known as constant folding.
See also full laziness.
(1999-05-25)
|
|
|
|
|
Common Misspellings > |
partial evaluation apartial evaluation aprtial evaluation paprtial evaluation artial evaluation ppartial evaluation pratial evaluation paratial evaluation prtial evaluation paartial evaluation patrial evaluation partrial evaluation patial evaluation parrtial evaluation parital evaluation partital evaluation parial evaluation parttial evaluation partail evaluation partiail evaluation partal evaluation partiial evaluation partila evaluation partiala evaluation partil evaluation partiaal evaluation partia levaluation partial levaluation partia evaluation partiall evaluation partiale valuation partial e valuation partialevaluation partial evaluation partial vealuation partial evealuation partial valuation partial eevaluation partial eavluation partial evavluation partial ealuation partial evvaluation partial evlauation partial evalauation partial evluation partial evaaluation partial evaulation partial evalulation partial evauation partial evalluation partial evalaution partial evaluaution partial evalation partial evaluuation partial evalutaion partial evaluataion partial evalution partial evaluaation partial evaluaiton partial evaluatiton partial evaluaion partial evaluattion partial evaluatoin partial evaluatioin partial evaluaton partial evaluatiion partial evaluatino partial evaluationo partial evaluatin partial evaluatioon partial evaluatinon partial evaluatio partial evaluationn 0artial evaluation p0artial evaluation 0partial evaluation )artial evaluation p)artial evaluation )partial evaluation oartial evaluation poartial evaluation opartial evaluation lartial evaluation plartial evaluation lpartial evaluation pqrtial evaluation paqrtial evaluation pqartial evaluation pwrtial evaluation pawrtial evaluation pwartial evaluation psrtial evaluation pasrtial evaluation psartial evaluation pxrtial evaluation paxrtial evaluation pxartial evaluation pzrtial evaluation pazrtial evaluation pzartial evaluation p rtial evaluation pa rtial evaluation p artial evaluation pertial evaluation pirtial evaluation portial evaluation purtial evaluation pa4tial evaluation par4tial evaluation pa4rtial evaluation pa$tial evaluation par$tial evaluation pa$rtial evaluation pa5tial evaluation par5tial evaluation pa5rtial evaluation paetial evaluation paretial evaluation paertial evaluation pattial evaluation parttial evaluation patrtial evaluation padtial evaluation pardtial evaluation padrtial evaluation paftial evaluation parftial evaluation pafrtial evaluation pagtial evaluation pargtial evaluation pagrtial evaluation par5ial evaluation part5ial evaluation par5tial evaluation par%ial evaluation part%ial evaluation par%tial evaluation par6ial evaluation part6ial evaluation par6tial evaluation parrial evaluation partrial evaluation parrtial evaluation paryial evaluation partyial evaluation parytial evaluation parfial evaluation partfial evaluation parftial evaluation pargial evaluation partgial evaluation pargtial evaluation parhial evaluation parthial evaluation parhtial evaluation part8al evaluation parti8al evaluation part8ial evaluation part*al evaluation parti*al evaluation part*ial evaluation part9al evaluation parti9al evaluation part9ial evaluation partual evaluation partiual evaluation partuial evaluation partoal evaluation partioal evaluation partoial evaluation partjal evaluation partijal evaluation partjial evaluation partkal evaluation partikal evaluation partkial evaluation partlal evaluation partilal evaluation partlial evaluation partaal evaluation parteal evaluation partiql evaluation partiaql evaluation partiqal evaluation partiwl evaluation partiawl evaluation partiwal evaluation partisl evaluation partiasl evaluation partisal evaluation partixl evaluation partiaxl evaluation partixal evaluation partizl evaluation partiazl evaluation partizal evaluation parti l evaluation partia l evaluation parti al evaluation partiel evaluation partiil evaluation partiol evaluation partiul evaluation partiai evaluation partiali evaluation partiail evaluation partiao evaluation partialo evaluation partiaol evaluation partiap evaluation partialp evaluation partiapl evaluation partiak evaluation partialk evaluation partiakl evaluation partia, evaluation partial, evaluation partia,l evaluation partia. evaluation partial. evaluation partia.l evaluation partial 3valuation partial e3valuation partial 3evaluation partial #valuation partial e#valuation partial #evaluation partial 4valuation partial e4valuation partial 4evaluation partial wvaluation partial ewvaluation partial wevaluation partial rvaluation partial ervaluation partial revaluation partial svaluation partial esvaluation partial sevaluation partial dvaluation partial edvaluation partial devaluation partial fvaluation partial efvaluation partial fevaluation partial avaluation partial ivaluation partial ovaluation partial uvaluation partial edaluation partial evdaluation partial edvaluation partial efaluation partial evfaluation partial efvaluation partial egaluation partial evgaluation partial egvaluation partial ecaluation partial evcaluation partial ecvaluation partial ebaluation partial evbaluation partial ebvaluation partial e aluation partial ev aluation partial e valuation partial evqluation partial evaqluation partial evqaluation partial evwluation partial evawluation partial evwaluation partial evsluation partial evasluation partial evsaluation partial evxluation partial evaxluation partial evxaluation partial evzluation partial evazluation partial evzaluation partial ev luation partial eva luation partial ev aluation partial eveluation partial eviluation partial evoluation partial evuluation partial evaiuation partial evaliuation partial evailuation partial evaouation partial evalouation partial evaoluation partial evapuation partial evalpuation partial evapluation partial evakuation partial evalkuation partial evakluation partial eva,uation partial eval,uation partial eva,luation partial eva.uation partial eval.uation partial eva.luation partial eval7ation partial evalu7ation partial eval7uation partial eval&ation partial evalu&ation partial eval&uation partial eval8ation partial evalu8ation partial eval8uation partial evalyation partial evaluyation partial evalyuation partial evaliation partial evaluiation partial evaliuation partial evalhation partial evaluhation partial evalhuation partial evaljation partial evalujation partial evaljuation partial evalkation partial evalukation partial evalkuation partial evalaation partial evaleation partial evaloation partial evaluqtion partial evaluaqtion partial evaluqation partial evaluwtion partial evaluawtion partial evaluwation partial evalustion partial evaluastion partial evalusation partial evaluxtion partial evaluaxtion partial evaluxation partial evaluztion partial evaluaztion partial evaluzation partial evalu tion partial evalua tion partial evalu ation partial evaluetion partial evaluition partial evaluotion partial evaluution partial evalua5ion partial evaluat5ion partial evalua5tion partial evalua%ion partial evaluat%ion partial evalua%tion partial evalua6ion partial evaluat6ion partial evalua6tion partial evaluarion partial evaluatrion partial evaluartion partial evaluayion partial evaluatyion partial evaluaytion partial evaluafion partial evaluatfion partial evaluaftion partial evaluagion partial evaluatgion partial evaluagtion partial evaluahion partial evaluathion partial evaluahtion partial evaluat8on partial evaluati8on partial evaluat8ion partial evaluat*on partial evaluati*on partial evaluat*ion partial evaluat9on partial evaluati9on partial evaluat9ion partial evaluatuon partial evaluatiuon partial evaluatuion partial evaluatoon partial evaluatioon partial evaluatoion partial evaluatjon partial evaluatijon partial evaluatjion partial evaluatkon partial evaluatikon partial evaluatkion partial evaluatlon partial evaluatilon partial evaluatlion partial evaluataon partial evaluateon partial evaluati9n partial evaluatio9n partial evaluati9on partial evaluati(n partial evaluatio(n partial evaluati(on partial evaluati0n partial evaluatio0n partial evaluati0on partial evaluatiin partial evaluatioin partial evaluatiion partial evaluatipn partial evaluatiopn partial evaluatipon partial evaluatikn partial evaluatiokn partial evaluatikon partial evaluatiln partial evaluatioln partial evaluatilon partial evaluatian partial evaluatien partial evaluatiun partial evaluatiog partial evaluationg partial evaluatiogn partial evaluatioh partial evaluationh partial evaluatiohn partial evaluatioj partial evaluationj partial evaluatiojn partial evaluatiob partial evaluationb partial evaluatiobn partial evaluatiom partial evaluationm partial evaluatiomn partial evaluatio partial evaluation partial evaluatio n Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |
|
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.
|
©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy |
|