{"id":"https://openalex.org/W4243693775","doi":"https://doi.org/10.1145/1133981.1134003","title":"Context-sensitive domain-independent algorithm composition and selection","display_name":"Context-sensitive domain-independent algorithm composition and selection","publication_year":2006,"publication_date":"2006-06-11","ids":{"openalex":"https://openalex.org/W4243693775","doi":"https://doi.org/10.1145/1133981.1134003"},"language":"en","primary_location":{"id":"doi:10.1145/1133981.1134003","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1133981.1134003","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5112225524","display_name":"Troy A. Johnson","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Troy A. Johnson","raw_affiliation_strings":["Purdue University, West Lafayette, IN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045622261","display_name":"Rudolf Eigenmann","orcid":"https://orcid.org/0000-0003-1651-827X"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rudolf Eigenmann","raw_affiliation_strings":["Purdue University, West Lafayette, IN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, IN","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.46402957,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"192"},"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.9944999814033508,"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.9944999814033508,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9940999746322632,"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/T10260","display_name":"Software Engineering Research","score":0.9926999807357788,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8676294088363647},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7757458686828613},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.691152811050415},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6159073710441589},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.5844038724899292},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.48969772458076477},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39049196243286133}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8676294088363647},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7757458686828613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.691152811050415},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6159073710441589},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.5844038724899292},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.48969772458076477},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39049196243286133}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1133981.1134003","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1133981.1134003","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W216567054","https://openalex.org/W1495775210","https://openalex.org/W1530827239","https://openalex.org/W1563421732","https://openalex.org/W1972085995","https://openalex.org/W1975255815","https://openalex.org/W1982205631","https://openalex.org/W1982282238","https://openalex.org/W1991591392","https://openalex.org/W1997147920","https://openalex.org/W2017943234","https://openalex.org/W2020391296","https://openalex.org/W2032905890","https://openalex.org/W2038754076","https://openalex.org/W2040856861","https://openalex.org/W2059696856","https://openalex.org/W2068759284","https://openalex.org/W2071839127","https://openalex.org/W2113352466","https://openalex.org/W2113997983","https://openalex.org/W2116981323","https://openalex.org/W2135144788","https://openalex.org/W2147554562","https://openalex.org/W2155986973","https://openalex.org/W2158376721","https://openalex.org/W2160823258","https://openalex.org/W2161074247","https://openalex.org/W2163771852","https://openalex.org/W2169336925","https://openalex.org/W2294861651","https://openalex.org/W2337392266","https://openalex.org/W2592184324","https://openalex.org/W2614653677","https://openalex.org/W2945800195","https://openalex.org/W4232188856","https://openalex.org/W4236116297","https://openalex.org/W4242057943","https://openalex.org/W4247332426","https://openalex.org/W6606720858","https://openalex.org/W6629245573","https://openalex.org/W6629388440","https://openalex.org/W6629716606","https://openalex.org/W6638599355","https://openalex.org/W6682141659","https://openalex.org/W6684678821"],"related_works":["https://openalex.org/W2128640905","https://openalex.org/W2011460173","https://openalex.org/W2021092055","https://openalex.org/W2171648479","https://openalex.org/W2132806979","https://openalex.org/W622882839","https://openalex.org/W2185017216","https://openalex.org/W1713081424","https://openalex.org/W2016345697","https://openalex.org/W1523769955"],"abstract_inverted_index":{"Progressing":[0],"beyond":[1],"the":[2,103,130,146,153,158,265],"productivity":[3],"of":[4,60,125,139,220,247],"present-day":[5],"languages":[6,14],"appears":[7],"to":[8,35,50,71,97,105,141,156,173,177,212],"require":[9,245],"using":[10],"domain-specific":[11],"knowledge.":[12],"Domain-specific":[13],"and":[15,22,107,180,217,244,255,258],"libraries":[16],"(DSLs)":[17],"proliferate,":[18],"but":[19],"most":[20],"optimizations":[21],"language":[23,56,253],"features":[24],"have":[25],"limited":[26],"portability":[27],"because":[28,170],"each":[29],"language's":[30],"semantics":[31],"are":[32,89],"related":[33],"closely":[34],"its":[36],"domain.":[37],"We":[38,251],"explain":[39],"how":[40],"any":[41],"DSL":[42,65],"compiler":[43,117,147],"can":[44,148],"use":[45],"a":[46,55,63,114,123,137,143,189,215,248,261],"domain-independent":[47],"AI":[48,134],"planner":[49],"implement":[51,149],"algorithm":[52,111],"composition":[53,61,150,164,214],"as":[54],"feature.":[57],"Our":[58],"notion":[59],"addresses":[62],"common":[64],"problem:":[66],"good":[67],"library":[68,126],"designers":[69],"tend":[70],"minimize":[72],"redundancy":[73],"by":[74,91,151],"including":[75],"only":[76],"fundamental":[77],"procedures":[78],"that":[79],"users":[80,88,225],"must":[81],"chain":[82],"together":[83],"into":[84],"call":[85,108,121],"sequences.":[86],"Novice":[87],"confounded":[90],"not":[92,168,194,235],"knowing":[93],"an":[94,109,119,232],"appropriate":[95],"sequence":[96,124,138],"achieve":[98],"their":[99],"goal.":[100],"Composition":[101],"allows":[102],"programmer":[104],"define":[106],"abstract":[110],"(AA)":[112],"like":[113],"procedure.":[115],"The":[116],"replaces":[118],"AA":[120,233],"with":[122,204],"calls,":[127],"while":[128],"considering":[129],"calling":[131,154],"context.":[132],"Because":[133],"planners":[135],"compute":[136],"operations":[140],"reach":[142],"goal":[144],"state,":[145],"analyzing":[152],"context":[155],"provide":[157],"planner's":[159],"initial":[160],"state.":[161],"Nevertheless,":[162],"mapping":[163],"onto":[165],"planning":[166,172,190],"is":[167,210],"straightforward":[169],"applying":[171],"software":[174],"requires":[175],"extensions":[176],"classical":[178],"planning,":[179],"procedure":[181],"specifications":[182],"may":[183,193,234],"be":[184,195,236],"incomplete":[185],"when":[186],"expressed":[187],"in":[188,238],"language.":[191],"Compositions":[192,230],"provably":[196],"correct,":[197],"so":[198],"our":[199],"approach":[200],"mitigates":[201],"semantic":[202],"incompleteness":[203],"unobtrusive":[205],"programmer-compiler":[206],"interaction.":[207],"This":[208],"tradeoff":[209],"key":[211],"making":[213],"practical":[216],"natural":[218],"feature":[219],"otherwise":[221],"imperative":[222],"languages,":[223],"whose":[224],"eschew":[226],"complex":[227],"logical":[228],"specifications.":[229],"satisfying":[231],"equal":[237],"performance,":[239],"memory":[240],"usage,":[241],"or":[242],"precision":[243],"selection":[246],"preferred":[249],"solution.":[250],"examine":[252],"design":[254],"implementation":[256],"issues,":[257],"we":[259],"perform":[260],"case":[262],"study":[263],"on":[264],"BioPerl":[266],"bioinformatics":[267],"library.":[268]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}