图灵奖
Backus在他的1977年图灵奖获奖演讲中，阐述了为何他认为在编程语言设计中需要切换到一种不同的哲学：