Exhibits At the Museum

This Day in History

      January 2015
       
    123
45678910
11121314151617
18192021222324
25262728293031
Today: June 29, 2015
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.


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.