An inference produces a derived fact using logical induction or deduction.
⇑ Translate the sentence above by Google ⇑
Related: inference
Prev: Even with type inference, redundant type information is needed.
Next: Type inference-both exact and speculative.
