{"id":"https://openalex.org/W196769900","doi":null,"title":"Adaptation-based programming","display_name":"Adaptation-based programming","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W196769900","mag":"196769900"},"language":"en","primary_location":{"id":"mag:196769900","doi":null,"is_oa":false,"landing_page_url":"https://ir.library.oregonstate.edu/downloads/m900nw83n","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},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5078733350","display_name":"Martin Erwig","orcid":"https://orcid.org/0000-0002-7471-4554","observed_orcids":["https://orcid.org/0000-0002-7471-4554"]},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Erwig","raw_affiliation_strings":["Oregon State University>"],"raw_orcid":"https://orcid.org/0000-0002-7471-4554","affiliations":[{"raw_affiliation_string":"Oregon State University>","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"last","author":{"id":null,"display_name":"Tim Bauer","orcid":"https://orcid.org/0000-0002-9945-1711","observed_orcids":["https://orcid.org/0000-0002-9945-1711"]},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Bauer","raw_affiliation_strings":["Oregon State University>"],"raw_orcid":"https://orcid.org/0000-0002-9945-1711","affiliations":[{"raw_affiliation_string":"Oregon State University>","institution_ids":["https://openalex.org/I131249849"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I131249849"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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.5996000170707703,"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.5996000170707703,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.22750000655651093,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.05290000140666962,"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/reinforcement-learning","display_name":"reinforcement learning","score":0.9330000281333923},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.8009999990463257},{"id":"https://openalex.org/keywords/nondeterministic-programs","display_name":"nondeterministic programs","score":0.7639999985694885},{"id":"https://openalex.org/keywords/domain-specific-languages","display_name":"domain-specific languages","score":0.703000009059906},{"id":"https://openalex.org/keywords/adaptive-programs","display_name":"adaptive programs","score":0.7239999771118164},{"id":"https://openalex.org/keywords/programming-language-semantics","display_name":"program semantics","score":0.5379999876022339},{"id":"https://openalex.org/keywords/learning-rate-optimization","display_name":"learning rate optimization","score":0.39899998903274536},{"id":"https://openalex.org/keywords/object-oriented-library","display_name":"object-oriented library","score":0.5009999871253967},{"id":"https://openalex.org/keywords/functional-programming","display_name":"functional programming","score":0.4309999942779541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.784801185131073},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6611708402633667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6129992604255676},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6029865741729736},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.504916250705719},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.494113951921463},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4744240641593933},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.47337931394577026},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4661950170993805},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45525985956192017},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4498710036277771},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4294975996017456},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.4100303053855896},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37002110481262207},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2855067551136017},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08381056785583496},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:196769900","doi":null,"is_oa":false,"landing_page_url":"https://ir.library.oregonstate.edu/downloads/m900nw83n","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":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7095797416","https://openalex.org/W2121620612","https://openalex.org/W2160616589","https://openalex.org/W3081643067","https://openalex.org/W7098829014","https://openalex.org/W7100315093","https://openalex.org/W2388604247","https://openalex.org/W2735351879","https://openalex.org/W2151919976","https://openalex.org/W2112435437"],"abstract_inverted_index":{"Partial":[0],"programming":[1,45,79,429],"is":[2,40,87,121,190,223],"a":[3,15,34,41,56,73,110,193,229,234,316,412],"field":[4,51,290],"of":[5,14,43,52,58,65,89,93,168,174,187,206,226,275,291,303,306,399],"study":[6],"where":[7,84,360],"users":[8,105],"specify":[9],"an":[10,29,127,224,273,278,335],"outline":[11],"or":[12],"skeleton":[13],"program,":[16],"but":[17,338],"leave":[18],"various":[19,82,156,166],"parts":[20,24],"undefined.":[21],"The":[22,117,185],"undefined":[23],"are":[25],"then":[26],"completed":[27,122],"by":[28,123],"external":[30],"mechanism":[31],"to":[32,61,152,191,199,254,258,320,329,356,365,384,407],"form":[33],"complete":[35],"program.":[36,116],"Adaptation-Based":[37],"Programming":[38],"(ABP)":[39],"method":[42],"partial":[44,67,74],"that":[46,98,138,158,197,211,246,281,342,375,401],"utilizes":[47],"techniques":[48,136],"from":[49,137,288,310],"the":[50,85,90,133,143,147,160,172,204,209,212,289,304,307,311,322,340,377,386,397],"reinforcement":[53],"learning":[54,267,308,318],"(RL),":[55],"subfield":[57],"machine":[59],"learning,":[60],"find":[62],"good":[63],"completions":[64],"those":[66],"programs.":[68,250],"\r\nAn":[69],"ABP":[70,148,169,227,276,343,402],"user":[71,313],"writes":[72],"program":[75,107,120,210,323],"in":[76,114,220,248,334],"some":[77,357],"host":[78],"language.":[80,236],"At":[81],"points":[83,157,205],"programmer":[86,213],"uncertain":[88],"best":[91],"course":[92],"action,":[94],"they":[95],"include":[96],"choices":[97,154],"non-deterministically":[99],"select":[100,153],"amongst":[101],"several":[102],"options.":[103],"Additionally,":[104],"indicate":[106],"success":[108],"through":[109],"reward":[111,161],"construct":[112],"somewhere":[113],"their":[115,200],"resulting":[118],"non-deterministic":[119],"treating":[124,350],"it":[125,328],"as":[126,171,228,277,285,353],"equivalent":[128],"RL":[129,144,292,425],"problem":[130,134,372],"and":[131,244,257,314,381,421],"solving":[132],"with":[135,182,262,373],"field.":[139],"Over":[140],"repeated":[141],"executions,":[142],"algorithms":[145,374],"within":[146,208,233],"system":[149],"will":[150],"learn":[151,394],"at":[155,388],"maximize":[159],"received.":[162],"\r\nThis":[163,409],"thesis":[164],"explores":[165],"aspects":[167],"such":[170],"semantics":[173],"different":[175,178,263],"implementations,":[176],"including":[177],"design":[179],"trade-offs":[180],"encountered":[181],"each":[183],"approach.":[184],"goal":[186],"all":[188],"approaches":[189],"present":[192],"model":[194,415],"for":[195,241,416],"programs":[196,284,352,363,393],"adapt":[198,366],"environment":[201],"based":[202],"on":[203],"uncertainty":[207],"has":[214],"indicated.":[215],"\r\nThe":[216],"first":[217],"approach":[218,271,299],"presented":[219],"this":[221,371],"work":[222,369,410],"implementation":[225,274],"domain-specific":[230],"language":[231,238,252],"embedded":[232],"functional":[235],"This":[237,251,298,331,368],"provides":[239],"constructs":[240],"common":[242],"patterns":[243],"situations":[245,359],"arise":[247],"adaptive":[249,283,351,378,392,418],"proves":[253],"be":[255,346,405],"compositional":[256],"foster":[259],"rapid":[260],"experimentation":[261],"adaptation":[264,324],"methods":[265],"(e.g.":[266],"algorithms).":[268],"A":[269],"second":[270],"presents":[272],"object-oriented":[279],"library":[280],"models":[282],"formal":[286],"systems":[287],"called":[293],"Markov":[294],"Decision":[295],"Processes":[296],"(MDPs).":[297],"abstracts":[300],"away":[301],"many":[302],"details":[305],"algorithm":[309,319],"casual":[312],"uses":[315],"fixed":[317],"control":[321],"rather":[325],"than":[326],"allowing":[327],"vary.":[330],"abstraction":[332],"results":[333],"easier-to-use":[336],"library,":[337],"limits":[339],"scenarios":[341],"can":[344,403],"effectively":[345,404],"used":[347,406],"in.":[348],"Moreover,":[349],"MDPs":[354],"leads":[355],"unintuitive":[358],"seemingly":[361],"reasonably":[362],"fail":[364],"efficiently.":[367],"addresses":[370],"analyze":[376],"program\u2019s":[379],"structure":[380],"data":[382],"flow":[383],"boost":[385],"rate":[387],"which":[389],"these":[390],"problematic":[391],"thus":[395],"increasing":[396],"number":[398],"problems":[400],"solve.":[408],"demonstrates":[411],"powerful":[413],"new":[414],"writing":[417],"computer":[419],"programs,":[420],"seamlessly":[422],"integrates":[423],"advanced":[424],"technologies":[426],"into":[427],"general-purpose":[428],"languages.":[430]},"counts_by_year":[],"updated_date":"2026-09-29T14:09:16.559479","created_date":"2016-06-24T00:00:00"}