meaning of beta reduction

1. beta reduction [lambda-calculus] The application of a lambda abstraction to an argument expression. A copy of the body of the lambda abstraction is made and occurrences of the bound variable being replaced by the argument. E. g. x . x+1 4 --> 4+1 Beta reduction is the only kind of reduction in the pure lambda-calculus. The opposite of beta reduction is beta abstraction. These are the two kinds of beta conversion. See also name capture. beta testing Testing a pre-release potentially unreliable version of a piece of software by making it available to selected users. This term derives from early 1960s terminology for product cycle checkpoints, first used at IBM but later standard throughout the industry. "Alpha test" was the unit, module, or component test phase; "Beta Test" was initial system test. These themselves came from earlier A- and B-tests for hardware. The A-test was a feasibility and manufacturability evaluation done before any commitment to design and development. The B-test was a demonstration that the engineering model functioned as specified. The C-test corresponding to todays beta was the B-test performed on early samples of the production design. An item "in beta test" is thus mostly working but still under test. In the Real World, systems hardware or software often go through two stages of release testing: Alpha in-house and Beta out-house?. Beta releases are generally made available to a small number of lucky or unlucky, trusted customers.

Related Words

beta reduction |

Developed & Maintained By Taraprasad.com