cs.PL
Structural Contracts Contracts for Type Construction Dependent Types to Ensure Consistency of Extra Functional Reasoning. 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.