{"id":"https://openalex.org/W4404542366","doi":"https://doi.org/10.1145/3703921","title":"Footprint Logic for Object-Oriented Components (extended paper)","display_name":"Footprint Logic for Object-Oriented Components (extended paper)","publication_year":2024,"publication_date":"2024-11-20","ids":{"openalex":"https://openalex.org/W4404542366","doi":"https://doi.org/10.1145/3703921"},"language":"en","primary_location":{"id":"doi:10.1145/3703921","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703921","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703921","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3703921","any_repository_has_fulltext":true},"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/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]},{"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":"F. S. de Boer","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands and Centrum Wiskunde en Informatica, Amsterdam, Netherlands","Centrum Wiskunde en Informatica, Amsterdam, Netherlands","Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3950-6271","affiliations":[{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands and Centrum Wiskunde en Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Centrum Wiskunde en Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands","institution_ids":["https://openalex.org/I121797337"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058794403","display_name":"Stijn de Gouw","orcid":"https://orcid.org/0000-0003-2964-6844"},"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"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Stijn de Gouw","raw_affiliation_strings":["Open University of The Netherlands, Heerlen, Netherlands and Centrum Wiskunde en Informatica, Amsterdam, Netherlands","Centrum Wiskunde en Informatica, Amsterdam Netherlands","Open University of The Netherlands, Heerlen, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-2964-6844","affiliations":[{"raw_affiliation_string":"Open University of The Netherlands, Heerlen, Netherlands and Centrum Wiskunde en Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I7876267"]},{"raw_affiliation_string":"Centrum Wiskunde en Informatica, Amsterdam Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Open University of The Netherlands, Heerlen, Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016838809","display_name":"Hans-Dieter A. Hiep","orcid":"https://orcid.org/0000-0001-9677-6644"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]},{"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":"Hans-Dieter Hiep","raw_affiliation_strings":["Centrum Wiskunde & Informatica, Amsterdam, Netherlands and Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands","Centrum voor Wiskunde en Informatica, Amsterdam Netherlands","Leiden Institute of Advanced Computer Science, Leiden University, Leiden Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-9677-6644","affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, Netherlands and Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands","institution_ids":["https://openalex.org/I121797337","https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Centrum voor Wiskunde en Informatica, Amsterdam Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden Netherlands","institution_ids":["https://openalex.org/I121797337"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021852579","display_name":"Jinting Bian","orcid":"https://orcid.org/0000-0001-5003-598X"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]},{"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":"Jinting Bian","raw_affiliation_strings":["Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands and Centrum Wiskunde en Informatica, Amsterdam, Netherlands","Centrum Wiskunde en Informatica, Amsterdam Netherlands","Leiden Institute of Advanced Computer Science, Leiden University, Leiden Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-5003-598X","affiliations":[{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, Netherlands and Centrum Wiskunde en Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Centrum Wiskunde en Informatica, Amsterdam Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden Netherlands","institution_ids":["https://openalex.org/I121797337"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15158495,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":"2","first_page":"1","last_page":"23"},"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.9979000091552734,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9975000023841858,"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/separation-logic","display_name":"Separation logic","score":0.7694723606109619},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6783223748207092},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.6291449069976807},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5809119343757629},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.560650646686554},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5500697493553162},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5146897435188293},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5125762820243835},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5090289115905762},{"id":"https://openalex.org/keywords/memory-footprint","display_name":"Memory footprint","score":0.4864613711833954},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.47246456146240234},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.41457849740982056},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3628472685813904},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28807246685028076},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15812835097312927}],"concepts":[{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.7694723606109619},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6783223748207092},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.6291449069976807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5809119343757629},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.560650646686554},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5500697493553162},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5146897435188293},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5125762820243835},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5090289115905762},{"id":"https://openalex.org/C74912251","wikidata":"https://www.wikidata.org/wiki/Q6815727","display_name":"Memory footprint","level":2,"score":0.4864613711833954},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.47246456146240234},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.41457849740982056},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3628472685813904},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28807246685028076},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15812835097312927},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3703921","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703921","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703921","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:cwi.nl:35162","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/35162","pdf_url":"https://ir.cwi.nl/pub/35162/35162.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Aspects of Computing vol. 37 no. 2, pp. 11:1-11:23","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:research.ou.nl:publications/54d4ae03-67d1-48ca-af83-0cde6719f027","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/54d4ae03-67d1-48ca-af83-0cde6719f027","pdf_url":null,"source":{"id":"https://openalex.org/S4306401002","display_name":"DSpace (Open University in the Netherlands)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I7876267","host_organization_name":"Open University of the Netherlands","host_organization_lineage":["https://openalex.org/I7876267"],"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":"De Boer, F S, De Gouw, S, Hiep, H D & Bian, J 2025, 'Footprint Logic for Object-Oriented Components (extended paper)', Formal Aspects of Computing, vol. 37, no. 2, 11. https://doi.org/10.1145/3703921","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3703921","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703921","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703921","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404542366.pdf"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W52272913","https://openalex.org/W117888344","https://openalex.org/W1481018260","https://openalex.org/W1484212705","https://openalex.org/W1486095773","https://openalex.org/W1489237563","https://openalex.org/W1553421328","https://openalex.org/W1565541828","https://openalex.org/W1583826417","https://openalex.org/W2053154567","https://openalex.org/W2062174903","https://openalex.org/W2068567986","https://openalex.org/W2114407491","https://openalex.org/W2137628566","https://openalex.org/W2315100164","https://openalex.org/W2565255124","https://openalex.org/W2567350985","https://openalex.org/W2746792245","https://openalex.org/W4213152241","https://openalex.org/W4312458987","https://openalex.org/W6902148902"],"related_works":["https://openalex.org/W4242316017","https://openalex.org/W2081658857","https://openalex.org/W4255372513","https://openalex.org/W4296607663","https://openalex.org/W4290679430","https://openalex.org/W2127668151","https://openalex.org/W1481101394","https://openalex.org/W4283582377","https://openalex.org/W2594835963","https://openalex.org/W3102946249"],"abstract_inverted_index":{"We":[0],"introduce":[1],"a":[2,14,29,81,90],"new":[3,94],"way":[4],"of":[5,11,22,45,56,63,73,80,83],"reasoning":[6],"about":[7,104],"invariance":[8,72],"in":[9,13],"terms":[10],"footprints":[12],"program":[15],"logic":[16,107],"for":[17],"object-oriented":[18,24],"components.":[19],"A":[20],"footprint":[21],"an":[23],"component":[25,58],"is":[26,76,96],"formalized":[27],"as":[28],"monadic":[30],"predicate":[31],"that":[32],"describes":[33],"which":[34,54,75,86],"objects":[35,55],"on":[36],"the":[37,43,46,57],"heap":[38],"can":[39,59],"be":[40,60],"affected":[41],"by":[42,78],"execution":[44],"component.":[47],"Assuming":[48],"encapsulation,":[49],"this":[50],"amounts":[51,69],"to":[52,70,89,98,102],"specifying":[53],"called.":[61],"Adaptation":[62],"local":[64],"specifications":[65,68],"into":[66],"global":[67],"showing":[71],"assertions,":[74],"ensured":[77],"means":[79],"form":[82],"bounded":[84],"quantification":[85],"excludes":[87],"references":[88],"given":[91],"footprint.":[92],"The":[93],"approach":[95],"compared":[97],"two":[99],"existing":[100],"approaches":[101],"reason":[103],"invariance:":[105],"separation":[106],"and":[108],"dynamic":[109],"frames.":[110]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}