Inductive programming: Difference between revisions

Content deleted Content added
Line 257:
* [[Program synthesis]]
* [[Structure mining]]
* [[Test-driven development]]<!-- starting with input/output examples and manually producing a program that satisfies them -->
* [[Probabilistic programming language]]