{"id":"https://openalex.org/W2032227440","doi":"https://doi.org/10.1145/2695664.2695938","title":"The safety of dynamic mixin composition","display_name":"The safety of dynamic mixin composition","publication_year":2015,"publication_date":"2015-04-13","ids":{"openalex":"https://openalex.org/W2032227440","doi":"https://doi.org/10.1145/2695664.2695938","mag":"2032227440"},"language":"en","primary_location":{"id":"doi:10.1145/2695664.2695938","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2695664.2695938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","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/A5001524936","display_name":"Eden Burton","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Eden Burton","raw_affiliation_strings":["McMaster University, Hamilton, ON, Canada","#N# McMaster University, Hamilton, ON, Canada"],"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"#N# McMaster University, Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040143379","display_name":"Emil Sekerinski","orcid":"https://orcid.org/0000-0001-9788-5842"},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Emil Sekerinski","raw_affiliation_strings":["McMaster University, Hamilton, ON, Canada","#N# McMaster University, Hamilton, ON, Canada"],"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"#N# McMaster University, Hamilton, ON, Canada","institution_ids":["https://openalex.org/I98251732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001524936"],"corresponding_institution_ids":["https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":1.58036233,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.87952431,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1992","last_page":"1999"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9965000152587891,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9965000152587891,"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.9926000237464905,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9886000156402588,"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/computer-science","display_name":"Computer science","score":0.7709524631500244},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6923546195030212},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6653209328651428},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6420071125030518},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5906039476394653},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5428473949432373},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5182968974113464},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.43524691462516785},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.41620588302612305},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.41179513931274414},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38377144932746887},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15816637873649597}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7709524631500244},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6923546195030212},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6653209328651428},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6420071125030518},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5906039476394653},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5428473949432373},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5182968974113464},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.43524691462516785},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.41620588302612305},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.41179513931274414},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38377144932746887},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15816637873649597},{"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/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2695664.2695938","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2695664.2695938","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4399999976158142,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W164416080","https://openalex.org/W600948232","https://openalex.org/W1492315860","https://openalex.org/W1500581803","https://openalex.org/W1511826042","https://openalex.org/W1532627295","https://openalex.org/W1535103785","https://openalex.org/W1571657865","https://openalex.org/W1577885475","https://openalex.org/W1649645444","https://openalex.org/W1656490720","https://openalex.org/W1991849845","https://openalex.org/W1995008247","https://openalex.org/W2011660287","https://openalex.org/W2024118925","https://openalex.org/W2031422080","https://openalex.org/W2059295282","https://openalex.org/W2068847249","https://openalex.org/W2077123681","https://openalex.org/W2077830885","https://openalex.org/W2121191807","https://openalex.org/W2136132047","https://openalex.org/W2138622732","https://openalex.org/W2139555094","https://openalex.org/W2151131364","https://openalex.org/W2155102815","https://openalex.org/W2169671088","https://openalex.org/W2342341603","https://openalex.org/W2561675875","https://openalex.org/W2914539344","https://openalex.org/W3134923596","https://openalex.org/W4235155664","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2002978035","https://openalex.org/W2961779879","https://openalex.org/W2390271730","https://openalex.org/W2494770211"],"abstract_inverted_index":{"Dynamic":[0],"mixins":[1,49,60],"are":[2],"a":[3,45,72,98],"modular":[4],"means":[5],"of":[6,22,36,101],"developing":[7,48],"features":[8],"or":[9],"roles":[10],"that":[11,50,58],"can":[12,25,51],"be":[13,52],"composed":[14],"with":[15,64],"objects":[16,56],"at":[17],"run-time.":[18],"However,":[19],"naive":[20],"use":[21],"this":[23],"construct":[24],"cause":[26],"unexpected":[27],"behaviour":[28],"due":[29],"to":[30,54],"interference":[31],"caused":[32],"by":[33,76],"the":[34,59,67],"presence":[35],"an":[37],"object's":[38],"previously":[39],"bound":[40,53],"mixins.":[41,79],"This":[42],"work":[43],"proposes":[44],"method":[46,68],"for":[47,85],"base":[55],"such":[57],"do":[61],"not":[62],"interfere":[63],"each":[65],"other;":[66],"achieves":[69],"compositionally":[70],"through":[71],"coupling":[73],"invariant":[74],"and":[75,91],"syntactically":[77],"restricting":[78],"The":[80,94],"refinement":[81],"calculus":[82],"is":[83],"used":[84],"formalization,":[86],"as":[87],"it":[88],"treats":[89],"implementations":[90],"specifications":[92],"uniformly.":[93],"formalization":[95],"relies":[96],"on":[97],"new":[99],"notion":[100],"mixin":[102],"refinement.":[103]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}