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
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
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
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
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
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
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
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
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
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
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)
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
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
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)
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
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
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
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
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
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
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
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
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
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)
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)
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
Danish computer science pioneer
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
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
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
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
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
RDBMSs the IBM Db2 Juris Hartmanis – Computational complexity theory Eric Hehner – predicative programming, formal methods, quote notation, ALGOL David
List_of_programmers
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
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
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)
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
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
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
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
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
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
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
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
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
Jeremy_Gibbons
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
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
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
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)
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
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
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
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
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
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
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
IMP_(programming_language)
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
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
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)
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
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
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
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
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
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
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
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
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
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)
scientist and organizational theorist He Jifeng – provably correct systems Eric Hehner – predicative programming, formal methods, quote notation, ALGOL Martin
List_of_computer_scientists
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
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
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
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
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
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
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
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
American 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)
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
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)
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
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
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
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
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
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
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
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
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
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
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
Female
English
Anglicized form of Irish Gaelic Éirinn, ERIN means "Ireland."Â
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
Scandinavian
 Scandinavian form of Old Norse EirÃkr, ERIK means "ever-ruler." Compare with another form of Erik.
Boy/Male
French
Eric 'ever kingly.' Actor Eriq La Salle.
Boy/Male
Norse
Ruler of the people. Famous Bearer: popular blues guitarist/singer Eric Clapton.
Male
French
French form of German Erich, EREC means "ever-ruler."
Male
German
German form of Old Norse EirÃkr, ERICH means "ever-ruler."
Female
Scottish
Variant form of Scottish Gaelic Oighrig, possibly EIRIC means "new speckled one."
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
Female
Japanese
(çµµç†) Japanese name ERI means "blessed prize."
Male
English
Variant spelling of English Eric, ARIC 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.
Male
English
 Variant spelling of English Eric, ERIK means "ever-ruler." Compare with another form of Erik.
Boy/Male
Christian & English(British/American/Australian)
Honourable and Powerful
Male
English
Middle English form of Anglo-Saxon Eadric, EDRIC means "rich ruler."
Male
English
English form of German Erich, ERIC means "ever-ruler."Â
Female
English
Feminine form of English Eric, ERICA means "ever-ruler."
Boy/Male
Norse American Scandinavian
Ever or eternal ruler. Island ruler. Famous bearer: 10th-century Norwegian explorer Eric the Red.
ERIC HEHNER
ERIC HEHNER
Boy/Male
Hindu, Indian
Partner
Girl/Female
Hebrew
Grace.
Boy/Male
British, Celtic, English
Keel Friend; Keel; Standing in for Ship; A Place Name Alluding to a River; From the Narrow River
Boy/Male
Hindu
Quiet, Tranquillity, A counseller, Residing in peace
Boy/Male
Sikh
One whose life is full of elixir of naam, Defender, Protector
Girl/Female
Bengali, Hindu, Indian, Kannada, Malayalam, Marathi, Telugu
Goddess Durga
Girl/Female
Hindu, Indian
Wife of Lord Krishna; Goddess Parvati
Boy/Male
Hindu, Indian, Sanskrit
Possesses Great Might
Boy/Male
Arabic, Muslim
Accept the Truth
Boy/Male
Indian, Punjabi, Sikh
Viewing Happiness
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
n.
A salt of uric acid; as, sodium urate; ammonium urate.
a.
Uric.
a.
Epic.
n.
An early, and now a poetic, name of Ireland.
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.
Pertaining to, or derived from, cyanic and uric acids.
n.
The burbot of Lake Erie.
n.
An epic.
n.
The ring which turns inward and condenses the flame of a lamp.
a.
Of or pertaining to urine; obtained from urine; as, uric acid.
n.
A German epic poem on the Messiah, by Klopstock.
n.
Alt. of Eric
n.
A genus of shrubby plants, including the heaths, many of them producing beautiful flowers.
n.
A salt of lithic or uric acid; a urate.
n.
An epic poem; epic poetry.
n.
A Latin epic poem by Statius about Thebes in Boeotia.
n.
A recompense formerly given by a murderer to the relatives of the murdered person.
n.
An evergreen shrub of the genus Erica (E. passerina).
n.
An epic or heroic poem. See Epic, a.