Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,805,456,233 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

Computational Adequacy Theorem

    0.06 sec.
Computational Adequacy Theorem - This states that for any program (a non-function typed term in the typed lambda-calculus with constants) normal order reduction (outermost first) fails to terminate if and only if the standard semantics of the term is bottom. Moreover, if the reduction of program e1 terminates with some head normal form e2 then the standard semantics of e1 and e2 will be equal. This theorem is significant because it relates the operational notion of a reduction sequence and the denotational semantics of the input and output of a reduction sequence.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in
 
Encyclopedia browser? ? Full browser
 
Computation Mission Area
Computation model
Computation of actuarial reserves
Computation of Complex Aerodynamic Flows
Computation of Income Tax
Computation of Manpower Programs by Linear Programming
Computation Of Miss Between Orbits
Computation of Project Replacement Value
Computation of Tax
Computation of Vulnerable Areas and Repair Times
Computation problem
Computation Structures Language
Computation time
Computation tree
Computation tree logic
Computation tree logic
computational
computational
computational
computational
computational
Computational Acoustics
Computational Acoustics and Fluid-Structure Interaction
Computational Acoustics Modeling Lab
Computational Adequacy Theorem
Computational Administrative Professional And Engineering Services
Computational Advances in Multi-Sensor Adaptive Processing
Computational Aero Acoustics
Computational Aero Acoustics
Computational Aeroacoustics
Computational Aeroacoustics
Computational Aeroacoustics
Computational AeroSciences
Computational Algebraic Analysis
Computational Algebraic Topology within Image Context
Computational Algorithm for Missile Exhaust Radiation
Computational Analysis and Programming Support Services
Computational Analysis of Social and Organizational Systems
Computational and Algorithmic Representations of Geometric Objects
Computational and Applied Mathematics
Computational and Experimental Biomechanics Lab
Computational and Experimental Mechanics Laboratory
Computational and Genome Biology Initiative
Computational and Information Sciences
Computational and Information Systems Laboratory
Computational and Mathematical Methods in Science and Engineering
Computational and Mathematical Organization Theory
Computational and Mathematical Population Dynamics
Computational and Structural Biology in Biodefense
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
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. Terms of Use.