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: 1st International Workshop on Cyber-Physical Production Systems, CPPS@CPSWeek 2016, Vienna, Austria, April 12
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.