Dixtra ended her freelance research career at Bora on 1984 and was invited to be honorary director of the Department of Computer Science at the University of Texas at Austin.
Dixtra's works are many, mainly including:
Algol 60 Programming Introduction (Algol 60 Programming Introduction, Academic Edition. , 1962).
Training method of programming (a discipline of programming, prentice-hall, 1976).
The teaching of programming is the teaching of thinking methods (the teaching of programming is the teaching of thinking, Springer, 1976).
Selected Computational Writing: Personal Views, springer, 1982. This book is a compilation of more than 60 most important and meaningful correspondence materials selected from a large number of correspondence he sent to Bora Company, which reflects his views and research results at that time.
A programming method (Addison- Wesley, 1988).
Formal development of programs and proofs (Addison-Wesley, 1990).
Predicate calculus and program semantics (Springer, 1990)
In addition to winning the Turing Award, Dixtra also won the HarryGoode Award from AFIPS with 1974.
Dixtra won the Turing Award at the ACM Annual Meeting held in Boston on August 1972. He delivered a Turing Prize speech entitled "Humble Programmer", which was published in ACM Newsletter 1973, 10, pages 859-866. See the lectures of ACM Turing Award for the first 20 years: 1966- 1985, ACM PR. ), page 17-32. He affirmed Fortran, Algol, LISP and other languages in his speech, but for PL/I, he thought it was a failure. The focus of the speech is how to build reliable software and how to avoid introducing errors in programming, rather than eliminating them later, which is not only of technical significance, but also very important in economy. Dixtra's above views have won the understanding and support of more and more people.
1989, in order to celebrate Dixielia's 60th birthday, W.H.J. Jin Fei, a famous computer scholar and long-term collaborator of Dixielia, jointly compiled a collection of commemorative works, the title of which quoted another famous saying of Dixielia: Beauty is our business (Springer, 198). The book contains 53 articles written by his colleagues, friends and students, including four Turing Prize winners, namely Hall (C. A. R. Hoare, 1980), Knuth (D. Knuth, 1974) and Worth (N. Wirth, 65438). Interestingly, in 1966, Knut criticized the scheme proposed by Dixtra in the article "Solving a Problem in Concurrent Program Control", thinking that this scheme may make a specific process "starve to death", that is, it will be blocked forever and cannot obtain the required resources. He put forward a plan not to starve to death. However, some critics point out that Knut's scheme is more complicated than dietra's scheme and is not necessarily more reliable. Obviously, the academic debate did not stop the two computer masters from becoming good friends.
After years of fighting cancer, dietra died on August 6th, 2002 at his home in Nunan, the Netherlands.