{"id":"https://openalex.org/W750718250","doi":null,"title":"Complete Program Synthesis for Linear Arithmetic","display_name":"Complete Program Synthesis for Linear Arithmetic","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W750718250","mag":"750718250"},"language":"en","primary_location":{"id":"pmh:oai:infoscience.tind.io:143444","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/143444","pdf_url":"https://infoscience.epfl.ch/record/143444/files/MasterThesisMikaelMayer.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"master thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://infoscience.epfl.ch/record/143444/files/MasterThesisMikaelMayer.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020869737","display_name":"Mika\u00ebl Mayer","orcid":"https://orcid.org/0000-0002-6460-8731","observed_orcids":["https://orcid.org/0000-0002-6460-8731"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mika\u00ebl Mayer","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6460-8731","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5020869737"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9599999785423279,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9599999785423279,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.011099999770522118,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.004699999932199717,"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/program-synthesis","display_name":"program synthesis","score":0.9829999804496765},{"id":"https://openalex.org/keywords/linear-arithmetic","display_name":"linear arithmetic","score":0.7860000133514404},{"id":"https://openalex.org/keywords/linear-integer-arithmetic","display_name":"linear integer arithmetic","score":0.9929999709129333},{"id":"https://openalex.org/keywords/presburger-arithmetic","display_name":"Presburger arithmetic","score":0.843999981880188},{"id":"https://openalex.org/keywords/boolean-algebra","display_name":"Boolean algebra","score":0.9020000100135803}],"concepts":[{"id":"https://openalex.org/C5852641","wikidata":"https://www.wikidata.org/wiki/Q956059","display_name":"Presburger arithmetic","level":3,"score":0.8728704452514648},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7077060341835022},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6550740003585815},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.6442322731018066},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6000903844833374},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.547405481338501},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.504278302192688},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.5041555166244507},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3480679988861084},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30449897050857544},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3021332621574402},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:infoscience.tind.io:143444","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/143444","pdf_url":"https://infoscience.epfl.ch/record/143444/files/MasterThesisMikaelMayer.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"master thesis"},{"id":"pmh:oai:infoscience.epfl.ch:143444","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/143444","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"mag:750718250","doi":null,"is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/143444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:143444","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/143444","pdf_url":"https://infoscience.epfl.ch/record/143444/files/MasterThesisMikaelMayer.pdf","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"master thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W750718250.pdf","grobid_xml":"https://content.openalex.org/works/W750718250.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W205696660","https://openalex.org/W612854017","https://openalex.org/W1507575253","https://openalex.org/W1509437856","https://openalex.org/W1524877046","https://openalex.org/W1545681762","https://openalex.org/W1556604985","https://openalex.org/W1569051713","https://openalex.org/W1582359184","https://openalex.org/W1582408114","https://openalex.org/W1606121052","https://openalex.org/W1726736548","https://openalex.org/W1902468750","https://openalex.org/W1927382928","https://openalex.org/W1959256509","https://openalex.org/W1963547452","https://openalex.org/W1964874178","https://openalex.org/W1974514467","https://openalex.org/W1988441831","https://openalex.org/W1993836075","https://openalex.org/W2012436850","https://openalex.org/W2016206563","https://openalex.org/W2037237472","https://openalex.org/W2051723391","https://openalex.org/W2063727779","https://openalex.org/W2076242896","https://openalex.org/W2080267935","https://openalex.org/W2103953153","https://openalex.org/W2105315191","https://openalex.org/W2111299652","https://openalex.org/W2132331020","https://openalex.org/W2162315884","https://openalex.org/W2171313158","https://openalex.org/W2293033107","https://openalex.org/W2467407789","https://openalex.org/W2912166712","https://openalex.org/W3004540582","https://openalex.org/W3023554972","https://openalex.org/W3146075203","https://openalex.org/W3158747708"],"related_works":["https://openalex.org/W7096752837","https://openalex.org/W7099898922","https://openalex.org/W2080911793","https://openalex.org/W7170159008","https://openalex.org/W3149892921","https://openalex.org/W4240339708","https://openalex.org/W2245544685","https://openalex.org/W2155180204","https://openalex.org/W2440748874","https://openalex.org/W1711276981"],"abstract_inverted_index":{"Synthesis":[0],"of":[1,27],"programs":[2,11],"or":[3,38],"their":[4,15],"fragments":[5],"is":[6,42],"a":[7],"way":[8],"to":[9,35,43,83],"write":[10],"by":[12],"providing":[13],"only":[14],"meaning":[16],"without":[17],"worrying":[18],"about":[19],"the":[20,25,75],"implementation":[21,73],"details.":[22],"It":[23],"avoids":[24],"drawback":[26],"writing":[28],"sequential":[29],"code,":[30],"which":[31],"might":[32],"be":[33],"difficult":[34],"check,":[36],"error-prone":[37],"tedious.":[39],"Our":[40,72],"contribution":[41],"provide":[44],"complete":[45],"program":[46],"synthesis":[47,58],"algorithms":[48,59],"with":[49],"unbounded":[50],"data":[51],"types":[52],"in":[53],"decidable":[54],"theories.":[55],"We":[56],"present":[57],"for":[60,87],"Linear":[61,64,69],"Rational":[62],"Arithmetic,":[63],"Integer":[65,70],"Arithmetic":[66,89],"and":[67,74],"Parametrized":[68],"Arithmetic.":[71],"associated":[76],"Scala":[77],"compiler":[78],"plug-in":[79],"have":[80],"been":[81],"used":[82],"implement":[84],"Boolean":[85],"Algebra":[86],"Presburger":[88],"synthesis.":[90]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}