{"id":"https://openalex.org/W1526355683","doi":"https://doi.org/10.1007/s11390-010-9369-2","title":"Formal Reasoning About Lazy-STM Programs","display_name":"Formal Reasoning About Lazy-STM Programs","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W1526355683","doi":"https://doi.org/10.1007/s11390-010-9369-2","mag":"1526355683"},"language":"en","primary_location":{"id":"doi:10.1007/s11390-010-9369-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-010-9369-2","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"Journal of Computer Science and Technology","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/A5100355326","display_name":"Yong Li","orcid":"https://orcid.org/0000-0001-9939-094X"},"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":true,"raw_author_name":"Yong Li","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":["https://openalex.org/I308837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100433414","display_name":"Yu Zhang","orcid":"https://orcid.org/0000-0001-7889-2676"},"institutions":[{"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"]},{"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Zhang","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, Hefei, China; Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, China; Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China","institution_ids":["https://openalex.org/I308837","https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101717919","display_name":"Yiyun Chen","orcid":"https://orcid.org/0000-0003-3886-2100"},"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":"Yi-Yun Chen","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, Hefei, China; Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, China; Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, China","institution_ids":["https://openalex.org/I308837","https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102708727","display_name":"Ming Fu","orcid":"https://orcid.org/0000-0002-6984-3220"},"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":"Ming Fu","raw_affiliation_strings":["School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, University of Science and Technology of China, Hefei, 230027, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Software Security Laboratory, Suzhou Institute for Advanced Study, University of Science and Technology of China, Suzhou, 215123, China","institution_ids":["https://openalex.org/I308837"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100355326"],"corresponding_institution_ids":["https://openalex.org/I126520041","https://openalex.org/I308837"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.06221006,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"25","issue":"4","first_page":"841","last_page":"852"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9918000102043152,"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.9918000102043152,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9059722423553467},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.8522722721099854},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.7467716336250305},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6620376706123352},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.4375803470611572},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.35971617698669434},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3559945821762085}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9059722423553467},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.8522722721099854},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.7467716336250305},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6620376706123352},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.4375803470611572},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.35971617698669434},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3559945821762085}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11390-010-9369-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-010-9369-2","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"Journal of Computer Science and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1542975293","https://openalex.org/W1980939032","https://openalex.org/W2055100610","https://openalex.org/W2090551028","https://openalex.org/W2092911542","https://openalex.org/W2094222793","https://openalex.org/W2099537990","https://openalex.org/W2105055683","https://openalex.org/W2105385305","https://openalex.org/W2113751407","https://openalex.org/W2123825254","https://openalex.org/W2132761501","https://openalex.org/W2137628566","https://openalex.org/W2139241341","https://openalex.org/W2141260727","https://openalex.org/W2149089882","https://openalex.org/W2152988224","https://openalex.org/W2164718313","https://openalex.org/W3006363542","https://openalex.org/W4200112762","https://openalex.org/W4205283737","https://openalex.org/W4231837684","https://openalex.org/W4238611865","https://openalex.org/W4244598184"],"related_works":["https://openalex.org/W2088444093","https://openalex.org/W133473147","https://openalex.org/W924353067","https://openalex.org/W2152491655","https://openalex.org/W4252722439","https://openalex.org/W2992926879","https://openalex.org/W1144911151","https://openalex.org/W2076409732","https://openalex.org/W120707803","https://openalex.org/W2104221844"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}