{"id":"https://openalex.org/W4400452442","doi":"https://doi.org/10.1007/s10703-024-00460-3","title":"Formally understanding Rust\u2019s ownership and borrowing system at the memory level","display_name":"Formally understanding Rust\u2019s ownership and borrowing system at the memory level","publication_year":2024,"publication_date":"2024-07-09","ids":{"openalex":"https://openalex.org/W4400452442","doi":"https://doi.org/10.1007/s10703-024-00460-3"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-024-00460-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-024-00460-3","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Formally_Understanding_Rust_s_Ownership_and_Borrowing_System_at_the_Memory_Level/27130389","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089219448","display_name":"Shuanglong Kan","orcid":"https://orcid.org/0000-0002-4132-2626"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Shuanglong Kan","raw_affiliation_strings":["Department of Computer Science, Technische Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technische Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100457678","display_name":"Zhe Chen","orcid":"https://orcid.org/0000-0002-2919-4481"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhe Chen","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067813217","display_name":"David San\u00e1n","orcid":"https://orcid.org/0000-0003-2755-3089"},"institutions":[{"id":"https://openalex.org/I168639165","display_name":"Singapore Institute of Technology","ror":"https://ror.org/01v2c2791","country_code":"SG","type":"education","lineage":["https://openalex.org/I168639165"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"David San\u00e1n","raw_affiliation_strings":["InfoComm Technology Cluster, Singapore Institute of Technology, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"InfoComm Technology Cluster, Singapore Institute of Technology, Singapore, Singapore","institution_ids":["https://openalex.org/I168639165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100355692","display_name":"Yang Liu","orcid":"https://orcid.org/0000-0001-7300-9215"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["School of Computer Science and Engineering, Nanyang Technological University, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100457678"],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":0.3146,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56560822,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"64","issue":"1-3","first_page":"200","last_page":"236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.7692999839782715,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.7692999839782715,"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/T13999","display_name":"Digital Rights Management and Security","score":0.6611999869346619,"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/T10126","display_name":"Logic, programming, and type systems","score":0.6525999903678894,"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/rust","display_name":"Rust (programming language)","score":0.5022299289703369},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.48294681310653687},{"id":"https://openalex.org/keywords/financial-system","display_name":"Financial system","score":0.3240053951740265},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2725334167480469},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0918189287185669}],"concepts":[{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.5022299289703369},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.48294681310653687},{"id":"https://openalex.org/C73283319","wikidata":"https://www.wikidata.org/wiki/Q1416617","display_name":"Financial system","level":1,"score":0.3240053951740265},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2725334167480469},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0918189287185669}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-024-00460-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-024-00460-3","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:figshare.com:article/27130389","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Formally_Understanding_Rust_s_Ownership_and_Borrowing_System_at_the_Memory_Level/27130389","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/27130389","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Formally_Understanding_Rust_s_Ownership_and_Borrowing_System_at_the_Memory_Level/27130389","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.41999998688697815}],"awards":[{"id":"https://openalex.org/G2273660212","display_name":"Rust\u8bed\u8a00\u5185\u5b58\u5b89\u5168\u673a\u5236\u9a8c\u8bc1\u7814\u7a76","funder_award_id":"61902180","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7341097807","display_name":null,"funder_award_id":"NRF2014NCR-NCR001-30","funder_id":"https://openalex.org/F4320337217","funder_display_name":"National Satellite of Excellence in Trustworthy Software Systems, National University of Singapore"},{"id":"https://openalex.org/G7379720977","display_name":null,"funder_award_id":"62172217","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320337217","display_name":"National Satellite of Excellence in Trustworthy Software Systems, National University of Singapore","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W2048417351","https://openalex.org/W2077987280","https://openalex.org/W2081438680","https://openalex.org/W2082036516","https://openalex.org/W2129133667","https://openalex.org/W2137628566","https://openalex.org/W2245053900","https://openalex.org/W2251459796","https://openalex.org/W2294722445","https://openalex.org/W2397875151","https://openalex.org/W2476818328","https://openalex.org/W2535818195","https://openalex.org/W2779850521","https://openalex.org/W2913530642","https://openalex.org/W2962349163","https://openalex.org/W2963104396","https://openalex.org/W2996725384","https://openalex.org/W3016422245","https://openalex.org/W3209913027","https://openalex.org/W4242423436","https://openalex.org/W4250850800","https://openalex.org/W4255006224","https://openalex.org/W4256027310","https://openalex.org/W4281773296","https://openalex.org/W4283019774","https://openalex.org/W4301155284","https://openalex.org/W6605506819"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2321095224","https://openalex.org/W2368593304","https://openalex.org/W2037562491","https://openalex.org/W2508646920","https://openalex.org/W2004186295","https://openalex.org/W2014489614","https://openalex.org/W1411230624","https://openalex.org/W4238766978","https://openalex.org/W4296563699"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}