Language, truth and software [software development]

Tony Hoare helped lay the engineering foundations of computer science. He has been studying the role of formal methods within Microsoft's software development process. This paper discusses Hoare's early programming experiences and his work on concurrency and specification.