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
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
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
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
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)
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
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
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
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 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
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
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
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
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
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
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
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
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
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)
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
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
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 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
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
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
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
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
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
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
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
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
RDBMSs the IBM Db2 Juris Hartmanis – Computational complexity theory Eric Hehner – predicative programming, formal methods, quote notation, ALGOL David
List_of_programmers
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
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
S3_(programming_language)
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
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 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
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
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
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
ALGOL_N
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)
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
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
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)
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
Eiiti_Wada
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
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
IMP_(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
Klaus_Samelson
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
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
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
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
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)
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
Elliott_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
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
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
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
scientist and organizational theorist He Jifeng – provably correct systems Eric Hehner – predicative programming, formal methods, quote notation, ALGOL Martin
List_of_computer_scientists
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
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 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
ELLA_(programming_language)
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
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
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
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 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 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
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
ALGOL_68RS
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)
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 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
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
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
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
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
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
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
Norse
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
Male
English
Middle English form of Anglo-Saxon Ælfric, ELRIC means "elf ruler."
Male
English
Middle English form of Anglo-Saxon Eadric, EDRIC means "rich ruler."
Boy/Male
Christian & English(British/American/Australian)
Honourable and Powerful
Boy/Male
Norse American Scandinavian
Ruler of the people. Famous Bearer: popular blues guitarist/singer Eric Clapton.
Female
English
Anglicized form of Irish Gaelic Éirinn, ERIN means "Ireland."Â
Boy/Male
French
Eric 'ever kingly.' Actor Eriq La Salle.
Male
English
Variant spelling of English Eric, ERICK means "ever-ruler."
Male
English
Variant spelling of English Eric, ARIC means "ever-ruler."
Male
French
French form of German Erich, EREC means "ever-ruler."
Male
English
English form of German Erich, ERIC means "ever-ruler."Â
Female
Japanese
(çµµç†) Japanese name ERI means "blessed prize."
Boy/Male
Norse American Scandinavian
Ever or eternal ruler. Island ruler. Famous bearer: 10th-century Norwegian explorer Eric the Red.
Male
English
 Variant spelling of English Eric, ERIK means "ever-ruler." Compare with another form of Erik.
Female
Scottish
Variant form of Scottish Gaelic Oighrig, possibly EIRIC means "new speckled one."
Girl/Female
Norse
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.
ERIC HEHNER
ERIC HEHNER
Boy/Male
Tamil
Abhyagni | அபà¯à®¯à®¾à®•à¯à®¨à¯€
Towards the fire, A son of aitasa
Male
French
French form of Greek Andreas, ANDRIEN means "man; warrior."
Boy/Male
Hindu
Kushwah
Boy/Male
Tamil
Nrityapriya | நà¯à®°à¯€à®¤à¯à®¯à®ªà¯à®°à¯€à®¯à®¾
Lover of dance
Girl/Female
Hindu
Holy river
Girl/Female
Danish, Finnish, French, German, Latin, Polish, Swedish
Tiny and Feminine; Carol; Free Man; Feminine Diminutive Form of Charles; Little and Womanly; Maiden; Virgin; Womenly; Tiny and Womanly
Girl/Female
Indian, Kannada
A King
Female
English
Swiss pet form of Old High German Adalheid, HEIDI means "noble sort."Â
Boy/Male
Czechoslovakian, Hindu, Indian
Instrument
Boy/Male
Australian, French, German, Indonesian, Swedish
Prince; Great; Venerable; Holy
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
ERIC HEHNER
n.
An early, and now a poetic, name of Ireland.
n.
An epic or heroic poem. See Epic, a.
a.
Pertaining to, or derived from, cyanic and uric acids.
n.
An epic poem; epic poetry.
n.
Alt. of Eric
n.
The ring which turns inward and condenses the flame of a lamp.
n.
A genus of shrubby plants, including the heaths, many of them producing beautiful flowers.
n.
A Latin epic poem by Statius about Thebes in Boeotia.
a.
Of or pertaining to urine; obtained from urine; as, uric acid.
n.
The burbot of Lake Erie.
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.
A recompense formerly given by a murderer to the relatives of the murdered person.
n.
An epic.
n.
A salt of lithic or uric acid; a urate.
n.
An evergreen shrub of the genus Erica (E. passerina).
n.
A salt of uric acid; as, sodium urate; ammonium urate.
n.
A German epic poem on the Messiah, by Klopstock.
a.
Uric.
a.
Epic.