Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065651303> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W2065651303 abstract "Chalice is a verification tool for object-based concurrent programs. It supports verification of functional properties of the programs as well as providing a deadlock prevention mechanism. It is built on Implicit Dynamic Frames, fractional permissions and permission transfer.Implicit Dynamic Frames have been formulated and proven sound using verification conditions and axiomatisation of the heap and stack. Verification in Chalice is specified in terms of weakest preconditions and havocing the heap.In this paper we give a formalisation of the part of Chalice concerned with functional properties. We describe its operational semantics, Hoare logic and sketch the soundness proof. Our system is parametric with respect to the underlying assertion language." @default.
- W2065651303 created "2016-06-24" @default.
- W2065651303 creator A5026471462 @default.
- W2065651303 creator A5083721882 @default.
- W2065651303 date "2011-07-25" @default.
- W2065651303 modified "2023-10-14" @default.
- W2065651303 title "A sip of the Chalice" @default.
- W2065651303 cites W1522925810 @default.
- W2065651303 cites W1528322206 @default.
- W2065651303 cites W1555179958 @default.
- W2065651303 cites W1587425253 @default.
- W2065651303 cites W1861989620 @default.
- W2065651303 cites W2109121837 @default.
- W2065651303 cites W2118317839 @default.
- W2065651303 doi "https://doi.org/10.1145/2076674.2076676" @default.
- W2065651303 hasPublicationYear "2011" @default.
- W2065651303 type Work @default.
- W2065651303 sameAs 2065651303 @default.
- W2065651303 citedByCount "3" @default.
- W2065651303 countsByYear W20656513032012 @default.
- W2065651303 countsByYear W20656513032013 @default.
- W2065651303 crossrefType "proceedings-article" @default.
- W2065651303 hasAuthorship W2065651303A5026471462 @default.
- W2065651303 hasAuthorship W2065651303A5083721882 @default.
- W2065651303 hasConcept C31258907 @default.
- W2065651303 hasConcept C41008148 @default.
- W2065651303 hasConceptScore W2065651303C31258907 @default.
- W2065651303 hasConceptScore W2065651303C41008148 @default.
- W2065651303 hasLocation W20656513031 @default.
- W2065651303 hasOpenAccess W2065651303 @default.
- W2065651303 hasPrimaryLocation W20656513031 @default.
- W2065651303 hasRelatedWork W2093578348 @default.
- W2065651303 hasRelatedWork W2130966263 @default.
- W2065651303 hasRelatedWork W2350741829 @default.
- W2065651303 hasRelatedWork W2358668433 @default.
- W2065651303 hasRelatedWork W2376932109 @default.
- W2065651303 hasRelatedWork W2382290278 @default.
- W2065651303 hasRelatedWork W2390279801 @default.
- W2065651303 hasRelatedWork W2748952813 @default.
- W2065651303 hasRelatedWork W2766271392 @default.
- W2065651303 hasRelatedWork W2899084033 @default.
- W2065651303 isParatext "false" @default.
- W2065651303 isRetracted "false" @default.
- W2065651303 magId "2065651303" @default.
- W2065651303 workType "article" @default.