Eric Hehner - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1947 birth Carleton University alumnus Living person Canadian computer scientist Programmer
rdfs:label	Eric Hehner
owl:sameAs	dbr:Eric_Hehner
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1947_births http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Carleton_University_alumni http://en.wikipedia.org/wiki/List_of_programmers http://en.wikipedia.org/wiki/Category:Canadian_computer_scientists http://en.wikipedia.org/wiki/IFIP_Working_Group_2.1
skos:prefLabel	Eric Hehner
skos:altLabel	Eric C.R. Hehner
clgo:academicDiscipline	Computer science Computer programming
clgo:birthDate	1947-09-16
clgo:birthPlace	Ontario Ottawa Canada
clgo:birthYear	1947
clgo:citizenship	Canada
clgo:influenced	Tony Hoare
clgo:institution	University of Toronto
clgo:knownFor	Predicative programming P-adic number ALGOL Formal methods
clgo:nationality	Canadians

About: clgr:Eric_Hehner