{"id":"https://openalex.org/W2068407102","doi":"https://doi.org/10.1145/1739230.1739244","title":"EffectiveAdvice","display_name":"EffectiveAdvice","publication_year":2010,"publication_date":"2010-03-15","ids":{"openalex":"https://openalex.org/W2068407102","doi":"https://doi.org/10.1145/1739230.1739244","mag":"2068407102"},"language":"en","primary_location":{"id":"doi:10.1145/1739230.1739244","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1739230.1739244","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Aspect-Oriented Software Development","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/handle/123456789/257295","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049714036","display_name":"Bruno C. d. S. Oliveira","orcid":"https://orcid.org/0000-0002-1846-7210"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Bruno C. d. S. Oliveira","raw_affiliation_strings":["Seoul National University, Korea","Seoul National University (Korea)"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Korea","institution_ids":["https://openalex.org/I139264467"]},{"raw_affiliation_string":"Seoul National University (Korea)","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050247934","display_name":"Tom Schrijvers","orcid":"https://orcid.org/0000-0001-8771-5559"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Tom Schrijvers","raw_affiliation_strings":["Katholieke Universiteit, Leuven, Belgium","Katholieke Universiteit , Leuven, Belgium"],"affiliations":[{"raw_affiliation_string":"Katholieke Universiteit, Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]},{"raw_affiliation_string":"Katholieke Universiteit , Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029147559","display_name":"William R. Cook","orcid":"https://orcid.org/0000-0003-4918-8975"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William R. Cook","raw_affiliation_strings":["University of Texas at Austin","University of Texas at Austin#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"University of Texas at Austin#TAB#","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049714036"],"corresponding_institution_ids":["https://openalex.org/I139264467"],"apc_list":null,"apc_paid":null,"fwci":15.3885,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.9903272,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"109","last_page":"120"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9973999857902527,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9948999881744385,"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/advice","display_name":"Advice (programming)","score":0.8979264497756958},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.8230881690979004},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8123267889022827},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7176812887191772},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6689993739128113},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6284793615341187},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.6237536072731018},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.503121554851532},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4623611569404602},{"id":"https://openalex.org/keywords/inheritance","display_name":"Inheritance (genetic algorithm)","score":0.43786245584487915},{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-oriented programming","score":0.43359309434890747},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4014407694339752},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32425275444984436},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.1651175320148468},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14623567461967468},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.09420359134674072}],"concepts":[{"id":"https://openalex.org/C2779955035","wikidata":"https://www.wikidata.org/wiki/Q4686785","display_name":"Advice (programming)","level":2,"score":0.8979264497756958},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.8230881690979004},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8123267889022827},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7176812887191772},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6689993739128113},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6284793615341187},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.6237536072731018},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.503121554851532},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4623611569404602},{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.43786245584487915},{"id":"https://openalex.org/C60051680","wikidata":"https://www.wikidata.org/wiki/Q30267","display_name":"Aspect-oriented programming","level":3,"score":0.43359309434890747},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4014407694339752},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32425275444984436},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.1651175320148468},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14623567461967468},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.09420359134674072},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1739230.1739244","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1739230.1739244","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th International Conference on Aspect-Oriented Software Development","raw_type":"proceedings-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/257295","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/257295","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"International Conference on Aspect-Oriented Software Development, Saint-Malo, France, 17-19 March 2010","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:hub.hku.hk:10722/188487","is_oa":false,"landing_page_url":"http://hdl.handle.net/10722/188487","pdf_url":null,"source":{"id":"https://openalex.org/S4377196271","display_name":"The HKU Scholars Hub (University of Hong Kong)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I889458895","host_organization_name":"University of Hong Kong","host_organization_lineage":["https://openalex.org/I889458895"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference_Paper"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/257295","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/123456789/257295","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"International Conference on Aspect-Oriented Software Development, Saint-Malo, France, 17-19 March 2010","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1048339198","display_name":null,"funder_award_id":"CCF-0448128CCF-0724979CCF-6752487","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"},{"id":"https://openalex.org/G5921281487","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G949391715","display_name":null,"funder_award_id":"R11-2008-007-01002-0","funder_id":"https://openalex.org/F4320322349","funder_display_name":"Ministry of Education, Science and Technology"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320322348","display_name":"Korea Science and Engineering Foundation","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320322349","display_name":"Ministry of Education, Science and Technology","ror":"https://ror.org/01p262204"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null},{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W116691724","https://openalex.org/W1487086732","https://openalex.org/W1494264673","https://openalex.org/W1548394473","https://openalex.org/W1560953315","https://openalex.org/W1591471358","https://openalex.org/W1851327982","https://openalex.org/W2000551127","https://openalex.org/W2014021676","https://openalex.org/W2014868111","https://openalex.org/W2029414465","https://openalex.org/W2030010589","https://openalex.org/W2037984920","https://openalex.org/W2057292961","https://openalex.org/W2057632882","https://openalex.org/W2068706008","https://openalex.org/W2075867419","https://openalex.org/W2078944436","https://openalex.org/W2106731015","https://openalex.org/W2115680394","https://openalex.org/W2116244845","https://openalex.org/W2125899403","https://openalex.org/W2131916293","https://openalex.org/W2136202785","https://openalex.org/W2136580373","https://openalex.org/W2141576692","https://openalex.org/W2142535561","https://openalex.org/W2143238865","https://openalex.org/W2149612550","https://openalex.org/W2156426055","https://openalex.org/W2158113114","https://openalex.org/W2159410989","https://openalex.org/W2164067955","https://openalex.org/W2182406401","https://openalex.org/W2295150383","https://openalex.org/W2521529138","https://openalex.org/W2621168830","https://openalex.org/W3002147709","https://openalex.org/W3171421481","https://openalex.org/W4243130293","https://openalex.org/W4254691308"],"related_works":["https://openalex.org/W2063393078","https://openalex.org/W2741344200","https://openalex.org/W1556401754","https://openalex.org/W2155480936","https://openalex.org/W3006464425","https://openalex.org/W176405751","https://openalex.org/W1734457603","https://openalex.org/W2036208875","https://openalex.org/W4240871092","https://openalex.org/W2058003313"],"abstract_inverted_index":{"Advice":[0],"is":[1,115,142,152],"a":[2,49,72,109],"mechanism,":[3],"widely":[4],"used":[5,143],"in":[6,112,130],"aspect-oriented":[7],"languages,":[8],"that":[9,82,159],"allows":[10,163],"one":[11],"program":[12],"component":[13,50],"to":[14,144,166],"augment":[15],"or":[16,173],"modify":[17],"the":[18,131,140],"behavior":[19],"of":[20,75,91,157],"other":[21,26],"components.":[22],"When":[23],"advice":[24,114,148,158],"and":[25,38,54,65,120,162],"components":[27,58],"are":[28,122,133],"composed":[29],"together":[30,138],"they":[31],"become":[32],"tightly":[33,56],"coupled,":[34],"sharing":[35],"both":[36],"control":[37,64],"data":[39,66],"flows.":[40,67],"However":[41],"this":[42],"creates":[43],"important":[44],"problems:":[45],"modular":[46],"reasoning":[47],"about":[48],"becomes":[51],"very":[52],"difficult;":[53],"two":[55,146],"coupled":[57],"may":[59],"interfere":[60],"with":[61,139,169],"each":[62],"other's":[63],"This":[68],"paper":[69,105],"presents":[70],"EffectiveAdvice,":[71,89],"disciplined":[73],"model":[74,156],"advice,":[76,92],"inspired":[77],"by":[78,101,117,124],"Aldrich's":[79],"Open":[80],"Modules,":[81],"has":[83],"full":[84],"support":[85],"for":[86],"effects.":[87],"With":[88],"equivalence":[90],"as":[93,95,108,135,175],"well":[94],"base":[96],"components,":[97],"can":[98],"be":[99,167],"checked":[100],"equational":[102],"reasoning.":[103],"The":[104,150],"describes":[106],"EffectiveAdvice":[107],"Haskell":[110],"library":[111],"which":[113],"modeled":[116,123],"mixin":[118],"inheritance":[119],"effects":[121,165],"monads.":[125],"Interference":[126],"patterns":[127],"previously":[128],"identified":[129],"literature":[132],"expressed":[134],"combinators.":[136],"Parametricity,":[137],"combinators,":[141],"prove":[145],"harmless":[147],"theorems.":[149],"result":[151],"an":[153],"effective":[154],"semantic":[155],"supports":[160],"effects,":[161],"these":[164],"separated":[168],"strong":[170],"non-interference":[171],"guarantees,":[172],"merged":[174],"needed.":[176],"Copyright":[177],"2010":[178],"ACM.":[179]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":10}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}