Le Memoriam me la, Tony Hoare ye ŋlɔe

Le Ŋkuɖodzia me: Aƒetɔ Charles Antony Richard Hoare (Tony Hoare)

Kɔmpiuta ƒe xexeame bu eƒe xɔtuɖaŋunyala siwo ɖoe anyi la dometɔ ɖeka. Aƒetɔ Charles Antony Richard Hoare, si amewo katã yɔna be Tony Hoare, ku, eye wògblẽ domenyinu aɖe si wolɔ̃ ŋutɔŋutɔ ɖe kɔmpiutadziɖoɖo ɖesiaɖe si míezãna egbea ƒe avɔ me la ɖi. Le mí amesiwo le Mewayz, siwo le asitsadɔwɔɖoɖo si wowɔna le ɖoɖo nu tum la, menye suku ŋutinya dzro aɖe koe eƒe dɔa nye o; eyae nye ɖoɖo si ŋu kakaɖedzi le eye wòwɔa dɔ nyuie ƒe gɔmeɖoanyi ŋutɔŋutɔ. Eƒe ku kpe mí be míade ŋugble le ŋusẽ gã si eƒe nudzɔdzɔwo kpɔ ɖe amewo dzi ŋu, tso susuŋudɔwɔwɔ dzeani si le quicksort algorithm me dzi va ɖo gɔmeɖose vevi siwo nye software correctness siwo fiaa mɔ egbegbe ŋgɔyiyi.

Atsyɔ̃ɖoɖo ƒe Xɔtuɖaŋunyala: Quicksort kple Null Reference

Tony Hoare ƒe ŋkɔ sɔ kple nudzɔdzɔ ŋkuɖodzinu eve, gake woto vovo le mɔ wɔnuku aɖe nu. Le ƒe 1960 me la, eto quicksort algorithm vɛ, si nye aɖaŋudɔ si wowɔ nyuie si gakpɔtɔ nye mɔnu siwo ŋu wosrɔ̃ nu tsoe wu eye wozãa wo wu la dometɔ ɖeka. Eƒe atsyɔ̃ɖoɖo le eƒe "mamã kple aʋadziɖuɖu" mɔnu, nukpɔsusu si sɔ kple Mewayz ƒe modular xexemenunya vevie. Míetua míaƒe mɔ̃a to asitsatsa ƒe ɖoɖo sesẽwo mama ɖe modules siwo dzi woate ŋu akpɔ, siwo woate ŋu awɔ dɔ aduadu me, abe alesi quicksort gblẽa kuxi aɖe me be woakpɔ egbɔ nyuie ene.

Le go bubu me la, Hoare hã to nukpɔsusu si nye null reference vɛ xɔŋkɔe le ƒe 1965 me, si wòyɔ emegbe be yeƒe "dɔlar biliɔn geɖe ƒe vodada." Nutovɛ sia si woɖo be wòatsi tre ɖi na asixɔxɔ aɖeke ƒe anyimanɔmanɔ la va zu vodada kple vodadawo tsoƒe vevitɔ le manyamanya me le dɔwɔwɔ me ƒe bla nanewo. Ke hã, "vodada" sia gɔ̃ hã nye nusɔsrɔ̃ tso ɖokuibɔbɔ kple aɖaŋuwɔwɔ sesẽ ƒe vevienyenye ŋu—nusɔsrɔ̃ si naa nyanya alesi míetua ɖoɖo siwo te ŋu nɔa te ɖe nɔnɔme sesẽwo nu le Mewayz, afisi nyatakakawo ƒe ɖoɖo siwo me kɔ kple vodadawo gbɔ kpɔkpɔ le vevie le.

Nuteƒewɔwɔ ƒe Gɔmeɖoanyi: Hoare Logic

Ðewohĩ nusi Hoare wɔ vevie wue nye Hoare Logic ƒe toto vɛ le ƒe 1969. Ðoɖo sia si wowɔ le se nu la naa akɔntabubu ƒe ɖoɖo aɖe si dzi woato aɖo kpe kɔmpiutadziɖoɖowo ƒe nyateƒenyenye dzi. Ezãa etɔ̃ siwo ƒe nɔnɔme nye `{P} C {Q}`, afisi `P` nye nɔnɔme si do ŋgɔ, `C` nye sedede, eye `Q` nye nɔnɔme megbe. Esia fia be ne nɔnɔme si do ŋgɔ P nye nyateƒe hafi sedede C nawɔ dɔ la, ekema kakaɖedzi le nɔnɔme megbe Q ŋu be enye nyateƒe le ema megbe.

Togbɔ be zi geɖe la, kpeɖodzi blibo si wowɔ le se nu zazã mewɔa dɔ le asitsanyawo me o hã la, Hoare Logic ƒe gɔmeɖosewo xɔ asi ŋutɔ. Wofiaa mí be míabu tame tsitotsito le kɔmpiutadziɖoɖo ƒe akpa ɖesiaɖe ƒe nusiwo wotsɔ dea eme, nusiwo dona, kple nusiwo dona tso eme ŋu. Le Mewayz la, esia gɔmeɖea míaƒe modules ƒe ɖoɖowɔwɔ kple nubabla siwo me kɔ kple nuwɔna siwo me kɔ nyuie, si kpɔa egbɔ be ne èdo ka kple wò dɔwɔƒe ƒe OS ƒe akpa vovovowo la, wowɔa dɔ ɖekae le mɔ si woate ŋu agblɔ ɖi nu eye kakaɖedzi le eŋu.

Nusɔsrɔ̃wo na Egbegbe Kɔmpiutadziɖoɖowo kple Asitsatsa ƒe Dɔwɔɖoɖowo

Tony Hoare ƒe dɔwɔwɔ naa nusɔsrɔ̃ siwo anɔ anyi ɖaa na egbegbe kɔmpiuta dɔwɔɖoɖowo wɔlawo kple mɔ̃dzikpɔlawo. Eƒe dɔa ʋli nya me kɔ, nu bɔbɔe, kple nyonyome yometiti madzudzɔmadzudzɔe ta. Le ɣeyiɣi si me kɔmpiutadziɖoɖowo ƒe ƒuƒoƒo siwo le sesẽm ɖe edzi me la, gɔmeɖose siawo le vevie wu tsã. Woɖo ŋku edzi na mí be le zãla ƒe ŋgɔdonyawo kple APIwo te la, ɖoɖo aɖe ƒe nyonyome vevitɔ nɔ te ɖe eƒe gbeɖiɖi si me susu le dzi.

Le Mewayz la, míedzea agbagba be míatsɔ nusɔsrɔ̃ siawo ade ŋutilã me to asitsatsa ƒe OS si ŋu ŋusẽ le eye kakaɖedzi le eŋu siaa wɔwɔ me. Míetsɔa míaƒe susu ɖoa gɔmeɖoanyi sesẽ tutu ŋu ale be míaƒe zãlawo nate ŋu awɔ woƒe dɔwɔwɔwo le wo ɖokui si ahawɔ wo ɖekae kakaɖedzitɔe evɔ womatsi dzi ɖe malikenyenye si le ete ŋu o. Hoare ƒe ŋutega le kɔmpiuta dɔwɔɖoɖo siwo ŋu kpeɖodzi le be esɔ ŋu ʋãa mí be míatsɔ ŋusẽ aɖo nɔƒe gbãtɔ le module ɖesiaɖe si míeɖe ɖe go me.

Tony Hoare ƒe nudzɔdzɔ veviwo dometɔ aɖewoe nye:

ƒe nyawo
• Quicksort Algorithm (1960): Nuwo ƒoƒo ƒu ƒe mɔnu si wɔa dɔ nyuie ŋutɔ si wotu ɖe mama-kple-aʋadziɖuɖu ƒe kpɔɖeŋu dzi.
• Hoare Logic (1969): Ðoɖo si wowɔ le se nu hena tamebubu le kɔmpiutadziɖoɖowo ƒe nyonyo ŋu.
• Kadodo ƒe Dɔwɔna siwo kplɔ wo nɔewo ɖo (CSP): Gɔmeɖoanyi ƒe kpɔɖeŋu na ɖoɖowɔɖi siwo wowɔna le ɣeyiɣi ɖeka me, si kpɔa ŋusẽ ɖe gbegbɔgblɔwo abe Go ene dzi.
• The Null Reference (1965): Nutovɛ si kpɔ ŋusẽ ɖe amewo dzi, togbɔ be ete ɖe edzi emegbe hã, si trɔ asi le ɖoɖowɔɖi ƒe gbegbɔgblɔ ƒe ɖoɖowɔwɔ ŋu ƒe bla nanewo.

ƒe nyawo "Mɔ eve li siwo dzi woato awɔ kɔmpiutadziɖoɖo ƒe wɔwɔme: Mɔ ɖekae nye be woana wòanɔ bɔbɔe ale gbegbe be edze ƒã be gbɔdzɔgbɔdzɔ aɖeke mele eme o, eye mɔ bubue nye be woana wòasesẽ ale gbegbe be gbɔdzɔgbɔdzɔ siwo dze ƒã aɖeke manɔ eme o. Mɔnu gbãtɔa sesẽ wu sã."

Domenyinu si Li Tegbee

Menye kɔmpiutaŋutinunyala koe Aƒetɔ Tony Hoare nye o; enye ŋutegakpɔla si na dɔwɔnuwo kple susu si woatsɔ atu dijitaal xexeame. Eƒe susu siwo ku ɖe nusiwo le bɔbɔe, nusiwo sɔ, kple nusiwo sɔ le ɣeyiɣi ɖeka me ŋu yi edzi le dzo dam na mɔ̃ɖaŋudɔwɔlawo ƒe dzidzimewo. Esi míeyi edzi le Mewayz ƒe nuƒolanɔƒea tum ɖo la, míewɔa esia le tsitre ɖe ame dzɔtsu sia ƒe abɔta, henɔa agbagba dzem be míade bubu eƒe domenyinu ŋu to asitsatsa ŋuti kɔmpiutadziɖoɖo siwo menye ɖeko wowɔa dɔ ko o ke wowɔa dɔ nyuie le gɔmedzedzea me la toto vɛ me. Woasusui vevie, gake eƒe gɔmeɖosewo ayi edzi anɔ mɔ fiam kɔmpiuta zazã ƒe etsɔme.

Nyabiase Siwo Wobiana Enuenu

Le Ŋkuɖodzia me: Aƒetɔ Charles Antony Richard Hoare (Tony Hoare)

Kɔmpiuta ƒe xexeame bu eƒe xɔtuɖaŋunyala siwo ɖoe anyi la dometɔ ɖeka. Aƒetɔ Charles Antony Richard Hoare, si amewo katã yɔna be Tony Hoare, ku, eye wògblẽ domenyinu aɖe si wolɔ̃ ŋutɔŋutɔ ɖe kɔmpiutadziɖoɖo ɖesiaɖe si míezãna egbea ƒe avɔ me la ɖi. Le mí amesiwo le Mewayz, siwo le asitsadɔwɔɖoɖo si wowɔna le ɖoɖo nu tum la, menye suku ŋutinya dzro aɖe koe eƒe dɔa nye o; eyae nye ɖoɖo si ŋu kakaɖedzi le eye wòwɔa dɔ nyuie ƒe gɔmeɖoanyi ŋutɔŋutɔ. Eƒe ku kpe mí be míade ŋugble le ŋusẽ gã si eƒe nudzɔdzɔwo kpɔ ɖe amewo dzi ŋu, tso susuŋudɔwɔwɔ dzeani si le quicksort algorithm me dzi va ɖo gɔmeɖose vevi siwo nye software correctness siwo fiaa mɔ egbegbe ŋgɔyiyi.

Atsyɔ̃ɖoɖo ƒe Xɔtuɖaŋunyala: Quicksort kple Null Reference

Tony Hoare ƒe ŋkɔ sɔ kple nudzɔdzɔ ŋkuɖodzinu eve, gake woto vovo le mɔ wɔnuku aɖe nu. Le ƒe 1960 me la, eto quicksort algorithm vɛ, si nye aɖaŋudɔ si wowɔ nyuie si gakpɔtɔ nye mɔnu siwo ŋu wosrɔ̃ nu tsoe wu eye wozãa wo wu la dometɔ ɖeka. Eƒe atsyɔ̃ɖoɖo le eƒe "mamã kple aʋadziɖuɖu" mɔnu, nukpɔsusu si sɔ kple Mewayz ƒe modular xexemenunya vevie. Míetua míaƒe mɔ̃a to asitsatsa ƒe ɖoɖo sesẽwo mama ɖe modules siwo dzi woate ŋu akpɔ, siwo woate ŋu awɔ dɔ aduadu me, abe alesi quicksort gblẽa kuxi aɖe me be woakpɔ egbɔ nyuie ene.

Nyateƒewɔwɔ ƒe Gɔmeɖoanyi: Hoare Logic

Ðewohĩ nusi Hoare wɔ vevie wue nye Hoare Logic ƒe toto vɛ le ƒe 1969. Ðoɖo sia si wowɔ le se nu la naa akɔntabubu ƒe ɖoɖo aɖe si dzi woato aɖo kpe kɔmpiutadziɖoɖowo ƒe nyateƒenyenye dzi. Ezãa etɔ̃ siwo ƒe nɔnɔme nye `{P} C {Q}`, afisi `P` nye nɔnɔme si do ŋgɔ, `C` nye sedede, eye `Q` nye nɔnɔme megbe. Esia fia be ne nɔnɔme si do ŋgɔ P nye nyateƒe hafi sedede C nawɔ dɔ la, ekema kakaɖedzi le nɔnɔme megbe Q ŋu be enye nyateƒe le ema megbe.

Nusɔsrɔ̃wo na Egbegbe Kɔmpiutadziɖoɖowo kple Asitsatsa ƒe Dɔwɔɖoɖowo

Tony Hoare ƒe dɔwɔwɔ naa nusɔsrɔ̃ siwo anɔ anyi ɖaa na egbegbe kɔmpiuta dɔwɔɖoɖowo wɔlawo kple mɔ̃dzikpɔlawo. Eƒe dɔa ʋli nya me kɔ, nu bɔbɔe, kple nyonyome yometiti madzudzɔmadzudzɔe ta. Le ɣeyiɣi si me kɔmpiutadziɖoɖowo ƒe ƒuƒoƒo siwo le sesẽm ɖe edzi me la, gɔmeɖose siawo le vevie wu tsã. Woɖo ŋku edzi na mí be le zãla ƒe ŋgɔdonyawo kple APIwo te la, ɖoɖo aɖe ƒe nyonyome vevitɔ nɔ te ɖe eƒe gbeɖiɖi si me susu le dzi.

Domenyinu si anɔ anyi ɖaa

Menye kɔmpiutaŋutinunyala koe Aƒetɔ Tony Hoare nye o; enye ŋutegakpɔla si na dɔwɔnuwo kple susu si woatsɔ atu dijitaal xexeame. Eƒe susu siwo ku ɖe nusiwo le bɔbɔe, nusiwo sɔ, kple nusiwo sɔ le ɣeyiɣi ɖeka me ŋu yi edzi le dzo dam na mɔ̃ɖaŋudɔwɔlawo ƒe dzidzimewo. Esi míeyi edzi le Mewayz ƒe nuƒolanɔƒea tum ɖo la, míewɔa esia le tsitre ɖe ame dzɔtsu sia ƒe abɔta, henɔa agbagba dzem be míade bubu eƒe domenyinu ŋu to asitsatsa ŋuti kɔmpiutadziɖoɖo siwo menye ɖeko wowɔa dɔ ko o ke wowɔa dɔ nyuie le gɔmedzedzea me la toto vɛ me. Woasusui vevie, gake eƒe gɔmeɖosewo ayi edzi anɔ mɔ fiam kɔmpiuta zazã ƒe etsɔme.