FRINK Linked Data Fragments server

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

• W2509578035 abstract "The development of concurrent separation logic (CSL) has sparked a long line of work on modular verification of sophisticated concurrent programs. Two of the most important features supported by several existing extensions to CSL are higher-order quantification and custom ghost state. However, none of the logics that support both of these features reap the full potential of their combination. In particular, none of them provide general support for a feature we dub higher-order ghost state: the ability to store arbitrary higher-order separation-logic predicates in ghost variables." @default.
• W2509578035 created "2016-09-16" @default.
• W2509578035 creator A5025527323 @default.
• W2509578035 creator A5029418370 @default.
• W2509578035 creator A5050585539 @default.
• W2509578035 creator A5055959064 @default.
• W2509578035 date "2016-09-04" @default.
• W2509578035 modified "2023-09-29" @default.
• W2509578035 title "Higher-order ghost state" @default.
• W2509578035 cites W136497439 @default.
• W2509578035 cites W143008620 @default.
• W2509578035 cites W1486558830 @default.
• W2509578035 cites W1549217957 @default.
• W2509578035 cites W175195251 @default.
• W2509578035 cites W1803091134 @default.
• W2509578035 cites W1965662337 @default.
• W2509578035 cites W1975808766 @default.
• W2509578035 cites W1981363830 @default.
• W2509578035 cites W1991984504 @default.
• W2509578035 cites W1995902462 @default.
• W2509578035 cites W2028861803 @default.
• W2509578035 cites W2030299533 @default.
• W2509578035 cites W2075373350 @default.
• W2509578035 cites W2087851652 @default.
• W2509578035 cites W2132761501 @default.
• W2509578035 cites W2132818695 @default.
• W2509578035 cites W2136739578 @default.
• W2509578035 cites W2144645833 @default.
• W2509578035 cites W2145849916 @default.
• W2509578035 cites W2147323041 @default.
• W2509578035 cites W2150224578 @default.
• W2509578035 cites W2163806865 @default.
• W2509578035 cites W2168397157 @default.
• W2509578035 cites W2231621909 @default.
• W2509578035 cites W4232666937 @default.
• W2509578035 cites W75891272 @default.
• W2509578035 doi "https://doi.org/10.1145/2951913.2951943" @default.
• W2509578035 hasPublicationYear "2016" @default.
• W2509578035 type Work @default.
• W2509578035 sameAs 2509578035 @default.
• W2509578035 citedByCount "65" @default.
• W2509578035 countsByYear W25095780352016 @default.
• W2509578035 countsByYear W25095780352017 @default.
• W2509578035 countsByYear W25095780352018 @default.
• W2509578035 countsByYear W25095780352019 @default.
• W2509578035 countsByYear W25095780352020 @default.
• W2509578035 countsByYear W25095780352021 @default.
• W2509578035 countsByYear W25095780352022 @default.
• W2509578035 countsByYear W25095780352023 @default.
• W2509578035 crossrefType "proceedings-article" @default.
• W2509578035 hasAuthorship W2509578035A5025527323 @default.
• W2509578035 hasAuthorship W2509578035A5029418370 @default.
• W2509578035 hasAuthorship W2509578035A5050585539 @default.
• W2509578035 hasAuthorship W2509578035A5055959064 @default.
• W2509578035 hasBestOaLocation W25095780352 @default.
• W2509578035 hasConcept C10138342 @default.
• W2509578035 hasConcept C101468663 @default.
• W2509578035 hasConcept C138885662 @default.
• W2509578035 hasConcept C162324750 @default.
• W2509578035 hasConcept C173856430 @default.
• W2509578035 hasConcept C182306322 @default.
• W2509578035 hasConcept C199360897 @default.
• W2509578035 hasConcept C2776401178 @default.
• W2509578035 hasConcept C28826006 @default.
• W2509578035 hasConcept C2987642246 @default.
• W2509578035 hasConcept C33923547 @default.
• W2509578035 hasConcept C41008148 @default.
• W2509578035 hasConcept C41895202 @default.
• W2509578035 hasConcept C48103436 @default.
• W2509578035 hasConcept C80444323 @default.
• W2509578035 hasConceptScore W2509578035C10138342 @default.
• W2509578035 hasConceptScore W2509578035C101468663 @default.
• W2509578035 hasConceptScore W2509578035C138885662 @default.
• W2509578035 hasConceptScore W2509578035C162324750 @default.
• W2509578035 hasConceptScore W2509578035C173856430 @default.
• W2509578035 hasConceptScore W2509578035C182306322 @default.
• W2509578035 hasConceptScore W2509578035C199360897 @default.
• W2509578035 hasConceptScore W2509578035C2776401178 @default.
• W2509578035 hasConceptScore W2509578035C28826006 @default.
• W2509578035 hasConceptScore W2509578035C2987642246 @default.
• W2509578035 hasConceptScore W2509578035C33923547 @default.
• W2509578035 hasConceptScore W2509578035C41008148 @default.
• W2509578035 hasConceptScore W2509578035C41895202 @default.
• W2509578035 hasConceptScore W2509578035C48103436 @default.
• W2509578035 hasConceptScore W2509578035C80444323 @default.
• W2509578035 hasLocation W25095780351 @default.
• W2509578035 hasLocation W25095780352 @default.
• W2509578035 hasOpenAccess W2509578035 @default.
• W2509578035 hasPrimaryLocation W25095780351 @default.
• W2509578035 hasRelatedWork W2104078272 @default.
• W2509578035 hasRelatedWork W2112962394 @default.
• W2509578035 hasRelatedWork W2118300983 @default.
• W2509578035 hasRelatedWork W2166247150 @default.
• W2509578035 hasRelatedWork W2382501300 @default.
• W2509578035 hasRelatedWork W3137189469 @default.
• W2509578035 hasRelatedWork W3162240892 @default.
• W2509578035 hasRelatedWork W4235530921 @default.
• W2509578035 hasRelatedWork W4243252198 @default.
• W2509578035 hasRelatedWork W4245713008 @default.
• W2509578035 isParatext "false" @default.

• next