Matches in SemOpenAlex for { <https://semopenalex.org/work/W2567080712> ?p ?o ?g. }
- W2567080712 abstract "This paper studies hybrid contract verification for an imperative higher-order language based on a so-called manifest contract system. In manifest contract systems, contracts are part of static types and contract verification is hybrid in the sense that some contracts are statically verified, typically by subtyping, but others are dynamically by casts. It is, however, not trivial to extend existing manifest contract systems, which have been designed mostly for pure functional languages, to imperative features, mainly because of the lack of flow-sensitivity, which should be taken into account in verifying imperative programs statically." @default.
- W2567080712 created "2017-01-06" @default.
- W2567080712 creator A5018002187 @default.
- W2567080712 creator A5055835936 @default.
- W2567080712 date "2017-01-01" @default.
- W2567080712 modified "2023-09-26" @default.
- W2567080712 title "Stateful manifest contracts" @default.
- W2567080712 cites W103523709 @default.
- W2567080712 cites W1502282368 @default.
- W2567080712 cites W1528322206 @default.
- W2567080712 cites W1548974835 @default.
- W2567080712 cites W1550526517 @default.
- W2567080712 cites W1553421328 @default.
- W2567080712 cites W1980939032 @default.
- W2567080712 cites W1986188859 @default.
- W2567080712 cites W1997143185 @default.
- W2567080712 cites W2001218627 @default.
- W2567080712 cites W2005192022 @default.
- W2567080712 cites W2008880956 @default.
- W2567080712 cites W2010452422 @default.
- W2567080712 cites W2022518532 @default.
- W2567080712 cites W2027189949 @default.
- W2567080712 cites W2037984920 @default.
- W2567080712 cites W2041950498 @default.
- W2567080712 cites W2046137117 @default.
- W2567080712 cites W2053070172 @default.
- W2567080712 cites W2059703978 @default.
- W2567080712 cites W2061127958 @default.
- W2567080712 cites W2073407646 @default.
- W2567080712 cites W2078020391 @default.
- W2567080712 cites W2081109124 @default.
- W2567080712 cites W2092351491 @default.
- W2567080712 cites W2097959001 @default.
- W2567080712 cites W2101811680 @default.
- W2567080712 cites W2109772966 @default.
- W2567080712 cites W2116323891 @default.
- W2567080712 cites W2125995229 @default.
- W2567080712 cites W2128303158 @default.
- W2567080712 cites W2129133667 @default.
- W2567080712 cites W2129414328 @default.
- W2567080712 cites W2137734935 @default.
- W2567080712 cites W2139597778 @default.
- W2567080712 cites W2141210774 @default.
- W2567080712 cites W2144160229 @default.
- W2567080712 cites W2145619371 @default.
- W2567080712 cites W2150998213 @default.
- W2567080712 cites W2153036969 @default.
- W2567080712 cites W2158376721 @default.
- W2567080712 cites W2169661165 @default.
- W2567080712 cites W2218092420 @default.
- W2567080712 cites W2267469130 @default.
- W2567080712 cites W2295923951 @default.
- W2567080712 cites W2340618214 @default.
- W2567080712 cites W2987907651 @default.
- W2567080712 cites W3099703838 @default.
- W2567080712 cites W4238764673 @default.
- W2567080712 cites W753900477 @default.
- W2567080712 doi "https://doi.org/10.1145/3009837.3009875" @default.
- W2567080712 hasPublicationYear "2017" @default.
- W2567080712 type Work @default.
- W2567080712 sameAs 2567080712 @default.
- W2567080712 citedByCount "6" @default.
- W2567080712 countsByYear W25670807122017 @default.
- W2567080712 countsByYear W25670807122018 @default.
- W2567080712 countsByYear W25670807122019 @default.
- W2567080712 countsByYear W25670807122020 @default.
- W2567080712 countsByYear W25670807122022 @default.
- W2567080712 crossrefType "proceedings-article" @default.
- W2567080712 hasAuthorship W2567080712A5018002187 @default.
- W2567080712 hasAuthorship W2567080712A5055835936 @default.
- W2567080712 hasConcept C149091818 @default.
- W2567080712 hasConcept C158379750 @default.
- W2567080712 hasConcept C186846655 @default.
- W2567080712 hasConcept C199360897 @default.
- W2567080712 hasConcept C22927095 @default.
- W2567080712 hasConcept C2777904410 @default.
- W2567080712 hasConcept C38652104 @default.
- W2567080712 hasConcept C41008148 @default.
- W2567080712 hasConcept C80291951 @default.
- W2567080712 hasConcept C83852419 @default.
- W2567080712 hasConceptScore W2567080712C149091818 @default.
- W2567080712 hasConceptScore W2567080712C158379750 @default.
- W2567080712 hasConceptScore W2567080712C186846655 @default.
- W2567080712 hasConceptScore W2567080712C199360897 @default.
- W2567080712 hasConceptScore W2567080712C22927095 @default.
- W2567080712 hasConceptScore W2567080712C2777904410 @default.
- W2567080712 hasConceptScore W2567080712C38652104 @default.
- W2567080712 hasConceptScore W2567080712C41008148 @default.
- W2567080712 hasConceptScore W2567080712C80291951 @default.
- W2567080712 hasConceptScore W2567080712C83852419 @default.
- W2567080712 hasFunder F4320334764 @default.
- W2567080712 hasLocation W25670807121 @default.
- W2567080712 hasOpenAccess W2567080712 @default.
- W2567080712 hasPrimaryLocation W25670807121 @default.
- W2567080712 hasRelatedWork W1494774343 @default.
- W2567080712 hasRelatedWork W1998490923 @default.
- W2567080712 hasRelatedWork W2104078272 @default.
- W2567080712 hasRelatedWork W2118300983 @default.
- W2567080712 hasRelatedWork W2158024764 @default.
- W2567080712 hasRelatedWork W2166247150 @default.