{"id":"https://openalex.org/W2786192668","doi":"https://doi.org/10.1145/3209108.3209142","title":"Polynomial Invariants for Affine Programs","display_name":"Polynomial Invariants for Affine Programs","publication_year":2018,"publication_date":"2018-06-27","ids":{"openalex":"https://openalex.org/W2786192668","doi":"https://doi.org/10.1145/3209108.3209142","mag":"2786192668"},"language":"en","primary_location":{"id":"doi:10.1145/3209108.3209142","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3209108.3209142","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3209108.3209142","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3209108.3209142","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053070582","display_name":"Ehud Hrushovski","orcid":"https://orcid.org/0000-0002-2761-6513"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ehud Hrushovski","raw_affiliation_strings":["Mathematical Institute, Oxford University, UK","Mathematical Institute, Oxford University, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematical Institute, Oxford University, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Mathematical Institute, Oxford University, UK#TAB#","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108955693","display_name":"Jo\u00ebl Ouaknine","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["DE","GB"],"is_corresponding":false,"raw_author_name":"Jo\u00ebl Ouaknine","raw_affiliation_strings":["Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany, Department of Computer Science, Oxford University, UK","Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany, Department of Computer Science, Oxford University, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany, Department of Computer Science, Oxford University, UK","institution_ids":["https://openalex.org/I4210121786","https://openalex.org/I4210146410"]},{"raw_affiliation_string":"Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany, Department of Computer Science, Oxford University, UK#TAB#","institution_ids":["https://openalex.org/I4210121786","https://openalex.org/I4210146410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072806743","display_name":"Amaury Pouly","orcid":"https://orcid.org/0000-0002-2549-951X"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Amaury Pouly","raw_affiliation_strings":["Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems, Saarland Informatics Campus, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068165188","display_name":"James Worrell","orcid":"https://orcid.org/0000-0001-8151-2443"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"James Worrell","raw_affiliation_strings":["Department of Computer Science, Oxford University, UK","Department of Computer Science Oxford University UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Oxford University, UK","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"]},{"raw_affiliation_string":"Department of Computer Science Oxford University UK","institution_ids":["https://openalex.org/I40120149","https://openalex.org/I4210146410"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.04160726,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"530","last_page":"539"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9937000274658203,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9918000102043152,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6687672138214111},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.6160237789154053},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.5085073709487915},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.487617164850235},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4661117196083069},{"id":"https://openalex.org/keywords/affine-hull","display_name":"Affine hull","score":0.442085325717926},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40919312834739685},{"id":"https://openalex.org/keywords/affine-space","display_name":"Affine space","score":0.40026530623435974},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38889044523239136},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.335080087184906}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6687672138214111},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.6160237789154053},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5085073709487915},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.487617164850235},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4661117196083069},{"id":"https://openalex.org/C112128483","wikidata":"https://www.wikidata.org/wiki/Q382504","display_name":"Affine hull","level":4,"score":0.442085325717926},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40919312834739685},{"id":"https://openalex.org/C173110770","wikidata":"https://www.wikidata.org/wiki/Q382698","display_name":"Affine space","level":3,"score":0.40026530623435974},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38889044523239136},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.335080087184906},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/3209108.3209142","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3209108.3209142","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3209108.3209142","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1802.01810","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1802.01810","pdf_url":"https://arxiv.org/pdf/1802.01810","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2786192668","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1802.01810.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:ora.ox.ac.uk:uuid:a0ede316-9a1d-40f7-8a3b-02eae1520e56","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:a0ede316-9a1d-40f7-8a3b-02eae1520e56","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference item"},{"id":"pmh:oai:pure.mpg.de:item_3032023","is_oa":false,"landing_page_url":"http://hdl.handle.net/21.11116/0000-0003-21F8-0","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.48550/arxiv.1802.01810","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1802.01810","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3209108.3209142","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3209108.3209142","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3209108.3209142","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1659557484","display_name":"Analysis, Verification, and Synthesis for Infinite-State Systems","funder_award_id":"648701","funder_id":"https://openalex.org/F4320338335","funder_display_name":"H2020 European Research Council"},{"id":"https://openalex.org/G2704700155","display_name":null,"funder_award_id":"EP/N008197/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7439426443","display_name":"Verification of Linear Dynamical Systems","funder_award_id":"EP/N008197/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338335","display_name":"H2020 European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2786192668.pdf","grobid_xml":"https://content.openalex.org/works/W2786192668.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W37006675","https://openalex.org/W204546099","https://openalex.org/W1971043610","https://openalex.org/W1973360680","https://openalex.org/W1993542933","https://openalex.org/W1997562124","https://openalex.org/W2026869748","https://openalex.org/W2031373197","https://openalex.org/W2037418280","https://openalex.org/W2043100293","https://openalex.org/W2050431915","https://openalex.org/W2054326409","https://openalex.org/W2074794353","https://openalex.org/W2080070043","https://openalex.org/W2098045685","https://openalex.org/W2099629271","https://openalex.org/W2118362509","https://openalex.org/W2132661148","https://openalex.org/W2151759383","https://openalex.org/W2171834078","https://openalex.org/W2780276625","https://openalex.org/W3003383064"],"related_works":["https://openalex.org/W2963164018","https://openalex.org/W2522017073","https://openalex.org/W2182451272","https://openalex.org/W2137258051","https://openalex.org/W1512385377","https://openalex.org/W2147988029","https://openalex.org/W2170846659","https://openalex.org/W2769857238","https://openalex.org/W2220846421","https://openalex.org/W2087749124","https://openalex.org/W3019145970","https://openalex.org/W576027790","https://openalex.org/W2001469438","https://openalex.org/W2060624832","https://openalex.org/W3046001584","https://openalex.org/W1979646426","https://openalex.org/W1483808285","https://openalex.org/W2058369414","https://openalex.org/W3105625475","https://openalex.org/W2408282431"],"abstract_inverted_index":{"We":[0],"exhibit":[1],"an":[2,47],"algorithm":[3],"to":[4,30,68],"compute":[5,69],"the":[6,62,70,74],"strongest":[7],"polynomial":[8],"(or":[9],"algebraic)":[10],"invariants":[11],"that":[12,76],"hold":[13],"at":[14],"each":[15],"location":[16],"of":[17,35,50,57,61,73],"a":[18,23,54],"given":[19,39,53],"affine":[20,41],"program":[21,24],"(i.e.,":[22],"having":[25],"only":[26],"non-deterministic":[27],"(as":[28],"opposed":[29],"conditional)":[31],"branching":[32],"and":[33],"all":[34],"whose":[36],"assignments":[37],"are":[38],"by":[40],"expressions).":[42],"Our":[43],"main":[44],"tool":[45],"is":[46],"algebraic":[48],"result":[49],"independent":[51],"interest:":[52],"finite":[55],"set":[56],"rational":[58],"square":[59],"matrices":[60],"same":[63],"dimension,":[64],"we":[65],"show":[66],"how":[67],"Zariski":[71],"closure":[72],"semigroup":[75],"they":[77],"generate.":[78]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}