AI & ChatGPT searches , social queries for ERIC HEHNER
Search references for ERIC HEHNER. Phrases containing ERIC HEHNER
See searches and references containing ERIC HEHNER!
Search references for ERIC HEHNER. Phrases containing ERIC HEHNER
See searches and references containing ERIC HEHNER!ERIC HEHNER
Canadian computer scientist (born 1947)
Eric "Rick" C. R. Hehner (born 16 September 1947) is a Canadian computer scientist. He was born in Ottawa. He studied mathematics and physics at Carleton
Eric_Hehner
Method of computer program specification
more recently called a Practical Theory of Programming, invented by Eric Hehner. The central idea is that each specification is a binary (boolean) expression
Predicative_programming
Swiss computer scientist (1934–2024)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Niklaus_Wirth
Family of programming languages
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL
American computer scientist (1936–2001)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Robert_W._Floyd
Dutch computer scientist (1930–2002)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Edsger_W._Dijkstra
Programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_68
Established norm or requirement to facilitate consistency
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Technical_standard
British computer scientist (1934–2026)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Tony_Hoare
British computer company, 1950–1967
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Elliott Brothers (computer company)
Elliott_Brothers_(computer_company)
American scientist (1927–2011)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
John McCarthy (computer scientist)
John_McCarthy_(computer_scientist)
Member of the ALGOL family of computer programming languages
Autocode source-level translator Archived 2020-05-15 at the Wayback Machine. Eric S. Raymond's Retrocomputing Museum, among others a link to the NASE ALGOL
ALGOL_60
Danish computer science pioneer (1928–2016)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Peter_Naur
Number system extending the rational numbers
p-adic representation of rational numbers that was proposed in 1979 by Eric Hehner and Nigel Horspool for implementing on computers the (exact) arithmetic
P-adic_number
Programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
JOVIAL
Norwegian computer scientist and mathematician
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Kristen_Nygaard
W. Dijkstra Andrey Ershov Robert W. Floyd Jeremy Gibbons David Gries Eric Hehner Tony Hoare Zhenjiang Hu Charles Katz Cornelis H. A. Koster Peter Landin
IFIP_Working_Group_2.1
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Regnecentralen
Historical programming language
SHARE General Program Library, SHARE Distribution Number 1327 PA, 1961 Eric Raymond's retrocompiler for MAD A trivial example of a MAD program Dave Pitts'
MAD_(programming_language)
American computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Joseph_Henry_Wegstein
Reality television series
the one-year anniversary and beyond. The couples are Jamie Otis-Hehner and Doug Hehner, and Cortney Hendrix-Carrion and Jason Carrion. The first episode
Married at First Sight (American TV series)
Married_at_First_Sight_(American_TV_series)
British computer scientist
2016. Stanik, John (24 October 2008). "A Conversation with Steve Bourne, Eric Allman, and Bryan Cantrill". ACM Queue. 6 (5). Lindsay, Bruce (6 December
Stephen_R._Bourne
English computer scientist (1943–2022)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Richard Bird (computer scientist)
Richard_Bird_(computer_scientist)
Norwegian computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Ole-Johan_Dahl
French mathematician and computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Bernard_Vauquois
RDBMSs the IBM Db2 Juris Hartmanis – Computational complexity theory Eric Hehner – predicative programming, formal methods, quote notation, ALGOL David
List_of_programmers
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Napier88
Computer programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
S-algol
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
IMP_(programming_language)
French computer scientist (1937–2017)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Maurice_Nivat
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Klaus_Samelson
Programming language dialect
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Interactive_ALGOL_68
Japanese mathematician and computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Nobuo_Yoneda
British computer scientist (1930–2009)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Peter_Landin
Programming language based on a proposal for ALGOL X
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_W
German computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Friedrich_L._Bauer
German mathematician and computer scientist (1928–2019)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Hermann_Bottenbruch
Early computer programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGO
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
S3_(programming_language)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Eiiti_Wada
American computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
David_Gries
Dutch computer scientist and professor
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Lambert_Meertens
Soviet computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Andrey_Yershov
Orthogonally persistent programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
PS-algol
British computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Jeremy_Gibbons
Early programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
CORAL
British computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
John Barnes (computer scientist)
John_Barnes_(computer_scientist)
British computer scientist (1931–2023)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Charles_H._Lindsey
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_N
First computer in Denmark, 1957
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
DASK
Dutch mathematician and computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Adriaan_van_Wijngaarden
1964 computer by English Electric
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
English_Electric_KDF9
Computer programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
SMALL
Computer programming language
introduction to ALGOL 68 (revised). north-holland. ISBN 0-7204-0726-5. Raymond, Eric S. (1996). "fool". The new hacker's dictionary; 3rd edition. MIT Press. p
ALGOL_68-R
Programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Mary_(programming_language)
British computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Ron_Morrison
South African Canadian computer scientist (1918–2013)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
John_E._L._Peck
American computer scientist (1935–2013)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
John_C._Reynolds
American computer programmer (1927–1974)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Charles_Katz
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Elliott_ALGOL
American computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Carroll Morgan (computer scientist)
Carroll_Morgan_(computer_scientist)
Dutch computer scientist (1943–2013)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Cornelis_H._A._Koster
first female astronaut; former head of space medicine research at NASA Eric Hehner (Ph.D. 1974, professor of computer science) – influential computer scientist
List of University of Toronto alumni
List_of_University_of_Toronto_alumni
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Barry_J._Mailloux
British scientific officer and computer programmer
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Susan_G._Bond
English computer scientist (1923–2025)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Mike_Woodger
Programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
RTL/2
American computer scientist (1929–2007)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Douglas_T._Ross
Early object-oriented programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Simula
British mathematician and computer scientist
March 2008.{{cite web}}: CS1 maint: archived copy as title (link) Weisstein, Eric W. "Soma Cube". Wolfram MathWorld. Kustes, William (Bill). "The SOMAP construction
Michael_Guy
Dutch computer scientist (1926–2024)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Willem_van_der_Poel
Computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Robert_Dewar
European collaborative research project
Butler Ole-Johan Dahl Edsger Dijkstra Leslie Fox Mike Gordon He Jifeng Eric Hehner Andrey Kolmogorov Gary T. Leavens John Lucas David May Robin Milner Jayadev
ProCoS
Programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_58
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALCOR
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_68RS
British mathematician (1919–2018)
"Dedication: P. M. Woodward and the Ambiguity Function". In Wicks, Michael; Mokole, Eric; Blunt, Shannon; Schneible, Richard; Amuso, Vincent (eds.). Principles of
Philip_Woodward
Imperative computer programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_68C
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
NELIAC
Academic journal
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_Bulletin
1960s computer programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Atlas_Autocode
Danish computer programmer
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Jørn_Jensen
Swiss mathematician and computer scientist (1918–1970)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Heinz_Rutishauser
Programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ALGOL_68S
Systems programming language used in the EMAS operating system
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Edinburgh_IMP
Formal semantics and 1998 book
fixed-point constructs from second-order logic. Following the tradition of Eric Hehner, programs are predicates in the UTP, and there is no distinction between
Unifying Theories of Programming
Unifying_Theories_of_Programming
scientist and organizational theorist He Jifeng – provably correct systems Eric Hehner – predicative programming, formal methods, quote notation, ALGOL Martin
List_of_computer_scientists
Computer programming technique
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Jensen's_device
Swedish first-generation computer
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
SMIL_(computer)
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
DG/L
Programming language
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
ELLA_(programming_language)
2021 PL Achievement Award for foundational contributions to type theory Eric Hehner, for predicative programming, a formal method for specification and refinement
List of programming language researchers
List_of_programming_language_researchers
British computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Brian_Randell
International Series in Computer Science (2nd ed.), Prentice-Hall, 1998. Eric C.R. Hehner, a Practical Theory of Programming, 2008, 235 pages A.J.M. van Gasteren
Program_derivation
Computer scientist
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Tom_Maibaum
Andrey Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner Tony Hoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John
Michel_Sintzoff
Concept in mathematical logic
Introduction to Mathematical Logic (4 ed.). Chapman & Hall/CRC. p. 11. Hehner, Eric C. R. (2010) [1993]. A Practical Theory of Programming. Springer. p. 3
Boolean_domain
Mathematical use of "for all" and "there exists"
of quantifiers (nesting) above. Hehner, Eric C. R., 2004, Practical Theory of Programming, 2nd edition, p. 28 Hehner (2004) uses the term "quantifier"
Quantifier_(logic)
1963 American epic historical war film
World War Two. New Haven: Yale University Press. ISBN 978-0-30023-320-9. Hehner, Barbara (2004). The Tunnel King: The True Story of Wally Floody and the
The_Great_Escape_(film)
Property involving two mathematical operations
Kluwer Academic Publishers. pp. 62 and 67. ISBN 978-1-4613-0267-4. Eric C.R. Hehner (1993). A Practical Theory of Programming. Springer Science & Business
Distributive_property
ERIC HEHNER
ERIC HEHNER
Male
Scandinavian
 Scandinavian form of Old Norse EirÃkr, ERIK means "ever-ruler." Compare with another form of Erik.
Female
English
Anglicized form of Irish Gaelic Éirinn, ERIN means "Ireland."Â
Male
English
English form of German Erich, ERIC means "ever-ruler."Â
Male
English
Middle English form of Anglo-Saxon Eadric, EDRIC means "rich ruler."
Boy/Male
French
Eric 'ever kingly.' Actor Eriq La Salle.
Girl/Female
Norse
Ever or eternal ruler. Island ruler. Famous bearer: 10th-century Norwegian explorer Eric the Red.
Male
English
Middle English form of Anglo-Saxon Ælfric, ELRIC means "elf ruler."
Male
English
Variant spelling of English Eric, ARIC means "ever-ruler."
Female
English
Feminine form of English Eric, ERICA means "ever-ruler."
Male
French
French form of German Erich, EREC means "ever-ruler."
Male
English
Variant spelling of English Eric, ERICK means "ever-ruler."
Boy/Male
Norse American Scandinavian
Ruler of the people. Famous Bearer: popular blues guitarist/singer Eric Clapton.
Boy/Male
American, British, Chinese, Christian, Danish, Dutch, English, French, German, Indian, Latin, Norse, Portuguese, Scandinavian, Swedish, Swiss
Ruler; Peaceful Ruler; Ever-powerful; Forever Ruler; Fun
Boy/Male
Christian & English(British/American/Australian)
Honourable and Powerful
Male
German
German form of Old Norse EirÃkr, ERICH means "ever-ruler."
Male
English
 Variant spelling of English Eric, ERIK means "ever-ruler." Compare with another form of Erik.
Boy/Male
Norse
Ruler of the people. Famous Bearer: popular blues guitarist/singer Eric Clapton.
Boy/Male
Norse American Scandinavian
Ever or eternal ruler. Island ruler. Famous bearer: 10th-century Norwegian explorer Eric the Red.
Female
Scottish
Variant form of Scottish Gaelic Oighrig, possibly EIRIC means "new speckled one."
Female
Japanese
(çµµç†) Japanese name ERI means "blessed prize."
ERIC HEHNER
ERIC HEHNER
Boy/Male
Hindu
One possessing fame, Lord of fame
Girl/Female
American, British, Christian, English, Latin, Swedish
Youthful; Abbreviation of Jillian or Gillian; Jove's Child; Down-bearded Youth
Boy/Male
Muslim
Name of abu Jafar, A jurist
Girl/Female
Hindu, Indian, Telugu
A River
Girl/Female
Tamil
Ratnajyothi | ரதà¯à®¨à®¾à®œà¯à®¯à¯‹à®¤à¯€
Light from a jewel
Boy/Male
Indian
Doer
Girl/Female
American, Arabic, Australian, Danish, French, Indian, Japanese, Muslim, Swedish
Red Gemstone
Boy/Male
Indian
Mild, Gentle, Patient, Forbearing, Grown up
Girl/Female
Muslim
Famous, Known, Eminent
Boy/Male
Muslim
Leader, Guide, Coach
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
n.
A genus of shrubby plants, including the heaths, many of them producing beautiful flowers.
n.
A salt of uric acid; as, sodium urate; ammonium urate.
n.
Alt. of Eric
n.
A salt of lithic or uric acid; a urate.
a.
Narrated in a grand style; pertaining to or designating a kind of narrative poem, usually called an heroic poem, in which real or fictitious events, usually the achievements of some hero, are narrated in an elevated style.
a.
Uric.
n.
A Latin epic poem by Statius about Thebes in Boeotia.
n.
The ring which turns inward and condenses the flame of a lamp.
n.
An evergreen shrub of the genus Erica (E. passerina).
n.
A German epic poem on the Messiah, by Klopstock.
n.
A recompense formerly given by a murderer to the relatives of the murdered person.
a.
Pertaining to, or derived from, cyanic and uric acids.
n.
An epic poem; epic poetry.
n.
An early, and now a poetic, name of Ireland.
n.
An epic.
a.
Of or pertaining to urine; obtained from urine; as, uric acid.
n.
An epic or heroic poem. See Epic, a.
a.
Epic.
n.
The burbot of Lake Erie.