Automated programming, symbolic computation, machine learning: my personal view [pdf]

On implications of what is AI and how we can achieve automated programming.