Automated programming, symbolic computation, machine learning: my personal view [pdf] (link.springer.com)

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