Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning
Programming Languages
2019-06-28 v1
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.
Cite
@article{arxiv.1906.11606,
title = {Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning},
author = {Gregor Nitsche},
journal= {arXiv preprint arXiv:1906.11606},
year = {2019}
}
Comments
4 pages, 2 figures, research abstract, submitted for acceptance at the Doctoral Symposium of 3. World Congress on Formal Methods (FM'19)