Author

Eric Hehner

Eric Hehner books and biography

Sponsored Links


Practical Thery Of Programming Part A


By Eric Hehner
Programming References

Download Details Report

Share this Book!

Practical Thery Of Programming Part B


By Eric Hehner
Programming References

Download Details Report

Share this Book!

Practical Thery Of Programming Part C


By Eric Hehner
Programming References

Download Details Report

Share this Book!

Practical Thery Of Programming Part D


By Eric Hehner
Programming References

Download Details Report

Share this Book!
										  

Eric Hehner

The image “http://www.cse.psu.edu/~yuanxie/community/whoswho/eric-hehner.jpg” cannot be displayed, because it contains errors.

Eric C. R. Hehner is a Canadian computer scientist.

Eric Hehner studied mathematics and physics at Carleton University, obtaining his first degree in 1969. He gained a PhD in computer science from the University of Toronto in 1974. He then joined the faculty there, becoming a full professor in 1983. He became the Bell University Chair in Software Engineering in 2001.

Hehner's main research area is formal methods, particularly for programming. He has been influential to many other computer science researchers with his ideas, including Tony Hoare, especially with his concept of predicative programming.

References

  • E. C. R. Hehner, 1984. Predicative Programming. CACM, 27(2):134–151.
  • E. C. R. Hehner, 1990. A Practical Theory of Programming. Science of Computer Programming, 14(2–3):133–158.
  • E. C. R. Hehner, 2004. From Boolean Algebra to Unified Algebra. Mathematical Intelligencer, 26(2):3–19.


This article might use material from a Wikipedia article, which is released under the Creative Commons Attribution-Share-Alike License 3.0.



Convert any Books to Kobo

* Notice to all users: You can export our search engine to your blog, website, facebook or my space.

message of the week Message of The Week

Bookyards Youtube channel is now active. The link to our Youtube page is here.

If you have a website or blog and you want to link to Bookyards. You can use/get our embed code at the following link.


Follow us on Twitter and Facebook.

Bookyards Facebook, Tumblr, Blog, and Twitter sites are now active. For updates, free ebooks, and for commentary on current news and events on all things books, please go to the following:

Bookyards at Facebook

Bookyards at Twitter

Bookyards at Pinterest

Bookyards atTumblr

Bookyards blog


message of the daySponsored Links