Computational Adequacy Theorem

0.01 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.

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			compulsion compulsive gambling compulsive personality disorder compulsive reaction compulsory acquisition Compulsory Appearance Compulsory Arbitration Compulsory Educational Measures Compulsory Labor Compulsory Medical Measures compulsory purchase compulsory reporting points Compulsory Service Recruitment compurgation COMPUSEC CompuServe CompuServe Corporation CompuServe Information Service compuserve.com Compusult Ltd. computability theory computable computable function computation computational Computational Adequacy Theorem computational aeroacoustics computational chemistry computational complexity computational flow imaging computational fluid dynamics computational geometry computational learning computational linguistics computational molecular biology computational numerical control computational statistics compute compute cloud compute mode COMpute ParallEL compute server compute-bound program computed altitude computed azimuth computed azimuth angle computed go to computed path control computed tomography Computer Computer + Science NETwork			Computation and Communication Integration Group Computation and Data Flow Integration Subsystem Computation and Events Computation counting Computation Facility Computation in Electromagnetics Computation Independent Model Computation Mechanics Technology Center Computation Method Computation Mission Area Computation of Complex Aerodynamic Flows Computation of Income Tax Computation of Income Tax Computation of Income Tax 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 Structures Language Computation tree logic computational computational computational computational Computational & Information Systems Laboratory 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 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 Geometric Aspects of Modern Algebra Computational and Information Sciences Computational and Information Sciences and Technology Office Computational and Mathematical Methods in Science and Engineering Computational and Mathematical Organization Theory Computational and Mathematical Population Dynamics Computational and Molecular Population Genetics Computational and Structural Biology in Biodefense Computational and Symbolic Proofs of Security

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.