This Day in History: January 11

      January 2017
       
1234567
891011121314
15161718192021
22232425262728
293031    
Today: February 28, 2017
ACM/GAMM Committee Convenes to Develop Algol
ACM/GAMM committee

January 11, 1960

ACM/GAMM Committee Convenes to Develop Algol

The ACM/GAMM committee, a team of computer industry luminaries, convenes to develop Algol 60, the first block-structured language and one that eventually led to the more widely used Pascal. Algol (Algorithmic Language) and Algol 60 were designed to solve scientific computations and were meant to be more portable than most languages in existence at the time. Alan Perlis described Algol as the lingua franca of computer science.

C.A.R. Hoare, the Developer of the Axiomatic Approach, Born
Charles Antony Richard (Tony) Hoare

January 11, 1934

C.A.R. Hoare, the Developer of the Axiomatic Approach, Born

Charles Antony Richard (Tony) Hoare is born. He received an MA from University of Oxford in 1959. During 1960 - 1968 he had worked at Elliot Bros. (London) Ltd. During 1968 - 1977 Hoare taught at the University of Belfast. Beginning in 1977, he was James Martin Professor of Computing at Oxford. He was a major contributor to the understanding of the logic of programs, and in particular was the developer of the Axiomatic Approach to program description. He received the 1980 ACM Turing Award.