Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W4206254495', 'doi': 'https://doi.org/10.1007/978-3-030-94583-1_11', 'title': 'Lightweight Shape Analysis Based on Physical Types', 'display_name': 'Lightweight Shape Analysis Based on Physical Types', 'publication_year': 2022, 'publication_date': '2022-01-01', 'ids': {'openalex': 'https://openalex.org/W4206254495', 'doi': 'https://doi.org/10.1007/978-3-030-94583-1_11'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-030-94583-1_11', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S106296714', 'display_name': 'Lecture notes in computer science', 'issn_l': '0302-9743', 'issn': ['0302-9743', '1611-3349'], '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/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], 'type': 'book series'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book-chapter', 'type_crossref': 'book-chapter', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'https://hal.science/hal-03538088/document', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5068390083', 'display_name': 'Olivier Nicole', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210128565', 'display_name': 'CEA Paris-Saclay', 'ror': 'https://ror.org/03n15ch10', 'country_code': 'FR', 'type': 'government', 'lineage': ['https://openalex.org/I2738703131', 'https://openalex.org/I4210128565']}, {'id': 'https://openalex.org/I4210124484', 'display_name': 'Directorate-General for Interpretation', 'ror': 'https://ror.org/03728bb41', 'country_code': 'BE', 'type': 'government', 'lineage': ['https://openalex.org/I1320481043', 'https://openalex.org/I2800387288', 'https://openalex.org/I4210124484']}, {'id': 'https://openalex.org/I4210161954', 'display_name': "Département d'Informatique", 'ror': 'https://ror.org/05y6rqs46', 'country_code': 'FR', 'type': 'facility', 'lineage': ['https://openalex.org/I1294671590', 'https://openalex.org/I1326498283', 'https://openalex.org/I29607241', 'https://openalex.org/I4210159245', 'https://openalex.org/I4210161954']}, {'id': 'https://openalex.org/I29607241', 'display_name': 'École Normale Supérieure - PSL', 'ror': 'https://ror.org/05a0dhs15', 'country_code': 'FR', 'type': 'other', 'lineage': ['https://openalex.org/I29607241']}, {'id': 'https://openalex.org/I4210099332', 'display_name': 'Université des Lettres et des Sciences Humaines de Bamako', 'ror': 'https://ror.org/011tecf62', 'country_code': 'ML', 'type': 'education', 'lineage': ['https://openalex.org/I4210099332']}, {'id': 'https://openalex.org/I2801360556', 'display_name': 'CEA Paris-Saclay - Etablissement de Saclay', 'ror': 'https://ror.org/01fv25t22', 'country_code': 'FR', 'type': 'facility', 'lineage': ['https://openalex.org/I1294671590', 'https://openalex.org/I142476485', 'https://openalex.org/I2738703131', 'https://openalex.org/I2801360556', 'https://openalex.org/I4210128565', 'https://openalex.org/I4210145102', 'https://openalex.org/I83860666', 'https://openalex.org/I84909340']}], 'countries': ['BE', 'FR', 'ML'], 'is_corresponding': False, 'raw_author_name': 'Olivier Nicole', 'raw_affiliation_strings': ['Analyse Statique par Interprétation Abstraite', 'CEA- Saclay', "Département d'informatique - ENS Paris", 'Université Paris sciences et lettres'], 'affiliations': [{'raw_affiliation_string': 'CEA- Saclay', 'institution_ids': ['https://openalex.org/I4210128565', 'https://openalex.org/I2801360556']}, {'raw_affiliation_string': 'Analyse Statique par Interprétation Abstraite', 'institution_ids': ['https://openalex.org/I4210124484']}, {'raw_affiliation_string': "Département d'informatique - ENS Paris", 'institution_ids': ['https://openalex.org/I4210161954', 'https://openalex.org/I29607241']}, {'raw_affiliation_string': 'Université Paris sciences et lettres', 'institution_ids': ['https://openalex.org/I4210099332']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5068884333', 'display_name': 'Matthieu Lemerre', 'orcid': 'https://orcid.org/0000-0002-1081-0467'}, 'institutions': [{'id': 'https://openalex.org/I2801360556', 'display_name': 'CEA Paris-Saclay - Etablissement de Saclay', 'ror': 'https://ror.org/01fv25t22', 'country_code': 'FR', 'type': 'facility', 'lineage': ['https://openalex.org/I1294671590', 'https://openalex.org/I142476485', 'https://openalex.org/I2738703131', 'https://openalex.org/I2801360556', 'https://openalex.org/I4210128565', 'https://openalex.org/I4210145102', 'https://openalex.org/I83860666', 'https://openalex.org/I84909340']}, {'id': 'https://openalex.org/I4210128565', 'display_name': 'CEA Paris-Saclay', 'ror': 'https://ror.org/03n15ch10', 'country_code': 'FR', 'type': 'government', 'lineage': ['https://openalex.org/I2738703131', 'https://openalex.org/I4210128565']}], 'countries': ['FR'], 'is_corresponding': False, 'raw_author_name': 'Matthieu Lemerre', 'raw_affiliation_strings': ['CEA- Saclay'], 'affiliations': [{'raw_affiliation_string': 'CEA- Saclay', 'institution_ids': ['https://openalex.org/I2801360556', 'https://openalex.org/I4210128565']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5037983866', 'display_name': 'Xavier Rival', 'orcid': 'https://orcid.org/0000-0002-2875-6171'}, 'institutions': [{'id': 'https://openalex.org/I4210124484', 'display_name': 'Directorate-General for Interpretation', 'ror': 'https://ror.org/03728bb41', 'country_code': 'BE', 'type': 'government', 'lineage': ['https://openalex.org/I1320481043', 'https://openalex.org/I2800387288', 'https://openalex.org/I4210124484']}, {'id': 'https://openalex.org/I4210161954', 'display_name': "Département d'Informatique", 'ror': 'https://ror.org/05y6rqs46', 'country_code': 'FR', 'type': 'facility', 'lineage': ['https://openalex.org/I1294671590', 'https://openalex.org/I1326498283', 'https://openalex.org/I29607241', 'https://openalex.org/I4210159245', 'https://openalex.org/I4210161954']}, {'id': 'https://openalex.org/I29607241', 'display_name': 'École Normale Supérieure - PSL', 'ror': 'https://ror.org/05a0dhs15', 'country_code': 'FR', 'type': 'other', 'lineage': ['https://openalex.org/I29607241']}, {'id': 'https://openalex.org/I4210099332', 'display_name': 'Université des Lettres et des Sciences Humaines de Bamako', 'ror': 'https://ror.org/011tecf62', 'country_code': 'ML', 'type': 'education', 'lineage': ['https://openalex.org/I4210099332']}], 'countries': ['BE', 'FR', 'ML'], 'is_corresponding': False, 'raw_author_name': 'Xavier Rival', 'raw_affiliation_strings': ['Analyse Statique par Interprétation Abstraite', "Département d'informatique - ENS Paris", 'Université Paris sciences et lettres'], 'affiliations': [{'raw_affiliation_string': 'Analyse Statique par Interprétation Abstraite', 'institution_ids': ['https://openalex.org/I4210124484']}, {'raw_affiliation_string': "Département d'informatique - ENS Paris", 'institution_ids': ['https://openalex.org/I4210161954', 'https://openalex.org/I29607241']}, {'raw_affiliation_string': 'Université Paris sciences et lettres', 'institution_ids': ['https://openalex.org/I4210099332']}]}], 'institution_assertions': [], 'countries_distinct_count': 3, 'institutions_distinct_count': 6, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': {'value': 5000, 'currency': 'EUR', 'value_usd': 5392, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 4.263, 'has_fulltext': False, 'cited_by_count': 6, 'citation_normalized_percentile': {'value': 0.999885, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 86, 'max': 88}, 'biblio': {'volume': None, 'issue': None, 'first_page': '219', 'last_page': '241'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Program Analysis and Verification Techniques', 'score': 0.9973, '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': 'Program Analysis and Verification Techniques', 'score': 0.9973, '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/T10260', 'display_name': 'Empirical Studies in Software Engineering', 'score': 0.9972, '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/T10743', 'display_name': 'Automated Software Testing Techniques', 'score': 0.9943, 'subfield': {'id': 'https://openalex.org/subfields/1712', 'display_name': 'Software'}, '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/pointer-analysis', 'display_name': 'Pointer analysis', 'score': 0.7996114}, {'id': 'https://openalex.org/keywords/heap', 'display_name': 'Heap (data structure)', 'score': 0.669744}, {'id': 'https://openalex.org/keywords/memory-safety', 'display_name': 'Memory safety', 'score': 0.6354535}, {'id': 'https://openalex.org/keywords/abstraction', 'display_name': 'Abstraction', 'score': 0.6018232}, {'id': 'https://openalex.org/keywords/abstract-interpretation', 'display_name': 'Abstract Interpretation', 'score': 0.560294}, {'id': 'https://openalex.org/keywords/type-inference', 'display_name': 'Type Inference', 'score': 0.518232}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.86909014}, {'id': 'https://openalex.org/C150202949', 'wikidata': 'https://www.wikidata.org/wiki/Q107602', 'display_name': 'Pointer (user interface)', 'level': 2, 'score': 0.85342145}, {'id': 'https://openalex.org/C7263679', 'wikidata': 'https://www.wikidata.org/wiki/Q5978076', 'display_name': 'Pointer analysis', 'level': 3, 'score': 0.7996114}, {'id': 'https://openalex.org/C2780654840', 'wikidata': 'https://www.wikidata.org/wiki/Q333341', 'display_name': 'Abstract interpretation', 'level': 2, 'score': 0.760857}, {'id': 'https://openalex.org/C134757568', 'wikidata': 'https://www.wikidata.org/wiki/Q274089', 'display_name': 'Heap (data structure)', 'level': 2, 'score': 0.669744}, {'id': 'https://openalex.org/C28180684', 'wikidata': 'https://www.wikidata.org/wiki/Q4080983', 'display_name': 'Memory safety', 'level': 3, 'score': 0.6354535}, {'id': 'https://openalex.org/C124304363', 'wikidata': 'https://www.wikidata.org/wiki/Q673661', 'display_name': 'Abstraction', 'level': 2, 'score': 0.6018232}, {'id': 'https://openalex.org/C43364308', 'wikidata': 'https://www.wikidata.org/wiki/Q8799', 'display_name': 'Byte', 'level': 2, 'score': 0.5926279}, {'id': 'https://openalex.org/C112604564', 'wikidata': 'https://www.wikidata.org/wiki/Q7489226', 'display_name': 'Shape analysis (program analysis)', 'level': 3, 'score': 0.5639256}, {'id': 'https://openalex.org/C97686452', 'wikidata': 'https://www.wikidata.org/wiki/Q7604153', 'display_name': 'Static analysis', 'level': 2, 'score': 0.5088373}, {'id': 'https://openalex.org/C48372109', 'wikidata': 'https://www.wikidata.org/wiki/Q3913', 'display_name': 'Binary number', 'level': 2, 'score': 0.49014553}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.48664126}, {'id': 'https://openalex.org/C190470478', 'wikidata': 'https://www.wikidata.org/wiki/Q2370229', 'display_name': 'Invariant (physics)', 'level': 2, 'score': 0.48023444}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.46615422}, {'id': 'https://openalex.org/C94375191', 'wikidata': 'https://www.wikidata.org/wiki/Q11205', 'display_name': 'Arithmetic', 'level': 1, 'score': 0.20974714}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.19005972}, {'id': 'https://openalex.org/C169590947', 'wikidata': 'https://www.wikidata.org/wiki/Q47506', 'display_name': 'Compiler', 'level': 2, 'score': 0.13558668}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.08444807}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C111472728', 'wikidata': 'https://www.wikidata.org/wiki/Q9471', 'display_name': 'Epistemology', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C37914503', 'wikidata': 'https://www.wikidata.org/wiki/Q156495', 'display_name': 'Mathematical physics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 5, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1007/978-3-030-94583-1_11', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S106296714', 'display_name': 'Lecture notes in computer science', 'issn_l': '0302-9743', 'issn': ['0302-9743', '1611-3349'], '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/P4310319965', 'https://openalex.org/P4310319900'], 'host_organization_lineage_names': ['Springer Nature', 'Springer Science+Business Media'], 'type': 'book series'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://hal.science/hal-03538088', 'pdf_url': 'https://hal.science/hal-03538088/document', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I1294671590', 'host_organization_name': 'Centre National de la Recherche Scientifique', 'host_organization_lineage': ['https://openalex.org/I1294671590'], 'host_organization_lineage_names': ['Centre National de la Recherche Scientifique'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://hal.science/hal-03538088/file/vmcai.pdf', 'pdf_url': 'https://hal.science/hal-03538088/file/vmcai.pdf', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I1294671590', 'host_organization_name': 'Centre National de la Recherche Scientifique', 'host_organization_lineage': ['https://openalex.org/I1294671590'], 'host_organization_lineage_names': ['Centre National de la Recherche Scientifique'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://hal.archives-ouvertes.fr/hal-03538088/file/vmcai.pdf', 'pdf_url': 'https://hal.archives-ouvertes.fr/hal-03538088/file/vmcai.pdf', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I1294671590', 'host_organization_name': 'Centre National de la Recherche Scientifique', 'host_organization_lineage': ['https://openalex.org/I1294671590'], 'host_organization_lineage_names': ['Centre National de la Recherche Scientifique'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://hal.archives-ouvertes.fr/hal-03538088/document', 'pdf_url': 'https://hal.archives-ouvertes.fr/hal-03538088/document', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I1294671590', 'host_organization_name': 'Centre National de la Recherche Scientifique', 'host_organization_lineage': ['https://openalex.org/I1294671590'], 'host_organization_lineage_names': ['Centre National de la Recherche Scientifique'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://hal.science/hal-03538088', 'pdf_url': 'https://hal.science/hal-03538088/document', 'source': {'id': 'https://openalex.org/S4306402512', 'display_name': 'HAL (Le Centre pour la Communication Scientifique Directe)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I1294671590', 'host_organization_name': 'Centre National de la Recherche Scientifique', 'host_organization_lineage': ['https://openalex.org/I1294671590'], 'host_organization_lineage_names': ['Centre National de la Recherche Scientifique'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 29, 'referenced_works': ['https://openalex.org/W1001614398', 'https://openalex.org/W1220998442', 'https://openalex.org/W1508811155', 'https://openalex.org/W1515252725', 'https://openalex.org/W1530314682', 'https://openalex.org/W1963705166', 'https://openalex.org/W1981830935', 'https://openalex.org/W1991837261', 'https://openalex.org/W1995008247', 'https://openalex.org/W2030697178', 'https://openalex.org/W2043100293', 'https://openalex.org/W2044146725', 'https://openalex.org/W2097698142', 'https://openalex.org/W2098806455', 'https://openalex.org/W2111513472', 'https://openalex.org/W2128963089', 'https://openalex.org/W2130078434', 'https://openalex.org/W2152686702', 'https://openalex.org/W2258477098', 'https://openalex.org/W2334430717', 'https://openalex.org/W2889788853', 'https://openalex.org/W3003698748', 'https://openalex.org/W3005614952', 'https://openalex.org/W3016667857', 'https://openalex.org/W3030087658', 'https://openalex.org/W3110461243', 'https://openalex.org/W4206254495', 'https://openalex.org/W4206770190', 'https://openalex.org/W4253740569'], 'related_works': ['https://openalex.org/W4206254495', 'https://openalex.org/W3168894245', 'https://openalex.org/W3110216559', 'https://openalex.org/W2622138879', 'https://openalex.org/W2323946099', 'https://openalex.org/W2318743569', 'https://openalex.org/W2085836710', 'https://openalex.org/W2051746071', 'https://openalex.org/W176800827', 'https://openalex.org/W1517041072'], 'abstract_inverted_index': {'To': [0], 'understand': [1], 'and': [2, 32, 95, 108, 125, 161, 175, 182], 'detect': [3], 'possible': [4], 'errors': [5], 'in': [6, 89, 139, 165], 'programs': [7], 'manipulating': [8], 'memory,': [9], 'static': [10], 'analyses': [11, 39, 47, 107], 'of': [12, 15, 71, 79, 87, 93, 153, 168], 'various': [13], 'levels': [14], 'precision': [16, 94], 'have': [17], 'been': [18], 'introduced,': [19], 'yet': [20], 'it': [21], 'remains': [22], 'hard': [23], 'to': [24, 156], 'capture': [25], 'both': [26, 180], 'information': [27, 132], 'about': [28, 133], 'the': [29, 42, 67, 84, 112, 134, 166], 'byte-level': [30, 85], 'layout': [31, 86], 'precise': [33], 'global': [34], 'structural': [35, 163], 'invariants.': [36], 'Classical': [37], 'pointer': [38, 106, 173], 'struggle': [40], 'with': [41, 122], 'latter,': [43], 'whereas': [44], 'advanced': [45], 'shape': [46, 109, 114], 'incur': [48], 'a': [49, 58, 72, 76, 101, 123], 'higher': [50], 'computational': [51], 'cost.': [52], 'In': [53, 91], 'this': [54, 119, 151], 'paper,': [55], 'we': [56], 'propose': [57], 'new': [59], 'memory': [60, 135, 159, 177], 'analysis': [61, 115], 'by': [62, 69], 'abstract': [63], 'interpretation': [64], 'that': [65, 137, 150], 'summarizes': [66], 'heap': [68], 'means': [70], 'type': [73], 'invariant,': [74], 'using': [75], 'novel': [77], 'kind': [78], 'physical': [80], 'types,': [81], 'which': [82, 130], 'express': [83], 'values': [88], 'memory.': [90], 'terms': [92], 'expressiveness,': [96], 'our': [97], 'abstraction': [98, 121, 129], 'aims': [99], 'at': [100], 'middle': [102], 'point': [103], 'between': [104], 'typical': [105], 'analyses,': [110], 'hence': [111], 'lightweight': [113], 'name.': [116], 'We': [117, 148], 'pair': [118], 'summarizing': [120], 'retained': [124], 'staged': [126], 'points-to': [127], 'predicates': [128], 'refines': [131], 'regions': [136], 'are': [138], 'use,': [140], 'hereby': [141], 'allowing': [142], 'strong': [143], 'updates': [144], 'without': [145], 'introducing': [146], 'disjunctions.': [147], 'show': [149], 'combination': [152], 'abstractions': [154], 'suffices': [155], 'verify': [157], 'spatial': [158], 'safety': [160], 'non-trivial': [162], 'invariants': [164], 'presence': [167], 'low-level': [169], 'constructs': [170], 'such': [171], 'as': [172], 'arithmetic': [174], 'dynamic': [176], 'allocation,': [178], 'on': [179], 'C': [181], 'binary': [183], 'code.': [184]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W4206254495', 'counts_by_year': [{'year': 2024, 'cited_by_count': 3}, {'year': 2023, 'cited_by_count': 2}, {'year': 2022, 'cited_by_count': 1}], 'updated_date': '2024-09-17T08:42:16.861611', 'created_date': '2022-01-26'}