>>1
Is the language Hoare logic and analysis of algorithms? It seems there is little else to the field of computer-science now regardless of whether it has lasting influence. One other item, I don't understand his claim that debugging and modifying a program would be better suited to learning than practice. In my experience intelligent practice is the only way to learn, and we go against this at our peril.