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 |
| Summary: | 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 meaning subtly differs from the familiar first-order notion. For instance, it is unclear what the behavior of dependent contracts for higher-order functions or of contracts for
mutable data should be. As a consequence, it is difficult to design monitoring systems for such higher-order worlds. |
|---|