Most programming languages were written for human programmers, but that's about to change. University of Michigan professor ...