Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Eric_Hehner> ?p ?o. }
Showing items 1 to 81 of
81
with 100 items 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 birthYear "1947".
- Eric_Hehner field Computer_programming.
- Eric_Hehner field Formal_methods.
- Eric_Hehner influenced Tony_Hoare.
- Eric_Hehner nationality Canada.
- Eric_Hehner wikiPageExternalLink ~hehner.
- Eric_Hehner wikiPageExternalLink aPToP.
- Eric_Hehner wikiPageExternalLink ratno.pdf.
- Eric_Hehner wikiPageExternalLink Hehner:Eric_C=_R=.html.
- Eric_Hehner wikiPageID "2715095".
- Eric_Hehner wikiPageRevisionID "580851956".
- 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 dateOfBirth "1947-09-16".
- Eric_Hehner fields Computer_programming.
- Eric_Hehner fields Formal_methods.
- Eric_Hehner hasPhotoCollection Eric_Hehner.
- Eric_Hehner influenced Tony_Hoare.
- Eric_Hehner name "Eric C. R. Hehner".
- Eric_Hehner name "Hehner, Eric C. R.".
- Eric_Hehner nationality "Canadian".
- Eric_Hehner placeOfBirth Ontario.
- Eric_Hehner placeOfBirth Ottawa.
- 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 Alumnus109786338.
- Eric_Hehner type CanadianComputerScientists.
- Eric_Hehner type CarletonUniversityAlumni.
- Eric_Hehner type CausalAgent100007347.
- Eric_Hehner type ComputerScientist109951070.
- Eric_Hehner type ComputerUser109951274.
- Eric_Hehner type FormalMethodsPeople.
- Eric_Hehner type Intellectual109621545.
- Eric_Hehner type LivingPeople.
- Eric_Hehner type LivingThing100004258.
- Eric_Hehner type Object100002684.
- Eric_Hehner type Organism100004475.
- Eric_Hehner type Person100007846.
- Eric_Hehner type PhysicalEntity100001930.
- Eric_Hehner type Scholar110557854.
- Eric_Hehner type Scientist110560637.
- Eric_Hehner type Whole100003553.
- Eric_Hehner type YagoLegalActor.
- Eric_Hehner type YagoLegalActorGeo.
- Eric_Hehner type Agent.
- Eric_Hehner type Person.
- Eric_Hehner type Scientist.
- Eric_Hehner type Person.
- Eric_Hehner type Q215627.
- Eric_Hehner type Q5.
- Eric_Hehner type Agent.
- Eric_Hehner type NaturalPerson.
- Eric_Hehner type Thing.
- 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 m.07zn94.
- Eric_Hehner sameAs Q5386705.
- Eric_Hehner sameAs Q5386705.
- Eric_Hehner sameAs Eric_Hehner.
- Eric_Hehner wasDerivedFrom Eric_Hehner?oldid=580851956.
- Eric_Hehner givenName "Eric C. R.".
- Eric_Hehner isPrimaryTopicOf Eric_Hehner.
- Eric_Hehner name "Eric C. R. Hehner".
- Eric_Hehner name "Hehner, Eric C. R.".
- Eric_Hehner surname "Hehner".