Foundations for behavioral higher-order contracts
Contracts are a popular mechanism for enhancing the interface of components. In the world of first-order functions, programmers embrace contracts because they write them in a familiar language and easily understand them as a pair of a pre-condition andsame expressiveness to programmers but their mea...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/d20002848 |