Suggests using dependent types and type constraints for consistent contract decomposition w.r.t. a specifiable type constructor in extra-functional contract-based design.
In: 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, Venice, Italy, April 5-8
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Structural Contracts -- Contracts for Type Construction & Dependent Types to Ensure Consistency of Extra-Functional Reasoning
Suggests using dependent types and type constraints for consistent contract decomposition w.r.t. a specifiable type constructor in extra-functional contract-based design.