Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044662740> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2044662740 abstract "We present a new approach to contract semantics which expresses myriad monitoring strategies using a small core of foundational communication primitives. This approach allows multiple existing contract monitoring approaches, ranging from Findler and Felleisen’s original model of higher-order contracts to semi-eager, parallel, or asynchronous monitors, to be expressed in a single language built on well-understood constructs. We prove that this approach accurately simulates the original semantics of higher-order contracts. A straightforward implementation in Racket demonstrates the practicality of our approach which not only enriches existing Racket monitoring strategies, but also support a new style of monitoring in which collections of contracts collaborate to establish a global invariant." @default.
- W2044662740 created "2016-06-24" @default.
- W2044662740 creator A5000431946 @default.
- W2044662740 creator A5043677781 @default.
- W2044662740 creator A5084476883 @default.
- W2044662740 date "2015-08-29" @default.
- W2044662740 modified "2023-10-17" @default.
- W2044662740 title "Expressing contract monitors as patterns of communication" @default.
- W2044662740 cites W1526601993 @default.
- W2044662740 cites W1971181882 @default.
- W2044662740 cites W1975296877 @default.
- W2044662740 cites W1993621349 @default.
- W2044662740 cites W1998223027 @default.
- W2044662740 cites W2059314438 @default.
- W2044662740 cites W2079636731 @default.
- W2044662740 cites W2092351491 @default.
- W2044662740 cites W2116323891 @default.
- W2044662740 cites W2128303158 @default.
- W2044662740 cites W2137734935 @default.
- W2044662740 cites W2139597778 @default.
- W2044662740 cites W2165121897 @default.
- W2044662740 cites W2169661165 @default.
- W2044662740 cites W2170626879 @default.
- W2044662740 cites W2218092420 @default.
- W2044662740 cites W2294022756 @default.
- W2044662740 cites W2294998241 @default.
- W2044662740 cites W2295080152 @default.
- W2044662740 cites W2913153807 @default.
- W2044662740 cites W3163012639 @default.
- W2044662740 cites W4238764673 @default.
- W2044662740 doi "https://doi.org/10.1145/2784731.2784742" @default.
- W2044662740 hasPublicationYear "2015" @default.
- W2044662740 type Work @default.
- W2044662740 sameAs 2044662740 @default.
- W2044662740 citedByCount "4" @default.
- W2044662740 countsByYear W20446627402017 @default.
- W2044662740 countsByYear W20446627402018 @default.
- W2044662740 crossrefType "proceedings-article" @default.
- W2044662740 hasAuthorship W2044662740A5000431946 @default.
- W2044662740 hasAuthorship W2044662740A5043677781 @default.
- W2044662740 hasAuthorship W2044662740A5084476883 @default.
- W2044662740 hasBestOaLocation W20446627402 @default.
- W2044662740 hasConcept C10138342 @default.
- W2044662740 hasConcept C120314980 @default.
- W2044662740 hasConcept C127413603 @default.
- W2044662740 hasConcept C151319957 @default.
- W2044662740 hasConcept C162324750 @default.
- W2044662740 hasConcept C182306322 @default.
- W2044662740 hasConcept C184337299 @default.
- W2044662740 hasConcept C199360897 @default.
- W2044662740 hasConcept C2164484 @default.
- W2044662740 hasConcept C2778707667 @default.
- W2044662740 hasConcept C31258907 @default.
- W2044662740 hasConcept C41008148 @default.
- W2044662740 hasConcept C65655974 @default.
- W2044662740 hasConcept C76155785 @default.
- W2044662740 hasConcept C78519656 @default.
- W2044662740 hasConceptScore W2044662740C10138342 @default.
- W2044662740 hasConceptScore W2044662740C120314980 @default.
- W2044662740 hasConceptScore W2044662740C127413603 @default.
- W2044662740 hasConceptScore W2044662740C151319957 @default.
- W2044662740 hasConceptScore W2044662740C162324750 @default.
- W2044662740 hasConceptScore W2044662740C182306322 @default.
- W2044662740 hasConceptScore W2044662740C184337299 @default.
- W2044662740 hasConceptScore W2044662740C199360897 @default.
- W2044662740 hasConceptScore W2044662740C2164484 @default.
- W2044662740 hasConceptScore W2044662740C2778707667 @default.
- W2044662740 hasConceptScore W2044662740C31258907 @default.
- W2044662740 hasConceptScore W2044662740C41008148 @default.
- W2044662740 hasConceptScore W2044662740C65655974 @default.
- W2044662740 hasConceptScore W2044662740C76155785 @default.
- W2044662740 hasConceptScore W2044662740C78519656 @default.
- W2044662740 hasFunder F4320306076 @default.
- W2044662740 hasLocation W20446627401 @default.
- W2044662740 hasLocation W20446627402 @default.
- W2044662740 hasOpenAccess W2044662740 @default.
- W2044662740 hasPrimaryLocation W20446627401 @default.
- W2044662740 hasRelatedWork W1587224678 @default.
- W2044662740 hasRelatedWork W2006363920 @default.
- W2044662740 hasRelatedWork W2112962394 @default.
- W2044662740 hasRelatedWork W2118300983 @default.
- W2044662740 hasRelatedWork W2364921833 @default.
- W2044662740 hasRelatedWork W2367372208 @default.
- W2044662740 hasRelatedWork W2475836838 @default.
- W2044662740 hasRelatedWork W3137189469 @default.
- W2044662740 hasRelatedWork W4229928981 @default.
- W2044662740 hasRelatedWork W4243252198 @default.
- W2044662740 isParatext "false" @default.
- W2044662740 isRetracted "false" @default.
- W2044662740 magId "2044662740" @default.
- W2044662740 workType "article" @default.