Ho Memoriam, Tony Hoare

In Memoriam: Sir Charles Antony Richard Hoare (Tony Hoare)

Lefatše la khomphutha le lahlehetsoe ke e mong oa baqapi ba meralo ea bona. Monghali Charles Antony Richard Hoare, ea tsejoang ke bohle e le Tony Hoare, o hlokahetse, a siea lefa le lohelletsoeng ka har'a lesela la software e 'ngoe le e 'ngoe eo re e sebelisang kajeno. Bakeng sa rona ba Mewayz, re haha ​​​​modular tsamaiso ea khoebo, mosebetsi oa hae hase feela histori ea thuto; ke motheo oa motheo oa moralo o tšepahalang le o sebetsang oa sistimi. Ho hlokahala ha hae ho re memela ho nahana ka tšusumetso e tebileng ea tlatsetso ea hae, ho tloha ho mahlale a matle a algorithm ea mofuta o potlakileng ho isa ho melao-motheo ea ho nepahala ha software e tataisang nts'etsopele ea sejoale-joale.

Moqapi oa Bokhabane: Quicksort le Null Reference

Lebitso la Tony Hoare le tšoana le litlatsetso tse peli tse kholo, empa li fapane ka mokhoa o makatsang. Ka 1960, o ile a qapa algorithm ea quicksort, mosebetsi o tsoileng matsoho o ntseng o le mong oa mekhoa e ithutoang le e sebelisoang haholo ea ho hlopha. Bokhabane ba eona bo holim'a mokhoa oa eona oa "arola le ho hlola", mohopolo o amanang haholo le filosofi ea Mewayz ea modular. Re theha sethala sa rona ka ho qhekella mekhoa e rarahaneng ea khoebo hore e be limmojule tse laolehang, tse sebelisanang, joalo ka ha quicksort e hlakola bothata ho bo rarolla ka nepo.

Motheo oa ho Nepahalla: Hoare Logic

Mohlomong tlatsetso e kholo ea Hoare e bile nts'etsopele ea Hoare Logic ka 1969. Sistimi ena e hlophisitsoeng e fana ka moralo oa lipalo bakeng sa ho paka ho nepahala ha mananeo a komporo. E sebelisa makhetlo a mararo a sebopeho `{P} C {Q}`, moo `P` e leng precondition, `C` ke taelo, `me `Q` ke postcondition. Sena se bolela hore haeba precondition P e le 'nete pele taelo ea C e sebetsa, postcondition Q e netefalitsoe hore e tla ba 'nete ka mor'a moo.

Leha ho sebelisa netefatso e felletseng hangata ho sa sebetse libakeng tsa khoebo tse potlakileng, melaoana ea Hoare Logic e bohlokoa haholo. Li re ruta ho nahana ka botebo ka lintho tse kenang, tse hlahisoang, le litlamorao tsa karolo e 'ngoe le e 'ngoe ea software. Ho Mewayz, sena se fetolela ho rala limmojule tsa rona ka likonteraka tse hlakileng le boits'oaro bo hlalositsoeng hantle, ho netefatsa hore ha o hokahanya likarolo tse fapaneng tsa khoebo ea hau ea OS, li sebetsa 'moho ka mokhoa o hlakileng le ka ts'epo.

Lithuto bakeng sa Software ea Sejoale-joale le Tsamaiso ea Khoebo

Mosebetsi oa Tony Hoare o fana ka lithuto tse tšoarellang bakeng sa baetsi ba mananeo a kajeno le bahahi ba sethala. Mosebetsi oa hae o ne o buella ho hlaka, bonolo, le ho phehella boleng bo sa feleng. Mehleng ea li-software tse ngata tse rarahaneng, melao-motheo ena e bohlokoa ho feta leha e le neng pele. Li re hopotsa hore ka tlas'a li-interfaces le li-API, boleng ba mantlha ba sistimi bo ipapisitse le ho utloahala ha eona.

Mewayz, re ikitlaelletsa ho kenyelletsa lithuto tsena ka ho theha tsamaiso ea khoebo e matla le e ka tšeptjoang. Re tsepamisitse maikutlo ho aheng motheo o tiileng e le hore basebelisi ba rona ba tsebe ho iketsetsa le ho kopanya tšebetso ea bona ntle le ho tšoenyeha ka ho hloka botsitso ho teng. Pono ea Hoare ea software e nepahetseng ka mokhoa o hlakileng e re khothaletsa ho beha matla pele mojulung o mong le o mong oo re o lokollang.

Litlatsetso tsa bohlokoa tsa Tony Hoare li kenyelletsa:

• Quicksort Algorithm (1960): Algorithm e sebetsang hantle haholo ea ho hlopha e ipapisitseng le paradigm ea ho arola le ho hlola.
• Hoare Logic (1969): Mokhoa o hlophisitsoeng oa ho beha mabaka mabapi le ho nepahala ha mananeo a komporo.
• Mekhoa ea ho Buisana ka Tatelano (CSP): Moetso oa motheo bakeng sa mananeo a ts'oanang, a susumetsang lipuo tse kang Go.
• The Null Reference (1965): Ke tšibollo e bileng le tšusumetso, le hoja hamorao e ile ea ikoahlaea, e ileng ea ama lilemo tse mashome tsa moralo oa puo ea mananeo.

"Ho na le litsela tse peli tsa ho etsa moralo oa software: Tsela e 'ngoe ke ho etsa hore e be bonolo hoo ho hlakileng hore ha ho na mefokolo,' me tsela e 'ngoe ke ho etsa hore e be thata hoo ho se nang mefokolo e totobetseng. Mokhoa oa pele o thata haholo. "

Lefa le sa Feleng

Monghadi Tony Hoare e ne e se setsebi sa dikhomphutha feela; e ne e le motho ea bonang lipono ea faneng ka lisebelisoa le mohopolo oa ho haha ​​lefatše la digital. Maikutlo a hae mabapi le bonolo, ho nepahala, le concurrency a ntse a tsoela pele ho khothatsa meloko ea baenjiniere. Ha re ntse re tsoela pele ho ntlafatsa sethala sa Mewayz, re etsa joalo re eme mahetleng a senatla sena, re ikitlaelletsa ho hlompha lefa la hae ka ho theha software ea khoebo e sa sebetseng feela empa e utloahala hantle. O tla hloloheloa haholo, empa melao-motheo ea hae e tla tsoela pele ho tataisa bokamoso ba k'homphieutha.

Lipotso Tse Botsoang Hangata

In Memoriam: Sir Charles Antony Richard Hoare (Tony Hoare)

Lefatše la khomphutha le lahlehetsoe ke e mong oa baqapi ba meralo ea bona. Monghali Charles Antony Richard Hoare, ea tsejoang ke bohle e le Tony Hoare, o hlokahetse, a siea lefa le lohelletsoeng ka har'a lesela la software e 'ngoe le e 'ngoe eo re e sebelisang kajeno. Bakeng sa rona ba Mewayz, re haha ​​​​modular tsamaiso ea khoebo, mosebetsi oa hae hase feela histori ea thuto; ke motheo oa motheo oa moralo o tšepahalang le o sebetsang oa sistimi. Ho hlokahala ha hae ho re memela ho nahana ka tšusumetso e tebileng ea tlatsetso ea hae, ho tloha ho mahlale a matle a algorithm ea mofuta o potlakileng ho isa ho melao-motheo ea ho nepahala ha software e tataisang nts'etsopele ea sejoale-joale.

Moqapi oa Bokhabane: Quicksort le Null Reference

Lebitso la Tony Hoare le tšoana le litlatsetso tse peli tse kholo, empa li fapane ka mokhoa o makatsang. Ka 1960, o ile a qapa algorithm ea quicksort, mosebetsi o tsoileng matsoho o ntseng o le mong oa mekhoa e ithutoang le e sebelisoang haholo ea ho hlopha. Bokhabane ba eona bo holim'a mokhoa oa eona oa "arola le ho hlola", mohopolo o amanang haholo le filosofi ea Mewayz ea modular. Re theha sethala sa rona ka ho qhekella mekhoa e rarahaneng ea khoebo hore e be limmojule tse laolehang, tse sebelisanang, joalo ka ha quicksort e hlakola bothata ho bo rarolla ka nepo.

Motheo oa ho Nepahalla: Hoare Logic

Mohlomong tlatsetso e kholo ea Hoare e bile nts'etsopele ea Hoare Logic ka 1969. Sistimi ena e hlophisitsoeng e fana ka moralo oa lipalo bakeng sa ho paka ho nepahala ha mananeo a komporo. E sebelisa makhetlo a mararo a sebopeho `{P} C {Q}`, moo `P` e leng precondition, `C` ke taelo, `me `Q` ke postcondition. Sena se bolela hore haeba precondition P e le 'nete pele taelo ea C e sebetsa, postcondition Q e netefalitsoe hore e tla ba 'nete ka mor'a moo.

Lithuto tsa Lisebelisoa tsa Sejoale-joale le Litsamaiso tsa Khoebo

Mosebetsi oa Tony Hoare o fana ka lithuto tse tšoarellang bakeng sa baetsi ba mananeo a kajeno le bahahi ba sethala. Mosebetsi oa hae o ne o buella ho hlaka, bonolo, le ho phehella boleng bo sa feleng. Mehleng ea li-software tse ngata tse rarahaneng, melao-motheo ena e bohlokoa ho feta leha e le neng pele. Li re hopotsa hore ka tlas'a li-interfaces le li-API, boleng ba mantlha ba sistimi bo ipapisitse le ho utloahala ha eona.

Lefa le sa Feleng

Monghadi Tony Hoare e ne e se setsebi sa dikhomphutha feela; e ne e le motho ea bonang lipono ea faneng ka lisebelisoa le mohopolo oa ho haha ​​lefatše la digital. Maikutlo a hae mabapi le bonolo, ho nepahala, le concurrency a ntse a tsoela pele ho khothatsa meloko ea baenjiniere. Ha re ntse re tsoela pele ho ntlafatsa sethala sa Mewayz, re etsa joalo re eme mahetleng a senatla sena, re ikitlaelletsa ho hlompha lefa la hae ka ho theha software ea khoebo e sa sebetseng feela empa e utloahala hantle. O tla hloloheloa haholo, empa melao-motheo ea hae e tla tsoela pele ho tataisa bokamoso ba k'homphieutha.