{"id":"https://openalex.org/W3202968775","doi":"https://doi.org/10.1145/3477355.3477357","title":"The 1980 ACM Turing Award Lecture","display_name":"The 1980 ACM Turing Award Lecture","publication_year":2021,"publication_date":"2021-10-02","ids":{"openalex":"https://openalex.org/W3202968775","doi":"https://doi.org/10.1145/3477355.3477357","mag":"3202968775"},"language":"en","primary_location":{"id":"doi:10.1145/3477355.3477357","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477355.3477357","pdf_url":null,"source":{"id":"https://openalex.org/S4306462769","display_name":"ACM eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theories of Programming","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104358477","display_name":"Tony Hoare","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tony Hoare","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5104358477"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5043,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.6836688,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9599999785423279,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9599999785423279,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.7680379748344421},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.7393112182617188},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6495093107223511},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.4673457741737366},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24677205085754395}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7680379748344421},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.7393112182617188},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6495093107223511},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.4673457741737366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24677205085754395}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3477355.3477357","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477355.3477357","pdf_url":null,"source":{"id":"https://openalex.org/S4306462769","display_name":"ACM eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theories of Programming","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2323581027","https://openalex.org/W2559452788","https://openalex.org/W2060041177"],"abstract_inverted_index":{"chapter":[0],"Share":[1],"on":[2,75],"The":[3,21],"1980":[4],"ACM":[5],"Turing":[6],"Award":[7],"Lecture":[8],"Author:":[9],"Tony":[10,26],"Hoare":[11],"View":[12],"Profile":[13],"Authors":[14],"Info":[15],"&":[16],"Claims":[17],"Theories":[18],"of":[19,25],"Programming:":[20],"Life":[22],"and":[23,52],"Works":[24],"HoareOctober":[27],"2021":[28],"Pages":[29],"1\u201322https://doi.org/10.1145/3477355.3477357Online:02":[30],"October":[31],"2021Publication":[32],"History":[33],"0citation5DownloadsMetricsTotal":[34],"Citations0Total":[35],"Downloads5Last":[36],"12":[37],"Months5Last":[38],"6":[39],"weeks0":[40],"Get":[41],"Citation":[42,44,81],"AlertsNew":[43,80],"Alert":[45],"added!This":[46],"alert":[47,72],"has":[48,67],"been":[49,68],"successfully":[50],"added":[51],"will":[53,57],"be":[54,58],"sent":[55],"to:You":[56],"notified":[59],"whenever":[60],"a":[61,93],"record":[62],"that":[63],"you":[64],"have":[65],"chosen":[66],"cited.To":[69],"manage":[70],"your":[71,86],"preferences,":[73],"click":[74],"the":[76],"button":[77],"below.Manage":[78],"my":[79],"Alert!Please":[82],"log":[83],"in":[84],"to":[85,89,91],"account":[87],"Save":[88],"BinderSave":[90],"BinderCreate":[92],"New":[94],"BinderNameCancelCreateExport":[95],"CitationPublisher":[96],"SiteGet":[97],"Access":[98]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}