{"id":"https://openalex.org/W2153324799","doi":"https://doi.org/10.31274/rtd-180813-16445","title":"A design discipline and language features for modular reasoning in aspect-oriented programs","display_name":"A design discipline and language features for modular reasoning in aspect-oriented programs","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2153324799","doi":"https://doi.org/10.31274/rtd-180813-16445","mag":"2153324799"},"language":"en","primary_location":{"id":"doi:10.31274/rtd-180813-16445","is_oa":false,"landing_page_url":"https://doi.org/10.31274/rtd-180813-16445","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University, Digital Repository","raw_type":"dissertation"},"type":"dissertation","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/A5052398249","display_name":"Curtis Clifton","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Curtis Charles Clifton","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5052398249"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":34,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.991100013256073,"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/T10260","display_name":"Software Engineering Research","score":0.9868000149726868,"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.7999455332756042},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7740994691848755},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7425895929336548},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.6723409295082092},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5390498042106628},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.5004158020019531},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.5000567436218262},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.42930343747138977},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3891451954841614},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20389264822006226},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.08570897579193115}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7999455332756042},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7740994691848755},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7425895929336548},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.6723409295082092},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5390498042106628},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5004158020019531},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.5000567436218262},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42930343747138977},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3891451954841614},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20389264822006226},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.08570897579193115},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.31274/rtd-180813-16445","is_oa":false,"landing_page_url":"https://doi.org/10.31274/rtd-180813-16445","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University, Digital Repository","raw_type":"dissertation"},{"id":"pmh:oai:lib.dr.iastate.edu:cs_techreports-1277","is_oa":false,"landing_page_url":"https://lib.dr.iastate.edu/cs_techreports/296","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Technical Reports","raw_type":"text"},{"id":"pmh:oai:lib.dr.iastate.edu:rtd-2839","is_oa":false,"landing_page_url":"https://lib.dr.iastate.edu/rtd/1840","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Retrospective Theses and Dissertations","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":132,"referenced_works":["https://openalex.org/W9622150","https://openalex.org/W35491075","https://openalex.org/W168248273","https://openalex.org/W193724929","https://openalex.org/W194677851","https://openalex.org/W326743114","https://openalex.org/W1480418491","https://openalex.org/W1494264673","https://openalex.org/W1495368328","https://openalex.org/W1500601312","https://openalex.org/W1504633425","https://openalex.org/W1513136098","https://openalex.org/W1518108783","https://openalex.org/W1518218347","https://openalex.org/W1518862520","https://openalex.org/W1519249316","https://openalex.org/W1523525039","https://openalex.org/W1535103785","https://openalex.org/W1536265389","https://openalex.org/W1544633123","https://openalex.org/W1552313422","https://openalex.org/W1555070304","https://openalex.org/W1564121721","https://openalex.org/W1573044584","https://openalex.org/W1575222272","https://openalex.org/W1577182889","https://openalex.org/W1580631325","https://openalex.org/W1584285747","https://openalex.org/W1590320528","https://openalex.org/W1591007360","https://openalex.org/W1591331624","https://openalex.org/W1610570299","https://openalex.org/W1638559933","https://openalex.org/W1644882639","https://openalex.org/W1649645444","https://openalex.org/W1727609483","https://openalex.org/W1812582761","https://openalex.org/W1851327982","https://openalex.org/W1855341394","https://openalex.org/W1909182495","https://openalex.org/W1953148806","https://openalex.org/W1964979656","https://openalex.org/W1965418329","https://openalex.org/W1970462831","https://openalex.org/W1970681152","https://openalex.org/W1971828143","https://openalex.org/W1971860760","https://openalex.org/W1972328015","https://openalex.org/W1978303100","https://openalex.org/W1980939032","https://openalex.org/W1988978715","https://openalex.org/W1991604845","https://openalex.org/W1995008247","https://openalex.org/W1997502136","https://openalex.org/W2003539206","https://openalex.org/W2008132476","https://openalex.org/W2013492611","https://openalex.org/W2017743728","https://openalex.org/W2029414465","https://openalex.org/W2030406826","https://openalex.org/W2033348393","https://openalex.org/W2035529004","https://openalex.org/W2040348150","https://openalex.org/W2045337518","https://openalex.org/W2051665668","https://openalex.org/W2052087935","https://openalex.org/W2052856457","https://openalex.org/W2055095027","https://openalex.org/W2055970549","https://openalex.org/W2057334711","https://openalex.org/W2059295282","https://openalex.org/W2061056245","https://openalex.org/W2061341742","https://openalex.org/W2068542719","https://openalex.org/W2087384268","https://openalex.org/W2088018252","https://openalex.org/W2090883292","https://openalex.org/W2091089602","https://openalex.org/W2091304221","https://openalex.org/W2091857576","https://openalex.org/W2093186740","https://openalex.org/W2094160561","https://openalex.org/W2094282293","https://openalex.org/W2095355321","https://openalex.org/W2095631859","https://openalex.org/W2096193388","https://openalex.org/W2097304805","https://openalex.org/W2098884586","https://openalex.org/W2101928793","https://openalex.org/W2107283383","https://openalex.org/W2107778618","https://openalex.org/W2110050316","https://openalex.org/W2110520096","https://openalex.org/W2110795198","https://openalex.org/W2111386044","https://openalex.org/W2111534799","https://openalex.org/W2116793756","https://openalex.org/W2117153488","https://openalex.org/W2118229393","https://openalex.org/W2119857670","https://openalex.org/W2122291521","https://openalex.org/W2124476310","https://openalex.org/W2127581079","https://openalex.org/W2136371406","https://openalex.org/W2136839747","https://openalex.org/W2137192861","https://openalex.org/W2137628566","https://openalex.org/W2138839382","https://openalex.org/W2139453480","https://openalex.org/W2139576973","https://openalex.org/W2143206641","https://openalex.org/W2143238865","https://openalex.org/W2144579789","https://openalex.org/W2146934772","https://openalex.org/W2149612550","https://openalex.org/W2151716725","https://openalex.org/W2157405063","https://openalex.org/W2157728090","https://openalex.org/W2158024764","https://openalex.org/W2158126684","https://openalex.org/W2158376721","https://openalex.org/W2160456755","https://openalex.org/W2161825580","https://openalex.org/W2164067955","https://openalex.org/W2166985644","https://openalex.org/W2167500728","https://openalex.org/W2171685273","https://openalex.org/W2295150383","https://openalex.org/W2983136877","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2358828553","https://openalex.org/W1997930866","https://openalex.org/W2789798493","https://openalex.org/W2393199145","https://openalex.org/W2038093010","https://openalex.org/W2356136292","https://openalex.org/W2544985298","https://openalex.org/W2548201879","https://openalex.org/W2541817194","https://openalex.org/W2358873225"],"abstract_inverted_index":{"Aspect-oriented":[0,37],"programming":[1,20,38],"lets":[2],"programmers":[3,138],"modularize":[4],"concerns":[5],"that":[6,25,52,63,175,206,228,253,327],"are":[7,75,217,261],"orthogonal":[8],"to":[9,42,58,78,111,220,251,275,288,317],"the":[10,28,34,61,91,112,118,123,126,131,134,147,150,185,189,198,223,226,241,248,276,282,300,309,328],"main":[11,35],"decomposition":[12],"of":[13,69,93,114,125,149,225,232,269,311],"a":[14,53,66,142],"program.":[15],"To":[16,279],"do":[17,280],"this,":[18,281],"aspect-oriented":[19,169,179,313],"includes":[21],"modules":[22],"called":[23],"aspects":[24,41,62,207],"may":[26,237,332],"modify":[27,222],"behavior,":[29,235],"or":[30],"advise,":[31],"code":[32,46,193,227],"in":[33,85,264],"decomposition.":[36],"also":[39],"allows":[40,305],"declaratively":[43],"specify":[44],"what":[45],"should":[47],"be":[48,161,195,208,286,296,318,333],"advised.":[49],"This":[50,303],"means":[51],"whole-program":[54],"search":[55],"is":[56,174,246],"required":[57],"find":[59],"all":[60,290],"might":[64,159,194],"advise":[65],"given":[67],"piece":[68],"code.":[70,302],"The":[71,107,171,244,267],"problems":[72],"this":[73,201,203],"causes":[74],"somewhat":[76],"analogous":[77,166],"overriding":[79,103,116,119,157],"methods":[80,100,104],"and":[81,188,214,315,320],"polymorphic":[82,99],"method":[83,120,143,158],"dispatch":[84],"traditional":[86],"object-oriented":[87,89],"programming.;In":[88],"programming,":[90],"discipline":[92,108,167,304],"behavioral":[94],"subtyping":[95],"permits":[96,308],"reasoning":[97,177,270],"about":[98,141,178,271],"even":[101,153],"when":[102],"remain":[105,238],"unseen.":[106],"gives":[109],"guidance":[110],"author":[113,132,187],"an":[115,155,165],"method:":[117],"must":[121,285,295],"satisfy":[122,255],"specification":[124,148],"overridden,":[127],"superclass":[128,151],"method.":[129],"If":[130],"follows":[133],"discipline,":[135],"then":[136],"other":[137],"can":[139],"reason":[140],"invocation":[144],"based":[145],"on":[146,247,330],"method,":[152],"if":[154],"unseen":[156,239],"actually":[160],"executed.;This":[162],"dissertation":[163,204],"describes":[164],"for":[168],"programming.":[170],"basic":[172],"premise":[173],"modular":[176,306],"programs":[180],"requires":[181],"shared":[182],"responsibility":[183],"between":[184],"aspect":[186,249],"client":[190,242,277,283],"programmer,":[191],"whose":[192],"advised":[196,301],"by":[197,240,299],"aspect.;To":[199],"mediate":[200],"sharing,":[202],"proposes":[205],"categorized":[209],"into":[210],"two":[211],"sorts:":[212],"\"spectators\"":[213],"\"assistants\".":[215],"Spectators":[216],"statically":[218,321,334],"restricted":[219,234,263],"not":[221,262],"behavior":[224],"they":[229],"advise.":[230],"Because":[231],"their":[233,256,265,272],"spectators":[236,254,331],"programmer.":[243,278],"burden":[245,268],"programmer":[250,284],"ensure":[252],"restrictions.":[257],"Unlike":[258],"spectators,":[259],"assistants":[260,294],"behavior.":[266],"effects":[273],"falls":[274],"able":[287],"identify":[289],"applicable":[291],"assistants.":[292],"Thus,":[293],"explicitly":[297],"accepted":[298],"reasoning,":[307],"use":[310],"existing":[312],"idioms,":[314],"appears":[316],"practical":[319],"verifiable.":[322],"A":[323],"formal":[324],"study":[325],"demonstrates":[326],"restrictions":[329],"checked.":[335]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":2}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}