X-Nico

unusual facts about C. Hoare



Duration calculus

It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems.

France-Albert René

"Mad Mike" Hoare and 43 others posed as members of the "Ancient Order of Froth Blowers", a defunct charitable beer-drinking fraternity, visiting the islands as tourists.

Netscape portable runtime

Thread synchronization loosely depends on monitors as described by C. A. R. Hoare in "Monitors: An operating system structuring concept", Communications of the ACM, 17(10), October 1974 and then formalized by Xerox' Mesa programming language ("Mesa Language Manual", J.G. Mitchell et al., Xerox PARC, CSL-79-3 (Apr 1979)).


see also