Matches in SemOpenAlex for { <https://semopenalex.org/work/W174943245> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W174943245 endingPage "151" @default.
- W174943245 startingPage "136" @default.
- W174943245 abstract "We present Crowfoot, an automatic verification tool for imperative programs that manipulate procedures dynamically at runtime; these programs use a heap that can store not only data but also code (commands or procedures). Such heaps are often called higher-order store, and allow for instance the creation of new recursions on the fly. One can use higher-order store to model phenomena such as runtime loading and unloading of code, runtime update of code and runtime code generation. Crowfoot’s assertion language, based on separation logic, features nested Hoare triples which describe the behaviour of procedures stored on the heap. The tool addresses complex issues like deep frame rules and recursion through the store, and is the first verification tool based on recent developments in the mathematical foundations of Hoare logics with nested triples." @default.
- W174943245 created "2016-06-24" @default.
- W174943245 creator A5002649980 @default.
- W174943245 creator A5018059594 @default.
- W174943245 creator A5089509441 @default.
- W174943245 date "2012-01-01" @default.
- W174943245 modified "2023-10-18" @default.
- W174943245 title "Crowfoot: A Verifier for Higher-Order Store Programs" @default.
- W174943245 cites W1546369567 @default.
- W174943245 cites W1562865234 @default.
- W174943245 cites W1565541828 @default.
- W174943245 cites W1567479568 @default.
- W174943245 cites W1598065184 @default.
- W174943245 cites W1606142489 @default.
- W174943245 cites W1990409169 @default.
- W174943245 cites W208084060 @default.
- W174943245 cites W2098959411 @default.
- W174943245 cites W2111558906 @default.
- W174943245 cites W2130162474 @default.
- W174943245 cites W2133455247 @default.
- W174943245 cites W3020408162 @default.
- W174943245 cites W3100079782 @default.
- W174943245 cites W3148010226 @default.
- W174943245 doi "https://doi.org/10.1007/978-3-642-27940-9_10" @default.
- W174943245 hasPublicationYear "2012" @default.
- W174943245 type Work @default.
- W174943245 sameAs 174943245 @default.
- W174943245 citedByCount "7" @default.
- W174943245 countsByYear W1749432452012 @default.
- W174943245 countsByYear W1749432452013 @default.
- W174943245 countsByYear W1749432452014 @default.
- W174943245 countsByYear W1749432452015 @default.
- W174943245 crossrefType "book-chapter" @default.
- W174943245 hasAuthorship W174943245A5002649980 @default.
- W174943245 hasAuthorship W174943245A5018059594 @default.
- W174943245 hasAuthorship W174943245A5089509441 @default.
- W174943245 hasBestOaLocation W1749432452 @default.
- W174943245 hasConcept C104949639 @default.
- W174943245 hasConcept C111919701 @default.
- W174943245 hasConcept C134757568 @default.
- W174943245 hasConcept C173856430 @default.
- W174943245 hasConcept C177264268 @default.
- W174943245 hasConcept C199360897 @default.
- W174943245 hasConcept C2776760102 @default.
- W174943245 hasConcept C2781020372 @default.
- W174943245 hasConcept C40422974 @default.
- W174943245 hasConcept C41008148 @default.
- W174943245 hasConcept C55439883 @default.
- W174943245 hasConceptScore W174943245C104949639 @default.
- W174943245 hasConceptScore W174943245C111919701 @default.
- W174943245 hasConceptScore W174943245C134757568 @default.
- W174943245 hasConceptScore W174943245C173856430 @default.
- W174943245 hasConceptScore W174943245C177264268 @default.
- W174943245 hasConceptScore W174943245C199360897 @default.
- W174943245 hasConceptScore W174943245C2776760102 @default.
- W174943245 hasConceptScore W174943245C2781020372 @default.
- W174943245 hasConceptScore W174943245C40422974 @default.
- W174943245 hasConceptScore W174943245C41008148 @default.
- W174943245 hasConceptScore W174943245C55439883 @default.
- W174943245 hasLocation W1749432451 @default.
- W174943245 hasLocation W1749432452 @default.
- W174943245 hasLocation W1749432453 @default.
- W174943245 hasOpenAccess W174943245 @default.
- W174943245 hasPrimaryLocation W1749432451 @default.
- W174943245 hasRelatedWork W1595420666 @default.
- W174943245 hasRelatedWork W2111558906 @default.
- W174943245 hasRelatedWork W2363546861 @default.
- W174943245 hasRelatedWork W2382513971 @default.
- W174943245 hasRelatedWork W2726057711 @default.
- W174943245 hasRelatedWork W2901281245 @default.
- W174943245 hasRelatedWork W2951452824 @default.
- W174943245 hasRelatedWork W4232716036 @default.
- W174943245 hasRelatedWork W4297911822 @default.
- W174943245 hasRelatedWork W56863910 @default.
- W174943245 isParatext "false" @default.
- W174943245 isRetracted "false" @default.
- W174943245 magId "174943245" @default.
- W174943245 workType "book-chapter" @default.