{"id":"https://openalex.org/W1480874032","doi":"https://doi.org/10.1007/978-3-642-31365-3_14","title":"Automated Verification of Recursive Programs with Pointers","display_name":"Automated Verification of Recursive Programs with Pointers","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W1480874032","doi":"https://doi.org/10.1007/978-3-642-31365-3_14","mag":"1480874032"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-31365-3_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-31365-3_14","pdf_url":null,"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/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5108555789","display_name":"Frank de Boer","orcid":"https://orcid.org/0000-0003-3950-6271"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Frank de Boer","raw_affiliation_strings":["Centrum Wiskunde en Informatica (CWI), Science Park 123, 1098 XG, Amsterdam, Netherlands","Leiden Institute of Advanced Computer Science (LIACS), Niels Bohrweg 1, 2333 CA, Leiden, Netherlands","Leiden Institute of Advanced Computer Science (LIACS), Leiden, Netherlands, Centrum Wiskunde en Informatica (CWI), Amsterdam, Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde en Informatica (CWI), Science Park 123, 1098 XG, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science (LIACS), Niels Bohrweg 1, 2333 CA, Leiden, Netherlands","institution_ids":[]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science (LIACS), Leiden, Netherlands, Centrum Wiskunde en Informatica (CWI), Amsterdam, Netherlands#TAB#","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062502864","display_name":"Marcello Bonsangue","orcid":"https://orcid.org/0000-0003-3746-3618"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marcello Bonsangue","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science (LIACS), Niels Bohrweg 1, 2333 CA, Leiden, Netherlands","Leiden Institute of Advanced Computer Science (LIACS), Leiden, Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science (LIACS), Niels Bohrweg 1, 2333 CA, Leiden, Netherlands","institution_ids":[]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science (LIACS), Leiden, Netherlands#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015520868","display_name":"Jurriaan Rot","orcid":"https://orcid.org/0000-0002-1404-6232"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jurriaan Rot","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science (LIACS), Niels Bohrweg 1, 2333 CA, Leiden, Netherlands","Leiden Institute of Advanced Computer Science (LIACS), Leiden, Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science (LIACS), Niels Bohrweg 1, 2333 CA, Leiden, Netherlands","institution_ids":[]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science (LIACS), Leiden, Netherlands#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.3013,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.78785577,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"163"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958000183105469,"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.8779255151748657},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.8138606548309326},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.7922470569610596},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7533142566680908},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7028074264526367},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6880548596382141},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4882262051105499},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.45190703868865967},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42505699396133423},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.41410568356513977},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3446773290634155},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1396358609199524}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8779255151748657},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.8138606548309326},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7922470569610596},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7533142566680908},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7028074264526367},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6880548596382141},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4882262051105499},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.45190703868865967},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42505699396133423},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.41410568356513977},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3446773290634155},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1396358609199524}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-31365-3_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-31365-3_14","pdf_url":null,"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/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W142499984","https://openalex.org/W150932629","https://openalex.org/W186449447","https://openalex.org/W188994241","https://openalex.org/W1503421880","https://openalex.org/W1523346282","https://openalex.org/W1851346840","https://openalex.org/W1971616901","https://openalex.org/W1996804992","https://openalex.org/W2030101147","https://openalex.org/W2048619216","https://openalex.org/W2056580623","https://openalex.org/W2108611287","https://openalex.org/W2123631714","https://openalex.org/W2123828382","https://openalex.org/W2137628566","https://openalex.org/W2138559037","https://openalex.org/W2140295918","https://openalex.org/W2152221608","https://openalex.org/W2172166433","https://openalex.org/W2336123333","https://openalex.org/W2610670723","https://openalex.org/W2796564118","https://openalex.org/W2798401172","https://openalex.org/W2808195962","https://openalex.org/W3100190719","https://openalex.org/W4211144022","https://openalex.org/W4239007999","https://openalex.org/W4253618974"],"related_works":["https://openalex.org/W2961758588","https://openalex.org/W2020140696","https://openalex.org/W2396103282","https://openalex.org/W2622138879","https://openalex.org/W2935928249","https://openalex.org/W2506850889","https://openalex.org/W2584984136","https://openalex.org/W2099490078","https://openalex.org/W2591956186","https://openalex.org/W2090401819"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}