My goal was to ensure that all use of references should be absolutely safe, with checking performed automatically by the compiler. But I couldn’t resist the temptation to put in a null reference, simply because it was so easy to implement.
Sir Charles Antony Richard Hoare
British computer scientist. Fellow of the Royal Academy of Engineering. Developed the sorting algorithm quicksort in 1959/1960. Developed Hoare logic for verifying program correctness, and the formal language CSP to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.