Eryk Hehner

Eric CR Hehner
Urodzić się	( 16.09.1947 ) 16 września 1947 Ottawa , Ontario , Kanada
Obywatelstwo	Kanada
Edukacja	Carleton University ( licencjat , 1969) University of Toronto ( mgr , 1970; doktorat , 1974)
Znany z	Programowanie predykatywne Metody formalne Notacja cytatów ALGOL
Kariera naukowa
Pola	Informatyka Programowanie
Instytucje	uniwersytet w Toronto
Pod wpływem	Tony'ego Hoare'a
Strona internetowa	www .cs .toronto .edu /~hehner

Eric „ Rick ” CR Hehner (urodzony 16 września 1947) to kanadyjski informatyk . Urodził się w Ottawie . Studiował matematykę i fizykę na Uniwersytecie Carleton , uzyskując tytuł Bachelor of Science (licencjat) w 1969 r. Studiował informatykę na Uniwersytecie w Toronto , uzyskując tytuł magistra w 1970 r., a doktor filozofii (doktorat) w 1974 r. Następnie dołączył do tamtejszego wydziału, zostając profesorem zwyczajnym w 1983 r. W 2001 r. został katedrą inżynierii oprogramowania na Uniwersytecie Bell , aw 2012 przeszedł na emeryturę.

Głównym obszarem badawczym Hehnera są formalne metody projektowania oprogramowania. Jego metoda, początkowo nazywana programowaniem predykatywnym , później nazwana Praktyczną Teorią Programowania, polega na traktowaniu każdej specyfikacji jako wyrażenia binarnego ( boolowskiego ), a każdej konstrukcji programistycznej jako wyrażenia binarnego określającego efekt wykonania konstrukcji programistycznej. Udoskonalenie to tylko implikacja . Jest to najprostsza metoda formalna i najbardziej ogólna, mająca zastosowanie do programów sekwencyjnych, równoległych , autonomicznych, komunikujących się, kończących, niekończących, czasu naturalnego, czasu rzeczywistego , deterministycznych i probabilistycznych, i obejmuje ograniczenia czasowe i przestrzenne. Pomysł ten wpłynął na innych badaczy informatyki, w tym na Tony'ego Hoare'a .

Inne obszary badawcze Hehnera obejmują programowanie probabilistyczne, algebrę zunifikowaną i projektowanie obwodów wysokiego poziomu. W 1979 roku Hehner wynalazł uogólnienie dopełnienia podstawy zwane notacją cudzysłowową , które jest reprezentacją liczb wymiernych , która umożliwia łatwiejszą arytmetykę i wyklucza błąd zaokrąglenia.

Był zaangażowany w opracowywanie międzynarodowych standardów w programowaniu i informatyce, jako członek Międzynarodowej Federacji Przetwarzania Informacji (IFIP) IFIP Working Group 2.1 on Algorithmic Languages ​​and Calculi, która określiła , utrzymuje i wspiera języki programowania ALGOL 60 i ALGOL 68 . oraz Grupy Roboczej IFIP 2.3 ds. Metodologii Programowania.

•   Hehner, Rec. (1984). „Programowanie predykatywne” . Komunikaty ACM . 27 (2): 134–151. doi : 10.1145/69610.357988 . S2CID 11577076 .
• Hehner, ECR (1990). „Praktyczna teoria programowania” . Nauka o programowaniu komputerowym . 14 (2–3): 133–158. doi : 10.1016/0167-6423(90)90018-9 .
•   Hehner, Rec. (2004). „Od algebry Boole'a do algebry zunifikowanej”. Inteligencja matematyczna . 26 (2): 3–19. doi : 10.1007/BF02985647 . S2CID 61678587 .
• Hehner, ECR; Horspool, RNS „Nowa reprezentacja liczb wymiernych dla szybkiej i łatwej arytmetyki” (PDF) . {{ cite journal }} : Cite journal wymaga |journal= ( pomoc )

Linki zewnętrzne

• Oficjalna strona internetowa
• publikacje DBLP
• Praktyczna teoria programowania , książka profesora Hehnera, dostępna bezpłatnie w formacie PDF
• Dokumenty archiwalne Erica Hehnera przechowywane w University of Toronto Archives and Records Management Services