  Targeting to use contract-based design for the specification and refinement
of extra-functional properties, this research abstract suggests to use type
constraints and dependent types to ensure correct and consistent top-down
decomposition of contracts with respect to a specifiable type constructor. For
this, we summarize the composition problem and give a short draft of our
approach, called Structural Contracts.

Programming Languages