Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Eric_Hehner> ?p ?o }
Showing triples 1 to 99 of
99
with 100 triples per page.
- Eric_Hehner abstract "Eric C. R. Hehner, called Rick, is a Canadian computer scientist.Eric Hehner was born on 16 September 1947 in Ottawa. He 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. In 1979, Hehner invented a method of representing rational numbers with current University of Victoria professor Nigel Horspool called quote notation, which allows for easier arithmetic and produces no roundoff error in arithmetic calculations implementing a generalization of radix notation. Hehner has also influenced many other computer science researchers with his ideas, including Tony Hoare, especially with his concept of predicative programming.".
- Eric_Hehner almaMater Carleton_University.
- Eric_Hehner almaMater University_of_Toronto.
- Eric_Hehner birthDate "1947-09-16".
- Eric_Hehner birthPlace Ontario.
- Eric_Hehner birthPlace Ottawa.
- Eric_Hehner field Computer_programming.
- Eric_Hehner field Formal_methods.
- Eric_Hehner influenced Tony_Hoare.
- Eric_Hehner nationality Canada.
- Eric_Hehner wikiPageExternalLink aPToP.
- Eric_Hehner wikiPageExternalLink ~hehner.
- Eric_Hehner wikiPageExternalLink ratno.pdf.
- Eric_Hehner wikiPageExternalLink Hehner:Eric_C=_R=.html.
- Eric_Hehner wikiPageID "2715095".
- Eric_Hehner wikiPageLength "3093".
- Eric_Hehner wikiPageOutDegree "37".
- Eric_Hehner wikiPageRevisionID "705857441".
- Eric_Hehner wikiPageWikiLink Canada.
- Eric_Hehner wikiPageWikiLink Carleton_University.
- Eric_Hehner wikiPageWikiLink Category:1947_births.
- Eric_Hehner wikiPageWikiLink Category:Canadian_computer_scientists.
- Eric_Hehner wikiPageWikiLink Category:Carleton_University_alumni.
- Eric_Hehner wikiPageWikiLink Category:Formal_methods_people.
- Eric_Hehner wikiPageWikiLink Category:Living_people.
- Eric_Hehner wikiPageWikiLink Category:University_of_Toronto_alumni.
- Eric_Hehner wikiPageWikiLink Category:University_of_Toronto_faculty.
- Eric_Hehner wikiPageWikiLink Communications_of_the_ACM.
- Eric_Hehner wikiPageWikiLink Computer_programming.
- Eric_Hehner wikiPageWikiLink Computer_science.
- Eric_Hehner wikiPageWikiLink Computer_scientist.
- Eric_Hehner wikiPageWikiLink Doctor_of_Philosophy.
- Eric_Hehner wikiPageWikiLink Formal_methods.
- Eric_Hehner wikiPageWikiLink Mathematical_optimization.
- Eric_Hehner wikiPageWikiLink Mathematics.
- Eric_Hehner wikiPageWikiLink Nigel_Horspool.
- Eric_Hehner wikiPageWikiLink Ontario.
- Eric_Hehner wikiPageWikiLink Ottawa.
- Eric_Hehner wikiPageWikiLink Physics.
- Eric_Hehner wikiPageWikiLink Portable_Document_Format.
- Eric_Hehner wikiPageWikiLink Predicative_programming.
- Eric_Hehner wikiPageWikiLink Quote_notation.
- Eric_Hehner wikiPageWikiLink Radix.
- Eric_Hehner wikiPageWikiLink Science_of_Computer_Programming.
- Eric_Hehner wikiPageWikiLink Software_engineering.
- Eric_Hehner wikiPageWikiLink The_Mathematical_Intelligencer.
- Eric_Hehner wikiPageWikiLink Tony_Hoare.
- Eric_Hehner wikiPageWikiLink University_of_Toronto.
- Eric_Hehner wikiPageWikiLink University_of_Victoria.
- Eric_Hehner wikiPageWikiLinkText "Eric C.R. Hehner".
- Eric_Hehner wikiPageWikiLinkText "Eric Hehner".
- Eric_Hehner almaMater Carleton_University.
- Eric_Hehner almaMater University_of_Toronto.
- Eric_Hehner birthDate "1947-09-16".
- Eric_Hehner birthPlace Ontario.
- Eric_Hehner birthPlace Ottawa.
- Eric_Hehner fields Computer_programming.
- Eric_Hehner fields Formal_methods.
- Eric_Hehner influenced Tony_Hoare.
- Eric_Hehner name "Eric C. R. Hehner".
- Eric_Hehner nationality "Canadian".
- Eric_Hehner wikiPageUsesTemplate Template:Birth-date.
- Eric_Hehner wikiPageUsesTemplate Template:Canada-academic-bio-stub.
- Eric_Hehner wikiPageUsesTemplate Template:Canada-compu-bio-stub.
- Eric_Hehner wikiPageUsesTemplate Template:Compu-scientist-stub.
- Eric_Hehner wikiPageUsesTemplate Template:Infobox_scientist.
- Eric_Hehner workplaces University_of_Toronto.
- Eric_Hehner subject Category:1947_births.
- Eric_Hehner subject Category:Canadian_computer_scientists.
- Eric_Hehner subject Category:Carleton_University_alumni.
- Eric_Hehner subject Category:Formal_methods_people.
- Eric_Hehner subject Category:Living_people.
- Eric_Hehner subject Category:University_of_Toronto_alumni.
- Eric_Hehner subject Category:University_of_Toronto_faculty.
- Eric_Hehner type Agent.
- Eric_Hehner type List.
- Eric_Hehner type Person.
- Eric_Hehner type Scientist.
- Eric_Hehner type Person.
- Eric_Hehner type Designer.
- Eric_Hehner type List.
- Eric_Hehner type Member.
- Eric_Hehner type Method.
- Eric_Hehner type Scientist.
- Eric_Hehner type Agent.
- Eric_Hehner type NaturalPerson.
- Eric_Hehner type Thing.
- Eric_Hehner type Q215627.
- Eric_Hehner type Q5.
- Eric_Hehner type Q901.
- Eric_Hehner type Person.
- Eric_Hehner comment "Eric C. R. Hehner, called Rick, is a Canadian computer scientist.Eric Hehner was born on 16 September 1947 in Ottawa. He 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.".
- Eric_Hehner label "Eric Hehner".
- Eric_Hehner sameAs Q5386705.
- Eric_Hehner sameAs m.07zn94.
- Eric_Hehner sameAs Q5386705.
- Eric_Hehner wasDerivedFrom Eric_Hehner?oldid=705857441.
- Eric_Hehner isPrimaryTopicOf Eric_Hehner.
- Eric_Hehner name "Eric C. R. Hehner".