Programming by example (Computer science) Concepto