Difference between revisions of "Contract"
Jump to navigation
Jump to search
(Created page with "The Category Contract is a computationally checked program that could decide whether explicitly stated Inputs/Outputs conditions can be met, and what should be mad...") |
|||
| Line 1: | Line 1: | ||
The Category [[Contract]] is a computationally checked program that could decide whether explicitly stated [[Inputs]]/[[Outputs]] conditions can be met, and what should be made responsible for each of the kind of outcome pairs. | The Category [[Contract]] is a computationally checked program that could decide whether explicitly stated [[Inputs]]/[[Outputs]] conditions can be met, and what should be made responsible for each of the kind of outcome pairs. | ||
[[Category: | [[Category:Logic Model]] | ||
[[Category:Function]] | |||