1. infeasible path dead code inference The logical process by which new facts are derived from known facts by the application of inference rules. See also symbolic inference, type inference.
infeasible path |
