The Safety of Dynamic Mixin Composition. Burton, E. & Sekerinski, E. In Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC'15, Object Oriented Programming Languages and Systems Track, pages 1992–1999, April, 2015. ACM. doi abstract bibtex Dynamic mixins are a modular means of developing features or roles that can be composed with objects at run-time. However, naive use of this construct can cause unexpected behaviour due to interference caused by the presence of an object's previously bound mixins. This work proposes a method for developing mixins that can be bound to base ob- jects such that the mixins do not interfere with each other; the method achieves compositionally through a coupling in- variant and by syntactically restricting mixins. The refine- ment calculus is used for formalization, as it treats imple- mentations and specifications uniformly. The formalization relies on a new notion of mixin refinement.
@inproceedings{BurtonSekerinski15MixinSafety,
title = {The {Safety} of {Dynamic} {Mixin} {Composition}},
doi = {10.1145/2695664.2695938},
abstract = {Dynamic mixins are a modular means of developing features or roles that can be composed with objects at run-time. However, naive use of this construct can cause unexpected behaviour due to interference caused by the presence of an object's previously bound mixins. This work proposes a method for developing mixins that can be bound to base ob- jects such that the mixins do not interfere with each other; the method achieves compositionally through a coupling in- variant and by syntactically restricting mixins. The refine- ment calculus is used for formalization, as it treats imple- mentations and specifications uniformly. The formalization relies on a new notion of mixin refinement.},
booktitle = {Proceedings of the 30th {Annual} {ACM} {Symposium} on {Applied} {Computing}, {SAC}'15, {Object} {Oriented} {Programming} {Languages} and {Systems} {Track}},
publisher = {ACM},
author = {Burton, Eden and Sekerinski, Emil},
month = apr,
year = {2015},
pages = {1992--1999},
}
Downloads: 0
{"_id":"r4uuEQsxBA9wu2TC7","bibbaseid":"burton-sekerinski-thesafetyofdynamicmixincomposition-2015","author_short":["Burton, E.","Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"The Safety of Dynamic Mixin Composition","doi":"10.1145/2695664.2695938","abstract":"Dynamic mixins are a modular means of developing features or roles that can be composed with objects at run-time. However, naive use of this construct can cause unexpected behaviour due to interference caused by the presence of an object's previously bound mixins. This work proposes a method for developing mixins that can be bound to base ob- jects such that the mixins do not interfere with each other; the method achieves compositionally through a coupling in- variant and by syntactically restricting mixins. The refine- ment calculus is used for formalization, as it treats imple- mentations and specifications uniformly. The formalization relies on a new notion of mixin refinement.","booktitle":"Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC'15, Object Oriented Programming Languages and Systems Track","publisher":"ACM","author":[{"propositions":[],"lastnames":["Burton"],"firstnames":["Eden"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"April","year":"2015","pages":"1992–1999","bibtex":"@inproceedings{BurtonSekerinski15MixinSafety,\n\ttitle = {The {Safety} of {Dynamic} {Mixin} {Composition}},\n\tdoi = {10.1145/2695664.2695938},\n\tabstract = {Dynamic mixins are a modular means of developing features or roles that can be composed with objects at run-time. However, naive use of this construct can cause unexpected behaviour due to interference caused by the presence of an object's previously bound mixins. This work proposes a method for developing mixins that can be bound to base ob- jects such that the mixins do not interfere with each other; the method achieves compositionally through a coupling in- variant and by syntactically restricting mixins. The refine- ment calculus is used for formalization, as it treats imple- mentations and specifications uniformly. The formalization relies on a new notion of mixin refinement.},\n\tbooktitle = {Proceedings of the 30th {Annual} {ACM} {Symposium} on {Applied} {Computing}, {SAC}'15, {Object} {Oriented} {Programming} {Languages} and {Systems} {Track}},\n\tpublisher = {ACM},\n\tauthor = {Burton, Eden and Sekerinski, Emil},\n\tmonth = apr,\n\tyear = {2015},\n\tpages = {1992--1999},\n}\n\n","author_short":["Burton, E.","Sekerinski, E."],"key":"BurtonSekerinski15MixinSafety","id":"BurtonSekerinski15MixinSafety","bibbaseid":"burton-sekerinski-thesafetyofdynamicmixincomposition-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["safety","dynamic","mixin","composition","burton","sekerinski"],"title":"The Safety of Dynamic Mixin Composition","year":2015}