Content deleted Content added
m clean up, replaced: | journal=arXiv → | journal= using AWB |
|||
Line 242:
* [[Program synthesis]]
* [[Programming by example]]
* [[Programming by demonstration]]
* [[Structure mining]] * [[Test-driven development]]<!-- starting with input/output examples and manually producing a program that satisfies them -->
|