Inductive Programming

A field concerned with designing algorithms for computer programs with complex control flow from incomplete specifications.

برمجة استقرائية