| id |
ndltd-NEU--neu-908
|
| record_format |
oai_dc
|
| spelling |
ndltd-NEU--neu-9082021-05-26T05:10:56ZFoundations for behavioral higher-order contractsContracts 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.http://hdl.handle.net/2047/d20002848
|
| collection |
NDLTD
|
| sources |
NDLTD
|
| description |
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.
|
| title |
Foundations for behavioral higher-order contracts
|
| spellingShingle |
Foundations for behavioral higher-order contracts
|
| title_short |
Foundations for behavioral higher-order contracts
|
| title_full |
Foundations for behavioral higher-order contracts
|
| title_fullStr |
Foundations for behavioral higher-order contracts
|
| title_full_unstemmed |
Foundations for behavioral higher-order contracts
|
| title_sort |
foundations for behavioral higher-order contracts
|
| publishDate |
|
| url |
http://hdl.handle.net/2047/d20002848
|
| _version_ |
1719406464915734528
|
