Autocode

回到牛津大學，研讀統計學，取得學士後學位。在此期間，開始學習程式設計，他跟著Leslie Fox（英语：Leslie Fox）學習Autocode（英语：Autocode）。為了進一步學習俄語，他以英國文化協會的交換學生身份，至蘇聯莫斯科國立大學留學，跟隨安德雷·柯爾莫哥洛夫學習數學，並研究機器翻譯。

Automata》也对此进行了讨论。而已知最早的這類程式在1960年代於愛丁堡大學出現，由Hamish Dewar以Atlas Autocode（英语：Atlas Autocode）編寫： %BEGIN !THIS IS A SELF-REPRODUCING PROGRAM %ROUTINESPEC R

它描述手工处理打孔纸带的自动化。后来它指称高级语言如Fortran和ALGOL的转译。事实上，最老的可辨识为编译器的程序之一就叫作Autocode（英语：Autocode）。Parnas的结论是“自动编程一直就是用比编程者平常用的语言更高层的语言来编程的婉语”。 程序合成（英语：Program

在這段期間被開發出來的重要語言包括有： 1951 - Regional Assembly Language 1952 - Autocode（英语：Autocode） 1954 - FORTRAN 1954 - IPL (LISP的先驅) 1955 - FLOW-MATIC（英语：FLOW-MATIC）

结构编程语言中，在块外部的对象名字在块内部是可见的，除非它们被声明了相同名字的对象所遮掩。 块结构的想法是在1950年代开发最初的Autocode（英语：Autocode）期间发展出来的，并形式化于ALGOL 60报告中。ALGOL 58介入了“复合”（compound）语句的概念，它只与控制流程有关。在“ALGOL