| Citation | Distinguished for his work in the area of computer programming languages. He has made many contributions to the study of cooperating processes and his axiomatic approach has had an important influence on language design. He has substantially developed the theory of program correctness proofs. Particular contributions for which he is noted are: techniques of compiletime checking of program consistency; the roles of types and abstraction in programming; the structure and representation of data; and more recent work on the synchronisation of parallel programs. His research monograph "Notes on Data Structuring" is now achieving the status of an undergraduate text. |