Safe Dynamic Multiple Inheritance
AbstractCombination of descriptive entities--i.e. multiple inheritance and related mechanisms--is usually only supported at compile time in statically typed languages. The language gbeta is statically typed and has supported run-time creation of classes and methods since 1997, by means of the pattern combination operator '&'. However, with certain combinations of operands the '&' operator fails; as a result, creation of new classes and methods at run-time had to be considered a dangerous operation. This paper presents a large and useful class of combinations, and proves that combinations in this class will always succeed.
How to Cite
Ernst, E. (2002). Safe Dynamic Multiple Inheritance. DAIMI Report Series, 31(556). https://doi.org/10.7146/dpb.v31i556.7113
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.