Robert Floyd

Robert Floyd
Henkilötiedot
Syntynyt8. kesäkuuta 1936
New York, Yhdysvallat
Kuollut25. syyskuuta 2001 (65 vuotta)
Kalifornia, Yhdysvallat
Kansalaisuus Yhdysvallat
Koulutus ja ura
Tutkimusalue Tietojenkäsittelytiede

Robert W. Floyd (8. kesäkuuta 1936 New York – 25. syyskuuta 2001 Kalifornia) oli yhdysvaltalainen tietojenkäsittelytieteilijä. Hän sai Turing-palkinnon vuonna 1978 työstään, johon kuului parseroinnin teoria, ohjelmointikielten semantiikka, automaattinen ohjelmien verifiointi, automaattinen synteesi ja algoritmien analyysi.[1][2]

Floyd valmistui high schoolista 14 vuotiaana. Hänen ensikosketuksensa tietotekniikkaan oli Armour Research Foundationissa ja hän luki ohjekirjoja uteliaisuuteensa, jolloin hän aloitti ohjelmoijana. Hän työskenteli ohjelmointikielten kääntäjien parissa Computer Associatesilla. Hän työskenteli vuonna 1967 ohjelmien oikeellisuuden todistamisen parissa, ensin vuokaavioilla ja myöhemmin oikeiden ohjelmien kanssa. Hänen julkaisemansa artikkeli Assigning Meanings to Programs (1967) oli merkittävä ja inspiroi Tony Hoaren työtä.[1][2][3]

Floydin työstä on sanottu, että ennen häntä ohjelmoijat säätivät ohjelmaansa kunnes ne näyttivät toimivan, mutta Floyd osoitti, että on tapa todistaa ohjelman toimivan hyödyntämällä matematiikkaa. Donald Knuthin mukaan hänen työnsä oli paljastava alalle.[3]

Floyd työskenteli Communications of the ACM -lehden toimituksessa ja kirjoitti Richard Beigelin kanssa teoksen The Language of Machines: An Introduction to Computability and Formal Languages (1994).[2]

Lähteet

  1. ↑ a b Robert (Bob) W Floyd amturing.acm.org. Viitattu 9.3.2024. (englanniksi)
  2. ↑ a b c Robert W Floyd britannica.com. Viitattu 9.3.2024. (englanniksi)
  3. ↑ a b Professor Robert W. Floyd legacy.cs.stanford.edu. Viitattu 9.3.2024. (englanniksi)

Aiheesta muualla

Read other articles:

Bandiera dell'India

Questa voce o sezione sugli argomenti India e vessillologia non cita le fonti necessarie o quelle presenti sono insufficienti. Commento: Vce senza fonti Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. भारत का ध्वजFlag of IndiaSoprannomeतिरंगा (Tiranga) Proporzioni2:3 Simbolo FIAV ColoriRGB      (R:255 G:153 B:51)&#...

 

Artemis

Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. Mohon bantu kami mengembangkan artikel ini dengan cara menambahkan rujukan ke sumber tepercaya. Pernyataan tak bersumber bisa saja dipertentangkan dan dihapus.Cari sumber: Artemis – berita · surat kabar · buku · cendekiawan · JSTOR (Maret 2018) ArtemisPatung Artemis di Museum Vatikan.Dewi perburuan, hutan, bukit, hewan liar, bulanSimbolbusur dan anak panah, rusa, anjingOrang tu...

 

Alpen Kottian

Alpen KottianPrancis: Alpes Cottiennescode: fr is deprecated ; Italia: Alpi Coziecode: it is deprecated Monte Viso di Alpen Kottian, dilihat dari RocciameloneTitik tertinggiPuncakMonte VisoKetinggian3.841 m (12.602 ft)Coordinates44°40′18″N 7°15′13″E / 44.67167°N 7.25361°E / 44.67167; 7.25361Letak GeografisNegaraItalia and PrancisStates/ProvincesPiedmont, Rhône-Alpes and Provence-Alpes-Côte d'AzurRange coordinates44°45′N 7�...

Alfred N. Beadleston

American politician (1912–2000) Alfred Nash Beadleston, Jr. (February 20, 1912 – January 18, 2000) was an American Republican Party politician who served as Speaker of the New Jersey General Assembly and President of the New Jersey Senate. Biography Alfred N. Beadleston (far right) checks election results with other successful Monmouth County Republican candidates in Freehold. Red Bank Register November 1961 Beadleston was born in Rumson, New Jersey, in 1912 to Alfred Nash Beadleston,...

 

Paris-Roubaix 1998

Paris-Roubaix 1998GénéralitésCourse 96e Paris-RoubaixCompétition Coupe du monde de cyclisme sur route 1998Date 12 avril 1998Distance 266,5 kmPays traversé(s) FranceLieu de départ CompiègneLieu d'arrivée Roubaix (vélodrome André-Pétrieux)Vitesse moyenne 38,270km/hRésultatsVainqueur Franco BalleriniDeuxième Andrea TafiTroisième Wilfried PeetersParis-Roubaix 1997Paris-Roubaix 1999modifier - modifier le code - modifier Wikidata La 96e édition de la course cycliste Paris-Roubai...

 

كيرياكي

كيرياكي    خريطة الموقع تقسيم إداري البلد اليونان  [1] خصائص جغرافية إحداثيات 38°21′00″N 22°47′00″E / 38.35°N 22.78333333°E / 38.35; 22.78333333   الارتفاع 760 متر  السكان التعداد السكاني 1709 (resident population of Greece) (2021)2021 (resident population of Greece) (2001)1979 (resident population of Greece) (1991)2185 (resident popu...

Babu Ram

Indian police officer (1972–2020) ASIBabu RamACBorn(1972-05-15)15 May 1972Dharana, Poonch district, Jammu & Kashmir, India[1]Died29 August 2020(2020-08-29) (aged 48)Pantha Chowk, Srinagar, Jammu & KashmirNationalityIndianPolice careerDepartmentJammu and Kashmir PoliceService years1999–2020Rank Assistant Sub-Inspector of PoliceAwards Ashoka Chakra Assistant Sub-inspector Babu Ram, AC[2] (1972–2020)[1] was a Police Officer of the Special Operation...

 

Unione Sportiva Anconitana 1946-1947

Questa voce sull'argomento stagioni delle società calcistiche italiane è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Voce principale: Associazione Calcio Ancona. Unione Sportiva AnconitanaStagione 1946-1947Sport calcio Squadra Anconitana Allenatore Achille Piccini Presidente Bruno Battistoni Serie B17º posto nel girone B. Maggiori presenzeCampionato: Maccarino (39) Miglior marcatoreCampionato:...

 

Matthieu Ricard

Matthieu Ricardमाथ्यु रिका Informasi pribadiLahir15 Februari 1946 (umur 78)Aix-les-Bains, Savoie, PrancisAgamaBuddhismeKebangsaanPrancis, NepalMazhabVajrayanaPendidikanInstitut Pasteur(Ph.D. genetika molekuler)PekerjaanBiksuKedudukan seniorGuruKangyur RinpocheDilgo Khyentse RinpocheSitus webMatthieuRicard.org Matthieu Ricard (bahasa Nepali: माथ्यु रिका, lahir 15 Februari 1946) adalah seorang penulis dan biksu Prancis yang menetap di Biara Shech...

Megawati Sukarnoputri

President of Indonesia from 2001 to 2004 In this Indonesian name, there is no family name. The name Sukarnoputri is a patronymic, and the person should be referred to by the given name, Megawati. Megawati SukarnoputriOfficial portrait, 20015th President of IndonesiaIn office23 July 2001 – 20 October 2004Vice PresidentHamzah HazPreceded byAbdurrahman WahidSucceeded bySusilo Bambang Yudhoyono8th Vice President of IndonesiaIn office21 October 1999 – 23 July 2001Pres...

 

Bournemouth F.C.

Association football club in England Not to be confused with AFC Bournemouth. Football clubBournemouth F.C.Full nameBournemouth Football ClubNickname(s)The PoppiesFounded1875 (as Bournemouth Rovers)GroundVictoria Park, Namu Road, BournemouthCapacity3,000ChairmanRobert CorbinCoachPhillip BrownLeagueWessex League Premier Division2022–23Wessex League Premier Division, 17th of 20WebsiteClub website Home colours Away colours Bournemouth Football Club (/ˈbɔːrnməθ/ ⓘ BORN-məth) is an E...

 

St. George's Order of Victory

Order of Georgia St. George's Order of Victory St. George's Order of VictoryAwarded by  GeorgiaTypeSingle grade orderEstablished24 June 2004PrecedenceNext (higher)Order of the National HeroNext (lower)Order of David IV The BuilderRibbon bar Saint George's Order of Victory (Georgian: წმინდა გიორგის სახელობის გამარჯვების ორდენი, ts'minda giorgis sakhelobis gamarjvebis ordeni) is an honor awarded by the govern...

الثامن عشر من برومير لويس بونابرت

برومير الثامن عشر للويس بونابرت Der 18te Brumaire des Louis Napoleon معلومات الكتاب المؤلف كارل ماركس البلد فرنسا  اللغة ألمانية تاريخ النشر 1852 مكان النشر نيويورك  النوع الأدبي مقالة  الموضوع اقتصاد سياسي التيار ماركسية  تعديل مصدري - تعديل   جزء من سلسلة حولالماركسية مؤلفات ...

 

Puji Raharjo

artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Puji RaharjoPuji pada tahun 2022Lahir1971-10-29Lampung Selatan, Lampung, IndonesiaTempat kerjaKantor Kementerian Agama Provinsi Lampung 2022-Sekar...

 

WHO model list of essential in vitro diagnostics

World Health Organization (WHO) priority list of medical tests For the lists for medicines, see WHO Model List of Essential Medicines. This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (April 2023) The WHO model list of essential in vitro diagnostics, or WHO list of essential diagnostic tests (EDL) is a World Health Organization (WHO) priority list of medical tests that provides guidan...

Abdou Diouf

Abdou Diouf (2008) Nama dalam bahasa asli(fr) Abdou Diouf(wo) Abdu Juuf BiografiKelahiran7 September 1935 (88 tahun)Louga (en) Chairperson of the Organisation of African Unity (en) 29 Juni 1992 – 28 Juni 1993 ← Ibrahim Babangida – Hosni Mubarak → Chairperson of the Organisation of African Unity (en) 18 Juli 1985 – 28 Juli 1986 ← Julius Kambarage Nyerere – Denis Sassou-Nguesso → 2 President of Senegal (en) 1r Januari 1981 – 1...

 

Affinity group

Social grouping formed around a shared interest or goal This article is about the organizational model. For the company, see Affinity Group Inc. An affinity group of anti-war protesters An affinity group is a group formed around a shared interest or common goal, to which individuals formally or informally belong. Affinity groups are generally precluded from being under the aegis of any governmental agency, and their purposes must be primarily non-commercial. Examples of affinity groups includ...

 

SK Nessegutten

Norwegian sports club 1959 Norwegian Football Cup match against Viking at Lerkendal Stadion Sportsklubben Nessegutten is a multi-sports club from Levanger, Norway. It has divisions for football, athletics, handball, orienteering, skiing, speed skating, tennis and artistic gymnastics. It was founded on 20 April 1929. The football club reached the quarter-finals of the 1959 Norwegian Football Cup. After drawing Viking FK at Ullevaal Stadion, the team lost 0–4 against Viking at Lerkendal Stadi...

Clockwise

Movement in the same direction as the hands of a clock This article is about the direction. For other uses, see Clockwise (disambiguation). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Clockwise – news · newspapers · books · scholar · JSTOR (March 2019) (Learn how and when to remove this message) The cloc...

 

カロテノイド

この記事の項目名には以下のような表記揺れがあります。 カロテノイド カロチノイド 自然界にみられるカロテノイド: カロテノイドは赤、橙、黄色などを示す天然色素であり、動物、植物や昆虫などに広く分布する。動物はカロテノイドを自ら生合成できないが、食物からの摂取や共生細菌による生合成などによって体内に蓄積する。 カロテノイド（カロチノイド、�...