Download PDFOpen PDF in browser

Expression Compatibility Problem

13 pagesPublished: March 27, 2016


We 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 of
our 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

BibTeX entry
  author    = {Seyed Hossein Haeri and Sibylle Schupp},
  title     = {Expression Compatibility Problem},
  booktitle = {SCSS 2016. 7th International Symposium on  Symbolic Computation in Software Science},
  editor    = {James H. Davenport and Fadoua Ghourabi},
  series    = {EPiC Series in Computing},
  volume    = {39},
  pages     = {55--67},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair,},
  issn      = {2398-7340},
  url       = {},
  doi       = {10.29007/xlbn}}
Download PDFOpen PDF in browser