{"id":"https://openalex.org/W1492693480","doi":"https://doi.org/10.6083/9w0323285","title":"Improving programs which recurse over multiple inductive structures","display_name":"Improving programs which recurse over multiple inductive structures","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W1492693480","doi":"https://doi.org/10.6083/9w0323285","mag":"1492693480"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.5611","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-sop.inria.fr/oasis/personnel/Didier.Parigot/www/fnc2/Postscript/Fegaras94.ps.gz","raw_type":"text"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.6083/9w0323285","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061836265","display_name":"Leonidas Fegaras","orcid":"https://orcid.org/0000-0003-2843-8103","observed_orcids":["https://orcid.org/0000-0003-2843-8103"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fegaras, Leonidas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5061836265"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"21","last_page":"32"},"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.9994999766349792,"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.9994999766349792,"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/T10317","display_name":"Advanced Database Systems and Queries","score":9.999999747378752e-05,"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/T11567","display_name":"semigroups and automata theory","score":9.999999747378752e-05,"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/program-improvement","display_name":"program improvement","score":0.5529999732971191},{"id":"https://openalex.org/keywords/automatic-optimization","display_name":"automated optimization","score":0.671999990940094},{"id":"https://openalex.org/keywords/zip","display_name":"ZIP","score":0.5590000152587891}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5511384606361389}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.5611","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5611","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-sop.inria.fr/oasis/personnel/Didier.Parigot/www/fnc2/Postscript/Fegaras94.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.45.7139","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.7139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/fegaras.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.49.9211","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.9211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://cse.ogi.edu/pub/pacsoft/papers/ImpProgRecMult.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.651.768","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.768","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://repository.readscheme.org/ftp/papers/pepm94/fegaras.pdf","raw_type":"text"},{"id":"doi:10.6083/9w0323285","doi":"https://doi.org/10.6083/9w0323285","is_oa":true,"landing_page_url":"https://doi.org/10.6083/9w0323285","pdf_url":null,"source":{"id":"https://openalex.org/S7407052320","display_name":"OHSU Digital Commons","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I165690674","host_organization_name":"Oregon Health & Science University","host_organization_lineage":["https://openalex.org/I165690674"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:1492693480","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/pepm/pepm94.html#FegarasSZ94","pdf_url":null,"source":{"id":"https://openalex.org/S4306420686","display_name":"Partial Evaluation and Semantic-Based Program Manipulation","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Partial Evaluation and Semantic-Based Program Manipulation","raw_type":null}],"best_oa_location":{"id":"doi:10.6083/9w0323285","doi":"https://doi.org/10.6083/9w0323285","is_oa":true,"landing_page_url":"https://doi.org/10.6083/9w0323285","pdf_url":null,"source":{"id":"https://openalex.org/S7407052320","display_name":"OHSU Digital Commons","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I165690674","host_organization_name":"Oregon Health & Science University","host_organization_lineage":["https://openalex.org/I165690674"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2098415926","https://openalex.org/W7095341010","https://openalex.org/W205018605","https://openalex.org/W62725715","https://openalex.org/W2109317282","https://openalex.org/W2188086419","https://openalex.org/W2562211875","https://openalex.org/W7100461060","https://openalex.org/W7100233512","https://openalex.org/W1541120191"],"abstract_inverted_index":{"This":[0,36,64,125],"paper":[1,37],"considers":[2],"generic":[3,52,114],"recursion":[4,115,141],"schemes":[5,28,116,142],"for":[6,42,59,130],"programs":[7,45,50],"which":[8,134],"recurse":[9],"over":[10,69,80],"multiple":[11,81],"inductive":[12],"structures":[13],"simultaneously,":[14],"such":[15,44],"as":[16],"equality,":[17],"zip":[18],"and":[19,46,91],"the":[20,57,70],"nth":[21],"element":[22],"of":[23],"a":[24,39,97,118,128],"list":[25],"function.":[26],"Such":[27],"have":[29,108],"been":[30],"notably":[31],"absent":[32],"from":[33],"previous":[34,103],"work.":[35],"defines":[38],"uniform":[40],"mechanism":[41],"defining":[43],"shows":[47],"that":[48],"these":[49,140],"satisfy":[51],"theorems.":[53],"These":[54],"theorems":[55],"are":[56],"basis":[58,129],"an":[60,67],"automatic":[61,131],"improvement":[62,68],"algorithm.":[63],"algorithm":[65,71],"is":[66,92],"presented":[72],"earlier":[73],"[15]":[74],"because,":[75],"in":[76],"addition":[77],"to":[78,96,121],"inducting":[79],"structures,":[82],"it":[83],"can":[84],"be":[85],"incorporated":[86],"into":[87],"any":[88],"algebraic":[89],"language":[90],"no":[93],"longer":[94],"restricted":[95],"\"safe\"":[98],"subset.":[99],"1":[100],"Introduction":[101],"In":[102],"work":[104],"[15,":[105],"16]":[106],"we":[107],"shown":[109],"how":[110],"programming":[111],"algebraically":[112],"with":[113],"provides":[117,127],"theory":[119,126],"amenable":[120],"program":[122],"calculation":[123],"[14].":[124],"optimization":[132],"techniques":[133],"capture":[135],"many":[136],"well-known":[137],"transformations.":[138],"Unfortunately,":[139],"may":[143],"...":[144]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}