# Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning

## TL;DR

This paper introduces Structural Contracts, a method using type constraints and dependent types to ensure consistent and correct decomposition of contracts for extra-functional properties in software design.

## Contribution

It proposes a novel approach combining type constraints and dependent types to improve contract-based design for extra-functional properties.

## Key findings

- Defines the composition problem for contracts
- Introduces the Structural Contracts approach
- Ensures consistency in contract decomposition

## Abstract

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.