Hacker News new | ask | show | jobs
by cscurmudgeon 3104 days ago
A lot of research has been done in that direction.

http://www.inductive-programming.org