Erik Xenner - Eric Hehner

Erik C. R. Hehner
Tug'ilgan (1947-09-16) 1947 yil 16 sentyabr (73 yosh)
Ottava, Ontario, Kanada
FuqarolikKanada
Ta'limKarleton universiteti (B.Sc., 1969)
Toronto universiteti (M.Sc., 1970; Ph.D., 1974)
Ma'lumBashoratli dasturlash
Rasmiy usullar
Iqtiboslar yozuvi
ALGOL
Ilmiy martaba
MaydonlarKompyuter fanlari
Dasturlash
InstitutlarToronto universiteti
Ta'sirlanganToni Xare
Veb-saytwww.cs.toronto.edu/ ~ hehner

Erik "Rik" C. R. Hehner (16 sentyabr 1947 yilda tug'ilgan) - bu a Kanadalik kompyutershunos. U tug'ilgan Ottava. U o'qidi matematika va fizika da Karleton universiteti, a bilan tugatgan fanlar bo'yicha bakalavr (B.Sc.) 1969 yilda. U o'qigan Kompyuter fanlari da Toronto universiteti, a bilan tugatgan Ilmiy magistr (M.Sc.) 1970 yilda va a Falsafa fanlari doktori 1974 yilda doktorlik dissertatsiyasini tugatgan. Keyinchalik u fakultetga qo'shilib, 1983 yilda to'liq professor bo'lib ishlagan. Bell universiteti kafedrasida ishlagan. dasturiy ta'minot 2001 yilda, 2012 yilda nafaqaga chiqqan.[1]

Xennerning asosiy tadqiqot yo'nalishi rasmiy usullar dasturiy ta'minotni loyihalashtirish. Dastlab uning usuli deb nomlangan predikativ dasturlash Keyinchalik dasturlashning amaliy nazariyasi deb nomlangan bo'lib, ularning har birini ko'rib chiqish kerak spetsifikatsiya ikkilik bo'lish (mantiqiy ) ifodasi va har bir dasturlash konstruktsiyasi dasturiy konstruktsiyani bajarish samarasini ko'rsatadigan ikkilik ifoda bo'lishi kerak. Noziklash faqat xulosa. Bu ketma-ketlikda qo'llaniladigan eng oddiy rasmiy usul va eng umumiy, parallel, mustaqil, aloqa qiluvchi, to'xtaydigan, to'xtamaydigan, tabiiy vaqt, haqiqiy vaqt, deterministik va ehtimollik dasturlari, vaqt va makon chegaralarini o'z ichiga oladi. Ushbu g'oya boshqa kompyuter fanlari tadqiqotchilariga, shu jumladan ta'sir ko'rsatdi Toni Xare.

Xennerning boshqa tadqiqot yo'nalishlari orasida ehtimoliy dasturlash, birlashtirilgan algebra va yuqori darajadagi elektron dizayni mavjud. 1979 yilda Xenner umumlashtirishni ixtiro qildi radix komplementi deb nomlangan tirnoq belgisi, bu esa ratsional sonlar bu osonroq arifmetikaga imkon beradi va yumaloq xatolarni oldini oladi.

U rivojlanish bilan shug'ullangan xalqaro standartlar a'zosi sifatida dasturlash va informatika Xalqaro axborotni qayta ishlash federatsiyasi (IFIP) IFIP ishchi guruhi 2.1 Algoritmik tillar va hisob-kitoblar bo'yicha,[1][2] qaysi ko'rsatilgan, ni qo'llab-quvvatlaydi va qo'llab-quvvatlaydi dasturlash tillari ALGOL 60 va ALGOL 68.[3] Dasturlash metodikasi bo'yicha IFIP Ishchi guruhi 2.3.[1]

Adabiyotlar

  1. ^ a b v Hehner, Erik C. R. (3 may 2020). "Erik C. R. Hehner". Kompyuter fanlari kafedrasi. Toronto universiteti. Olingan 2020-07-27.
  2. ^ Juring, Yoxan; Meertens, Lambert; Guttmann, Valter (2016-08-17). "IFIP Ishchi guruhining profili 2.1". Fosviki. Olingan 2020-10-16.
  3. ^ Swierstra, Doaitse; Gibbonlar, Jeremi; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Fosviki. Olingan 2020-10-16.
  • Hehner, E. C. R. (1984). "Bashoratli dasturlash". ACM aloqalari. 27 (2): 134–151.
  • Hehner, E. C. R. (1990). "Dasturlashning amaliy nazariyasi". Kompyuter dasturlash fanlari. 14 (2–3): 133–158.
  • Hehner, E. C. R. (2004). "Mantiqiy algebradan yagona algebraga". Matematik razvedka. 26 (2): 3–19.
  • Hehner, E. C. R.; Xorspul, R.N.S. "Tezkor arifmetikaning ratsional sonlarini yangi ifodasi" (PDF). Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)

Tashqi havolalar