एरिक हेहनर
Eric C. R. Hehner | |
---|---|
जन्म | |
नागरिकता | Canada |
शिक्षा | Carleton University (B.Sc., 1969) University of Toronto (M.Sc., 1970; Ph.D., 1974) |
के लिए जाना जाता है | Predicative programming Formal methods Quote notation ALGOL |
Scientific career | |
खेत | Computer science Programming |
संस्थानों | University of Toronto |
Website | www |
एरिक रिक सी. आर. हेहनर (जन्म 16 सितंबर 1947) एक कनाडाई कंप्यूटर वैज्ञानिक हैं। उनका जन्म ओटावा में हुआ था. उन्होंने कार्लटन विश्वविद्यालय में गणित और भौतिकी का अध्ययन किया, 1969 में बैचलर ऑफ साइंस (बीएससी) के साथ स्नातक की उपाधि प्राप्त की। उन्होंने टोरंटो विश्वविद्यालय में कंप्यूटर विज्ञान का अध्ययन किया, 1970 में विज्ञान के मास्टर (एमएससी) के साथ स्नातक की उपाधि प्राप्त की, और 1974 में डॉक्टर ऑफ फिलॉसफी (पीएचडी) की उपाधि प्राप्त की। इसके बाद वे वहां संकाय में शामिल हो गए और 1983 में पूर्ण प्रोफेसर बन गए। वे 2001 में सॉफ्टवेयर इंजीनियरिंग में बेल यूनिवर्सिटी के अध्यक्ष बने और 2012 में सेवानिवृत्त हुए।[1] हेहनर का मुख्य अनुसंधान क्षेत्र सॉफ्टवेयर डिज़ाइन की औपचारिक विधियाँ हैं। उनकी विधि, जिसे शुरू में विधेय प्रोग्रामिंग कहा जाता था, जिसे बाद में प्रोग्रामिंग का प्रैक्टिकल सिद्धांत कहा गया, प्रत्येक औपचारिक विनिर्देश को एक बाइनरी (बूलियन डोमेन) अभिव्यक्ति के रूप में मानना है, और विधेयात्मक प्रोग्रामिंग निर्माण को प्रोग्रामिंग निर्माण को निष्पादित करने के प्रभाव को निर्दिष्ट करने वाली एक बाइनरी अभिव्यक्ति के रूप में मानना है। शोधन (कंप्यूटिंग) केवल भौतिक सशर्त है। यह सबसे सरल औपचारिक विधि है, और सबसे सामान्य है, जो अनुक्रमिक, समानांतर कंप्यूटिंग, स्टैंड-अलोन, संचार, समाप्ति, गैर-समाप्ति, प्राकृतिक-समय, वास्तविक समय कंप्यूटिंग | वास्तविक समय, नियतात्मक एल्गोरिदम और संभाव्य कार्यक्रमों पर लागू होती है, और समय और स्थान सीमा शामिल है। इस विचार ने टोनी होरे सहित अन्य कंप्यूटर विज्ञान शोधकर्ताओं को प्रभावित किया है।
हेहनर के अन्य अनुसंधान क्षेत्रों में संभाव्य प्रोग्रामिंग, एकीकृत बीजगणित और उच्च स्तरीय सर्किट डिजाइन शामिल हैं। 1979 में, हेहनर ने उद्धरण चिह्न नामक पूरक की विधि के सामान्यीकरण का आविष्कार किया, जो तर्कसंगत संख्याओं का प्रतिनिधित्व है जो आसान अंकगणित की अनुमति देता है और राउंडऑफ़ त्रुटि को रोकता है।
वह एल्गोरिदमिक भाषाओं और कैलकुली पर सूचना प्रसंस्करण के लिए अंतर्राष्ट्रीय संघ (आईएफआईपी) आईएफआईपी वर्किंग ग्रुप 2.1 के सदस्य के रूप में प्रोग्रामिंग और सूचना विज्ञान में अंतरराष्ट्रीय मानकों को विकसित करने में शामिल थे।[1][2] कौन सी विशिष्टता (तकनीकी मानक), प्रोग्रामिंग भाषाओं ALGOL 60 और ALGOL 68 का रखरखाव और समर्थन करती है।[3] और प्रोग्रामिंग पद्धति पर आईएफआईपी वर्किंग ग्रुप 2.3।[1]
संदर्भ
- ↑ 1.0 1.1 1.2 Hehner, Eric C. R. (3 May 2020). "एरिक सी. आर. हेहनर". Department of Computer Science. University of Toronto. Retrieved 2020-07-27.
- ↑ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (2016-08-17). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 2020-10-16.
- ↑ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2011-03-02). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 2020-10-16.
- Hehner, E. C. R. (1984). "Predicative Programming". Communications of the ACM. 27 (2): 134–151. doi:10.1145/69610.357988. S2CID 11577076.
- Hehner, E. C. R. (1990). "A Practical Theory of Programming". Science of Computer Programming. 14 (2–3): 133–158. doi:10.1016/0167-6423(90)90018-9.
- Hehner, E. C. R. (2004). "From Boolean Algebra to Unified Algebra". Mathematical Intelligencer. 26 (2): 3–19. doi:10.1007/BF02985647. S2CID 61678587.
- Hehner, E. C. R.; Horspool, R.N.S. "A new representation of the rational numbers for fast easy arithmetic" (PDF).
{{cite journal}}
: Cite journal requires|journal=
(help)
बाहरी संबंध
- Official website
- DBLP publications
- A Practical Theory of Programming, Professor Hehner's book, available free in PDF
- Eric Hehner archival papers held at the University of Toronto Archives and Records Management Services
- Templates that generate short descriptions
- Official website not in Wikidata
- Collapse templates
- Navigational boxes
- Navigational boxes without horizontal lists
- Sidebars with styles needing conversion
- Templates generating microformats
- Templates that are not mobile friendly
- Wikipedia metatemplates
- 1947 जन्म
- कनाडाई कंप्यूटर वैज्ञानिक
- औपचारिक तरीके लोग
- जीवित लोग
- कार्लटन विश्वविद्यालय के पूर्व छात्र
- टोरंटो विश्वविद्यालय के पूर्व छात्र
- टोरंटो विश्वविद्यालय के शैक्षणिक कर्मचारी
- All stub articles
- Canadian academic biography stubs
- Computer scientist stubs
- Canadian computer specialist stubs
- Machine Translated Page
- Created On 13/10/2023