单词 |
computational adequacy theorem |
释义 |
Computational Adequacy Theorem Computational Adequacy TheoremThis states that for any program (a non-function typed term inthe typed lambda-calculus with constants) normal order reduction (outermost first) fails to terminate if and only ifthe 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 willbe equal. This theorem is significant because it relates theoperational notion of a reduction sequence and thedenotational semantics of the input and output of areduction sequence. |
随便看 |
- nutrition education at primary school
- nutrition educator
- nutrition entrepreneurs dietetic practice group
- nutrition, ethics and human rights
- nutrition, exercise and weight
- nutrition, exercise, water, sunshine, temperance, air, rest, & trust
- nutrition facts
- nutrition facts label
- nutrition, food and exercise sciences
- nutrition, food safety, & health
- nutrition glycemic control
- nutrition, health & wellness
- nutrition information project for southern africa
- nutrition in pre-colonial america
- nutrition institute
- nutritionist
- nutritionist-dietitians' association of the philippines
- nutritionists
- nutritionist's calorie
- nutrition labeling
- nutrition labeling and education act of 1990
- nutrition: less than body requirements, imbalanced
- nutrition management
- nutrition, metabolism, and cardiovascular diseases
- nutrition, metabolism, and exercise laboratory
|