Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152137362> ?p ?o ?g. }
- W2152137362 endingPage "318" @default.
- W2152137362 startingPage "289" @default.
- W2152137362 abstract "Dealing with aliasing is one of the key challenges for the verification of imperative programs. For instance, aliases make it difficult to determine which abstractions are potentially affected by a heap update and to determine which locks need to be acquired to avoid data races. Object ownership was one of the first approaches that allowed programmers to control aliasing and to restrict the operations that can be applied to a reference. It thus enabled sound, modular, and automatic verification of heap-manipulating programs. In this paper, we present two ownership systems that have been designed specifically to support program verification—Universe Types and Spec#’s Dynamic Ownership—and explain their applications in program verification, illustrated through a series of Spec# examples." @default.
- W2152137362 created "2016-06-24" @default.
- W2152137362 creator A5073449487 @default.
- W2152137362 creator A5073853337 @default.
- W2152137362 date "2013-01-01" @default.
- W2152137362 modified "2023-10-17" @default.
- W2152137362 title "Object Ownership in Program Verification" @default.
- W2152137362 cites W1489778371 @default.
- W2152137362 cites W1498831343 @default.
- W2152137362 cites W1500987966 @default.
- W2152137362 cites W1525290190 @default.
- W2152137362 cites W1528322206 @default.
- W2152137362 cites W1545681762 @default.
- W2152137362 cites W1548974835 @default.
- W2152137362 cites W1550200770 @default.
- W2152137362 cites W1553421328 @default.
- W2152137362 cites W1555166734 @default.
- W2152137362 cites W1555179958 @default.
- W2152137362 cites W1565805705 @default.
- W2152137362 cites W1570380538 @default.
- W2152137362 cites W1573044584 @default.
- W2152137362 cites W1606142489 @default.
- W2152137362 cites W1807498156 @default.
- W2152137362 cites W1968428133 @default.
- W2152137362 cites W1978303100 @default.
- W2152137362 cites W1998838326 @default.
- W2152137362 cites W2006290442 @default.
- W2152137362 cites W2052087935 @default.
- W2152137362 cites W2068984860 @default.
- W2152137362 cites W2073407646 @default.
- W2152137362 cites W2078020391 @default.
- W2152137362 cites W2095907349 @default.
- W2152137362 cites W2100878175 @default.
- W2152137362 cites W2101530705 @default.
- W2152137362 cites W2103591546 @default.
- W2152137362 cites W2113058702 @default.
- W2152137362 cites W2118230497 @default.
- W2152137362 cites W2122291521 @default.
- W2152137362 cites W2130427425 @default.
- W2152137362 cites W2132761501 @default.
- W2152137362 cites W2135868037 @default.
- W2152137362 cites W2136371406 @default.
- W2152137362 cites W2137956345 @default.
- W2152137362 cites W2147051981 @default.
- W2152137362 cites W2151131364 @default.
- W2152137362 cites W2155102815 @default.
- W2152137362 cites W2157220115 @default.
- W2152137362 cites W2171685273 @default.
- W2152137362 cites W2240421584 @default.
- W2152137362 cites W3001459306 @default.
- W2152137362 cites W3006363542 @default.
- W2152137362 cites W3008818728 @default.
- W2152137362 cites W3023216518 @default.
- W2152137362 cites W3145844969 @default.
- W2152137362 cites W4234910952 @default.
- W2152137362 cites W4235130846 @default.
- W2152137362 cites W4235388086 @default.
- W2152137362 cites W4239687313 @default.
- W2152137362 cites W4242446414 @default.
- W2152137362 cites W4245729501 @default.
- W2152137362 cites W4250853124 @default.
- W2152137362 cites W4250979901 @default.
- W2152137362 doi "https://doi.org/10.1007/978-3-642-36946-9_11" @default.
- W2152137362 hasPublicationYear "2013" @default.
- W2152137362 type Work @default.
- W2152137362 sameAs 2152137362 @default.
- W2152137362 citedByCount "14" @default.
- W2152137362 countsByYear W21521373622013 @default.
- W2152137362 countsByYear W21521373622014 @default.
- W2152137362 countsByYear W21521373622016 @default.
- W2152137362 countsByYear W21521373622020 @default.
- W2152137362 countsByYear W21521373622021 @default.
- W2152137362 countsByYear W21521373622022 @default.
- W2152137362 countsByYear W21521373622023 @default.
- W2152137362 crossrefType "book-chapter" @default.
- W2152137362 hasAuthorship W2152137362A5073449487 @default.
- W2152137362 hasAuthorship W2152137362A5073853337 @default.
- W2152137362 hasConcept C101468663 @default.
- W2152137362 hasConcept C111498074 @default.
- W2152137362 hasConcept C134757568 @default.
- W2152137362 hasConcept C136536468 @default.
- W2152137362 hasConcept C154945302 @default.
- W2152137362 hasConcept C173856430 @default.
- W2152137362 hasConcept C199360897 @default.
- W2152137362 hasConcept C2778565505 @default.
- W2152137362 hasConcept C4069607 @default.
- W2152137362 hasConcept C41008148 @default.
- W2152137362 hasConcept C62460635 @default.
- W2152137362 hasConcept C80444323 @default.
- W2152137362 hasConceptScore W2152137362C101468663 @default.
- W2152137362 hasConceptScore W2152137362C111498074 @default.
- W2152137362 hasConceptScore W2152137362C134757568 @default.
- W2152137362 hasConceptScore W2152137362C136536468 @default.
- W2152137362 hasConceptScore W2152137362C154945302 @default.
- W2152137362 hasConceptScore W2152137362C173856430 @default.
- W2152137362 hasConceptScore W2152137362C199360897 @default.
- W2152137362 hasConceptScore W2152137362C2778565505 @default.
- W2152137362 hasConceptScore W2152137362C4069607 @default.