Eric Hehner is a notable figure in the field of computer science, particularly known for his work in programming language theory and formal methods. He has made significant contributions to the development of techniques for specifying and reasoning about computer programs. Hehner is often associated with concepts such as formal specification, program correctness, and the use of logical frameworks in software development. His work includes the design and implementation of programming languages, as well as research on the principles and fundamentals of computing.
Articles by others on the same topic
There are currently no matching articles.