20世纪50年代晚期，IBM公司研发出了“公式翻译”（FORTRAN）。而FORTRAN团队的领导人是约翰·巴克斯（John Backus,1924—2007）。FORTRAN的设计初衷便是为含有数学公式的科学研究设计服务，它允许程序员用代数表达式代替模糊的汇编码。FORTRAN编译程序将代数表达式转换为机器代码。到60年代晚期，FORTRAN几乎可以在所有电脑上运行，特别是IBM计算机，而且用户数大增。