normal order reduction

Also found in: Acronyms

0.01 sec.

normal order reduction - Under this evaluation strategy an expression is evaluated by reducing the leftmost outermost redex first. This method will terminate for any expression for which termination is possible, whereas applicative order reduction may not. This method is equivalent to passing arguments unevaluated because arguments are initially to the right of functions applied to them. See also computational adequacy theorem.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Normal Fault normal fluid normal fold normal form normal frequencies normal function normal Hall effect normal haul normal horizontal separation normal hydrostatic pressure normal impact normal impedance normal incidence reflectivity normal induction normal inspection normal magnetization curve normal map normal mass shift normal matrix normal mode normal mode of vibration normal moveout normal number normal operation normal operator normal order reduction normal orientation Normal Oscillations normal pace normal pedal curve normal permeability normal pitch Normal Plane normal polarity normal potassium pyrophosphate normal pressure normal probability paper normal projection normal range Normal Rated Power normal ray normal reaction normal ripple mark normal saline normal salt normal salt solution normal school Normal Schools Normal Section normal segregation normal series			Normal No Noobs Normal Non-Refrigerated Conditions of Storage Normal number normal occlusion normal occlusion normal occlusion normal occlusion Normal of the plane Normal Operating Cell Temperature Normal Operating Exhaust Capacity Normal Operating Loss Normal Operating Pressure Normal Operating Procedures Normal Operating Range Normal Operating Temperature Normal Operating Water Level normal operation Normal Operation Conditions normal operations Normal Operations Readiness Review Normal Operations Safety Survey Normal operator Normal operators normal opsonin Normal Oral Buccal Mucosa normal oral flora normal oral flora normal oral flora Normal order evaluation normal order reduction normal orientation Normal Oropharyngeal Epithelial Cell Normal Oscillations Normal Output Normal Overload normal pace Normal Paraffin Hydrocarbon Normal Park Neighborhood Association Normal Peacetime Location normal pedal curve Normal Pension Age Normal Peripheral Blood Lymphocytes normal permeability normal phase Normal Photoelectron Diffraction Normal Pipe Thread normal pitch Normal place Normal Place of Duty Normal plane Normal Plasma Very Low Density Lipoprotein Normal Pointing Mode normal polarity Normal portfolio

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.