Download PDFOpen PDF in browserExpression Compatibility Problem13 pages•Published: March 27, 2016AbstractWe solve the Expression Compatibility Problem (ECP) – a variation of the famous Expression Problem (EP) which, in addition to the classical EP concerns, takes into consideration the replacement, refinement, and borrowing of algebraic datatype (ADT) cases. ECP describes ADT cases as components and promotes ideas from Lightweight Family Polymorphism, Class Sharing, and Expression Families Problem. Our solution is based on a formal model for Component-Based Software Engineering that pertains to the Expression Problem. We provide the syntax, static semantics, and dynamic semantics ofour model. We also show that our model can be used to solve the Expression Families Problem as well. Moreover, we show how to embed the model in Scala. Keyphrases: component based software engineering, expression compatibility problem, expression problem, formal semantics, lightweight family polymorphism In: James H. Davenport and Fadoua Ghourabi (editors). SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, vol 39, pages 55-67.
|