FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2792929034> ?p ?o ?g. }

• W2792929034 abstract "Abstract Contract systems have come to play a vital role in many aspects of software engineering. This has resulted in a wide variety of approaches to enforcing contracts—ranging from the straightforward pre-condition and post-condition checking of Eiffel to lazy, optional, and parallel enforcement strategies. Each of these approaches has its merits, but each has required ground-up development of an entire contract monitoring system. We present a unified approach to understanding this variety, while also opening the door to as-yet-undiscovered strategies. By observing that contracts are fundamentally about communication between a program and a monitor, we reframe contract checking as communication between concurrent processes. This brings out the underlying relations between widely studied enforcement strategies, including strict and lazy enforcement as well as concurrent approaches, including new contracts and strategies. We show how each of these can be embedded into a core calculus, and demonstrate a proof (via simulation) of correctness for one such encoding. Finally, we show that our approach suggests new monitoring approaches and contracts not previously expressible." @default.
• W2792929034 created "2018-03-29" @default.
• W2792929034 creator A5000431946 @default.
• W2792929034 creator A5043677781 @default.
• W2792929034 creator A5084476883 @default.
• W2792929034 date "2018-01-01" @default.
• W2792929034 modified "2023-10-17" @default.
• W2792929034 title "An extended account of contract monitoring strategies as patterns of communication" @default.
• W2792929034 cites W1482490768 @default.
• W2792929034 cites W1495087637 @default.
• W2792929034 cites W1496853143 @default.
• W2792929034 cites W1502282368 @default.
• W2792929034 cites W1526601993 @default.
• W2792929034 cites W1959256509 @default.
• W2792929034 cites W1964328999 @default.
• W2792929034 cites W1975296877 @default.
• W2792929034 cites W1998223027 @default.
• W2792929034 cites W2027189949 @default.
• W2792929034 cites W2044662740 @default.
• W2792929034 cites W2044710350 @default.
• W2792929034 cites W2059703978 @default.
• W2792929034 cites W2061127958 @default.
• W2792929034 cites W2073686054 @default.
• W2792929034 cites W2075981791 @default.
• W2792929034 cites W2085595534 @default.
• W2792929034 cites W2088655521 @default.
• W2792929034 cites W2116323891 @default.
• W2792929034 cites W2128303158 @default.
• W2792929034 cites W2139597778 @default.
• W2792929034 cites W2141210774 @default.
• W2792929034 cites W2150593762 @default.
• W2792929034 cites W2150998213 @default.
• W2792929034 cites W2153631167 @default.
• W2792929034 cites W2169661165 @default.
• W2792929034 cites W2218092420 @default.
• W2792929034 cites W2294022756 @default.
• W2792929034 cites W2294998241 @default.
• W2792929034 cites W2295080152 @default.
• W2792929034 cites W2535658741 @default.
• W2792929034 cites W2753479937 @default.
• W2792929034 cites W2913153807 @default.
• W2792929034 cites W3099703838 @default.
• W2792929034 cites W3163012639 @default.
• W2792929034 cites W4229717394 @default.
• W2792929034 cites W4234543429 @default.
• W2792929034 cites W4238764673 @default.
• W2792929034 cites W4247948196 @default.
• W2792929034 cites W4249873580 @default.
• W2792929034 doi "https://doi.org/10.1017/s0956796818000047" @default.
• W2792929034 hasPublicationYear "2018" @default.
• W2792929034 type Work @default.
• W2792929034 sameAs 2792929034 @default.
• W2792929034 citedByCount "2" @default.
• W2792929034 countsByYear W27929290342018 @default.
• W2792929034 countsByYear W27929290342022 @default.
• W2792929034 crossrefType "journal-article" @default.
• W2792929034 hasAuthorship W2792929034A5000431946 @default.
• W2792929034 hasAuthorship W2792929034A5043677781 @default.
• W2792929034 hasAuthorship W2792929034A5084476883 @default.
• W2792929034 hasBestOaLocation W27929290341 @default.
• W2792929034 hasConcept C115903868 @default.
• W2792929034 hasConcept C120314980 @default.
• W2792929034 hasConcept C136197465 @default.
• W2792929034 hasConcept C149091818 @default.
• W2792929034 hasConcept C154945302 @default.
• W2792929034 hasConcept C15744967 @default.
• W2792929034 hasConcept C17744445 @default.
• W2792929034 hasConcept C186362262 @default.
• W2792929034 hasConcept C186846655 @default.
• W2792929034 hasConcept C187029079 @default.
• W2792929034 hasConcept C199360897 @default.
• W2792929034 hasConcept C199539241 @default.
• W2792929034 hasConcept C2777904410 @default.
• W2792929034 hasConcept C2779777834 @default.
• W2792929034 hasConcept C41008148 @default.
• W2792929034 hasConcept C55439883 @default.
• W2792929034 hasConcept C73752529 @default.
• W2792929034 hasConcept C77805123 @default.
• W2792929034 hasConcept C80291951 @default.
• W2792929034 hasConceptScore W2792929034C115903868 @default.
• W2792929034 hasConceptScore W2792929034C120314980 @default.
• W2792929034 hasConceptScore W2792929034C136197465 @default.
• W2792929034 hasConceptScore W2792929034C149091818 @default.
• W2792929034 hasConceptScore W2792929034C154945302 @default.
• W2792929034 hasConceptScore W2792929034C15744967 @default.
• W2792929034 hasConceptScore W2792929034C17744445 @default.
• W2792929034 hasConceptScore W2792929034C186362262 @default.
• W2792929034 hasConceptScore W2792929034C186846655 @default.
• W2792929034 hasConceptScore W2792929034C187029079 @default.
• W2792929034 hasConceptScore W2792929034C199360897 @default.
• W2792929034 hasConceptScore W2792929034C199539241 @default.
• W2792929034 hasConceptScore W2792929034C2777904410 @default.
• W2792929034 hasConceptScore W2792929034C2779777834 @default.
• W2792929034 hasConceptScore W2792929034C41008148 @default.
• W2792929034 hasConceptScore W2792929034C55439883 @default.
• W2792929034 hasConceptScore W2792929034C73752529 @default.
• W2792929034 hasConceptScore W2792929034C77805123 @default.
• W2792929034 hasConceptScore W2792929034C80291951 @default.
• W2792929034 hasLocation W27929290341 @default.
• W2792929034 hasLocation W27929290342 @default.

• next