{"id":"https://openalex.org/W1981234751","doi":"https://doi.org/10.1007/s00354-010-0097-5","title":"Weak Updates and Separation Logic","display_name":"Weak Updates and Separation Logic","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1981234751","doi":"https://doi.org/10.1007/s00354-010-0097-5","mag":"1981234751"},"language":"en","primary_location":{"id":"doi:10.1007/s00354-010-0097-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00354-010-0097-5","pdf_url":null,"source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"New Generation Computing","raw_type":"journal-article"},"type":"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/A5010830558","display_name":"Gang Tan","orcid":"https://orcid.org/0000-0001-6109-6091"},"institutions":[{"id":"https://openalex.org/I186143895","display_name":"Lehigh University","ror":"https://ror.org/012afjb06","country_code":"US","type":"education","lineage":["https://openalex.org/I186143895"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gang Tan","raw_affiliation_strings":["Computer Science & Engineering, Lehigh University, 19 Memorial Drive West, Bethlehem, PA, 18015, USA","Lehigh University,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science & Engineering, Lehigh University, 19 Memorial Drive West, Bethlehem, PA, 18015, USA","institution_ids":["https://openalex.org/I186143895"]},{"raw_affiliation_string":"Lehigh University,","institution_ids":["https://openalex.org/I186143895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070627140","display_name":"Zhong Shao","orcid":"https://orcid.org/0000-0001-8184-7649"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhong Shao","raw_affiliation_strings":["Department of Computer Science, Yale University, P.O.Box 208285, New Haven, CT, 06520-8285, USA","Yale University  ;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Yale University, P.O.Box 208285, New Haven, CT, 06520-8285, USA","institution_ids":["https://openalex.org/I32971472"]},{"raw_affiliation_string":"Yale University  ;","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101761507","display_name":"Xinyu Feng","orcid":"https://orcid.org/0000-0003-1068-383X"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]},{"id":"https://openalex.org/I308837","display_name":"Suzhou University of Science and Technology","ror":"https://ror.org/04en8wb91","country_code":"CN","type":"education","lineage":["https://openalex.org/I308837"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyu Feng","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, 166 Ren\u2019ai Road Suzhou Institute for Advanced Study, USTC, Suzhou, Jiangsu, 215123, China","University of Science and Technology of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, 166 Ren\u2019ai Road Suzhou Institute for Advanced Study, USTC, Suzhou, Jiangsu, 215123, China","institution_ids":["https://openalex.org/I126520041","https://openalex.org/I308837"]},{"raw_affiliation_string":"University of Science and Technology of China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019845612","display_name":"Hongxu Cai","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongxu Cai","raw_affiliation_strings":["Google Inc., 1600 Amphitheatre Parkway, Mountain View, CA, 94043, USA","GOOGLE INC "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google Inc., 1600 Amphitheatre Parkway, Mountain View, CA, 94043, USA","institution_ids":["https://openalex.org/I1291425158"]},{"raw_affiliation_string":"GOOGLE INC ","institution_ids":["https://openalex.org/I1291425158"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5010830558"],"corresponding_institution_ids":["https://openalex.org/I186143895"],"apc_list":{"value":3090,"currency":"USD","value_usd":3090},"apc_paid":null,"fwci":0.4575,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.7602902,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"29","issue":"1","first_page":"3","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9950000047683716,"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":[{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.9350950121879578},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.844245195388794},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.8159738779067993},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6285127401351929},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6215375065803528},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5614843964576721},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42720162868499756}],"concepts":[{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.9350950121879578},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.844245195388794},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.8159738779067993},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6285127401351929},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6215375065803528},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5614843964576721},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42720162868499756}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s00354-010-0097-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00354-010-0097-5","pdf_url":null,"source":{"id":"https://openalex.org/S165364243","display_name":"New Generation Computing","issn_l":"0288-3635","issn":["0288-3635","1882-7055"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"New Generation Computing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.173.1673","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.1673","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.lehigh.edu/%7Egtan/paper/WUSL_journal.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.173.229","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.lehigh.edu/%7Egtan/paper/WUSL.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.173.472","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.173.472","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.lehigh.edu/%7Egtan/paper/WUSL-tr.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.174.7453","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.174.7453","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://flint.cs.yale.edu/flint/publications/wusl.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.406.9954","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.9954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://flint.cs.yale.edu/flint/publications/wusl2.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320308380","display_name":"Yale University","ror":"https://ror.org/03v76x132"},{"id":"https://openalex.org/F4320310365","display_name":"Lehigh University","ror":"https://ror.org/012afjb06"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W203992540","https://openalex.org/W1495368328","https://openalex.org/W1595637483","https://openalex.org/W1661340274","https://openalex.org/W1790417275","https://openalex.org/W1819989006","https://openalex.org/W1827297117","https://openalex.org/W1965602413","https://openalex.org/W1969253110","https://openalex.org/W1971933951","https://openalex.org/W1973020382","https://openalex.org/W1980939032","https://openalex.org/W1991984504","https://openalex.org/W2014472261","https://openalex.org/W2061341742","https://openalex.org/W2080769562","https://openalex.org/W2087875803","https://openalex.org/W2103721833","https://openalex.org/W2114834520","https://openalex.org/W2137628566","https://openalex.org/W2139187903","https://openalex.org/W2151156765","https://openalex.org/W2151836690","https://openalex.org/W2153074406","https://openalex.org/W2478146632","https://openalex.org/W2987907651","https://openalex.org/W3006363542","https://openalex.org/W3031966213","https://openalex.org/W3124619212","https://openalex.org/W3146075203","https://openalex.org/W4237593520","https://openalex.org/W4245120671","https://openalex.org/W6677123011","https://openalex.org/W6680826699","https://openalex.org/W6682827059","https://openalex.org/W6721993268"],"related_works":["https://openalex.org/W1607674807","https://openalex.org/W2165970356","https://openalex.org/W4296607663","https://openalex.org/W1481101394","https://openalex.org/W4290679430","https://openalex.org/W2132761501","https://openalex.org/W2950271872","https://openalex.org/W144602492","https://openalex.org/W4283582377","https://openalex.org/W4287240968"],"abstract_inverted_index":null,"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}