A programming language with code generation [using genetic programming, hill-climbing or simulated annealing]