Suggests using dependent types and type constraints for consistent contract decomposition w.r.t. a specifiable type constructor in extra-functional contract-based design.
Foundations and Trends in Electronic Design Automation 12(2-3), 124--400 (2018)
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.