AI & ChatGPT searches , social queriess 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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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 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
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
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
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
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
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
RDBMSs the IBM Db2 Juris Hartmanis – Computational complexity theory Eric Hehner – predicative programming, formal methods, quote notation, ALGOL David
List_of_programmers
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 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
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
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
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
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
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
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
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 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
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)
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
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
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
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
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 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
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
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)
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
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
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)
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
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
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
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
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
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
Barry_J._Mailloux
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
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
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)
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_68C
scientist and organizational theorist He Jifeng – provably correct systems Eric Hehner – predicative programming, formal methods, quote notation, ALGOL Martin
List_of_computer_scientists
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)
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
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
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
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
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
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
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
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
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
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 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
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
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 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
Male
English
 Variant spelling of English Eric, ERIK means "ever-ruler." Compare with another form of Erik.
Male
English
Variant spelling of English Eric, ARIC means "ever-ruler."
Female
Scottish
Variant form of Scottish Gaelic Oighrig, possibly EIRIC means "new speckled one."
Male
English
English form of German Erich, ERIC means "ever-ruler."Â
Male
English
Variant spelling of English Eric, ERICK means "ever-ruler."
Female
Japanese
(çµµç†) Japanese name ERI means "blessed prize."
Female
English
Anglicized form of Irish Gaelic Éirinn, ERIN means "Ireland."Â
Boy/Male
Norse American Scandinavian
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.
Male
Scandinavian
 Scandinavian form of Old Norse EirÃkr, ERIK means "ever-ruler." Compare with another form of Erik.
Male
German
German form of Old Norse EirÃkr, ERICH means "ever-ruler."
Female
English
Feminine form of English Eric, ERICA means "ever-ruler."
Boy/Male
Christian & English(British/American/Australian)
Honourable and Powerful
Boy/Male
Norse
Ruler of the people. Famous Bearer: popular blues guitarist/singer Eric Clapton.
Boy/Male
French
Eric 'ever kingly.' Actor Eriq La Salle.
Male
English
Middle English form of Anglo-Saxon Eadric, EDRIC means "rich ruler."
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
Girl/Female
Norse
Ever or eternal ruler. Island ruler. Famous bearer: 10th-century Norwegian explorer Eric the Red.
Male
French
French form of German Erich, EREC means "ever-ruler."
Male
English
Middle English form of Anglo-Saxon Ælfric, ELRIC means "elf ruler."
ERIC HEHNER
ERIC HEHNER
Female
Hebrew
(רָחֵל) Hebrew name RACHEL means "ewe." In the bible, this is the name of Jacob's favorite wife, and mother of Joseph and Benjamin. Compare with other forms of Rachel.
Male
Finnish
Finnish form of Greek AarÅn (Hebrew Aharon), AARONI means "light-bringer."Â
Girl/Female
German English Teutonic
Protector.
Girl/Female
Hindu
Treasure or wealth
Boy/Male
Gujarati, Hindu, Indian
Deeply
Boy/Male
Irish
“â€without enemy.â€â€ The name of early kings, legendary heroes and saints, Diarmuid was the lover of Grainne and the most beloved of that warrior band, the Fianna (read the legend). Grainne, as the daughter of Cormac Mac Airt, the High King of Tara, was betrothed to a much older man, the legendary Fionn Mac Cool (read the legend). When Grainne saw Fionn at the wedding banquet she realised he “â€was not for herâ€â€ and put a a “â€geis,â€â€ a spell, on his nephew, Diarmuid, to run away with her. For sixteen years the lovers were forced to roam the countryside, all the time knowing that they were being constantly pursued by the furious Fionn. Each night they made a fresh bed in a sheltered spot and legend has it that these beds can still be seen today in many remote places. (Read the legend of Diarmuid and Grainne).
Boy/Male
Hindu
A king from the epic mahabharata
Female
English
English name derived from the name of a district in London, CHELSEA means "landing place" or "landing port."
Boy/Male
Hindu, Indian
Beach
Girl/Female
Muslim/Islamic
Plant of dates soft, mild, clemency
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
n.
A recompense formerly given by a murderer to the relatives of the murdered person.
n.
An epic.
n.
The burbot of Lake Erie.
n.
A salt of lithic or uric acid; a urate.
a.
Epic.
a.
Pertaining to, or derived from, cyanic and uric acids.
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.
n.
An early, and now a poetic, name of Ireland.
n.
An evergreen shrub of the genus Erica (E. passerina).
n.
A German epic poem on the Messiah, by Klopstock.
n.
A Latin epic poem by Statius about Thebes in Boeotia.
a.
Uric.
n.
Alt. of Eric
a.
Of or pertaining to urine; obtained from urine; as, uric acid.
n.
An epic or heroic poem. See Epic, a.
n.
A genus of shrubby plants, including the heaths, many of them producing beautiful flowers.
n.
The ring which turns inward and condenses the flame of a lamp.
n.
A salt of uric acid; as, sodium urate; ammonium urate.
n.
An epic poem; epic poetry.