{"id":"https://openalex.org/W2159137102","doi":"https://doi.org/10.1145/1592434.1592435","title":"Preface to special issue on software verification","display_name":"Preface to special issue on software verification","publication_year":2009,"publication_date":"2009-10-01","ids":{"openalex":"https://openalex.org/W2159137102","doi":"https://doi.org/10.1145/1592434.1592435","mag":"2159137102"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1592434.1592435","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"review","type_crossref":"journal-article","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/A5112251780","display_name":"C. A. R. Hoare","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"C. A. R. Hoare","raw_affiliation_strings":["Microsoft Research Labs, Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research Labs, Cambridge, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110136390","display_name":"Jayadev Misra","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jayadev Misra","raw_affiliation_strings":["University of Texas at Austin, Austin, TX"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.953,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":7,"citation_normalized_percentile":{"value":0.758772,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":81,"max":82},"biblio":{"volume":"41","issue":"4","first_page":"1","last_page":"3"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9961,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9961,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9914,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9888,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7920985},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.77588767},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.50157785},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47487113},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38464665},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.32047606},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2268027}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1592434.1592435","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4317642157","https://openalex.org/W2805273647","https://openalex.org/W2748952813","https://openalex.org/W2363440148","https://openalex.org/W2352401039","https://openalex.org/W2317510431","https://openalex.org/W2181265275","https://openalex.org/W1990811139","https://openalex.org/W1974749013","https://openalex.org/W134931362"],"abstract_inverted_index":{"research-article":[0],"Share":[1],"on":[2,7,102],"Preface":[3],"to":[4,113,117,119],"special":[5],"issue":[6],"software":[8],"verification":[9],"Authors:":[10],"C.":[11],"A.":[12],"R.":[13],"Hoare":[14],"Microsoft":[15,20],"Research":[16,21],"Labs,":[17,22],"Cambridge,":[18,23],"UK":[19],"UKView":[24],"Profile":[25,43],",":[26],"Jayadev":[27],"Misra":[28],"University":[29,36],"of":[30,37],"Texas":[31,38],"at":[32,39],"Austin,":[33,34,40,41],"TX":[35],"TXView":[42],"Authors":[44],"Info":[45],"&":[46],"Claims":[47],"ACM":[48],"Computing":[49],"SurveysVolume":[50],"41Issue":[51],"4October":[52],"2009":[53],"Article":[54],"No.:":[55],"18pp":[56],"1\u20133https://doi.org/10.1145/1592434.1592435Published:09":[57],"October":[58],"2009Publication":[59],"History":[60],"14citation1,672DownloadsMetricsTotal":[61],"Citations14Total":[62],"Downloads1,672Last":[63],"12":[64],"Months22Last":[65],"6":[66],"weeks3":[67],"Get":[68],"Citation":[69,71,109],"AlertsNew":[70],"Alert":[72],"added!This":[73],"alert":[74,99],"has":[75,94],"been":[76,95],"successfully":[77],"added":[78],"and":[79],"will":[80,84],"be":[81,85],"sent":[82],"to:You":[83],"notified":[86],"whenever":[87],"a":[88,121],"record":[89],"that":[90],"you":[91],"have":[92],"chosen":[93],"cited.To":[96],"manage":[97],"your":[98,114],"preferences,":[100],"click":[101],"the":[103],"button":[104],"below.Manage":[105],"my":[106],"Alerts":[107],"New":[108,122],"Alert!Please":[110],"log":[111],"in":[112],"account":[115],"Save":[116],"BinderSave":[118],"BinderCreate":[120],"BinderNameCancelCreateExport":[123],"CitationPublisher":[124],"SiteGet":[125],"Access":[126]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2159137102","counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-11T18:59:15.499923","created_date":"2016-06-24"}