Matches in SemOpenAlex for { <https://semopenalex.org/work/W1599458008> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1599458008 abstract "The driving force behind Space Invader [1,2,3] - an automatic tool aiming to perform accurate static analysis of programs using pointers - is the idea of local reasoning, which is enabled by the Frame Rule of separation logic [4]: $$frac{{P} C {Q }}{{P * R } C { Q* R }} $$ In this rule R is the frame , i.e., the part of the heap which is not touched by the execution of the command C . The Frame Rule allows pre and postconditions to concentrate on the footprint: the cells touched by command C ." @default.
- W1599458008 created "2016-06-24" @default.
- W1599458008 creator A5087543664 @default.
- W1599458008 date "2008-01-01" @default.
- W1599458008 modified "2023-09-23" @default.
- W1599458008 title "Abductive Inference for Reasoning about Heaps" @default.
- W1599458008 cites W1495368328 @default.
- W1599458008 cites W1508482211 @default.
- W1599458008 cites W1508811155 @default.
- W1599458008 cites W2130162474 @default.
- W1599458008 cites W2152686702 @default.
- W1599458008 doi "https://doi.org/10.1007/978-3-540-89330-1_1" @default.
- W1599458008 hasPublicationYear "2008" @default.
- W1599458008 type Work @default.
- W1599458008 sameAs 1599458008 @default.
- W1599458008 citedByCount "0" @default.
- W1599458008 crossrefType "book-chapter" @default.
- W1599458008 hasAuthorship W1599458008A5087543664 @default.
- W1599458008 hasConcept C126042441 @default.
- W1599458008 hasConcept C134757568 @default.
- W1599458008 hasConcept C154945302 @default.
- W1599458008 hasConcept C173856430 @default.
- W1599458008 hasConcept C199360897 @default.
- W1599458008 hasConcept C2776214188 @default.
- W1599458008 hasConcept C3746660 @default.
- W1599458008 hasConcept C41008148 @default.
- W1599458008 hasConcept C76155785 @default.
- W1599458008 hasConcept C80444323 @default.
- W1599458008 hasConceptScore W1599458008C126042441 @default.
- W1599458008 hasConceptScore W1599458008C134757568 @default.
- W1599458008 hasConceptScore W1599458008C154945302 @default.
- W1599458008 hasConceptScore W1599458008C173856430 @default.
- W1599458008 hasConceptScore W1599458008C199360897 @default.
- W1599458008 hasConceptScore W1599458008C2776214188 @default.
- W1599458008 hasConceptScore W1599458008C3746660 @default.
- W1599458008 hasConceptScore W1599458008C41008148 @default.
- W1599458008 hasConceptScore W1599458008C76155785 @default.
- W1599458008 hasConceptScore W1599458008C80444323 @default.
- W1599458008 hasLocation W15994580081 @default.
- W1599458008 hasOpenAccess W1599458008 @default.
- W1599458008 hasPrimaryLocation W15994580081 @default.
- W1599458008 hasRelatedWork W104174606 @default.
- W1599458008 hasRelatedWork W1602395497 @default.
- W1599458008 hasRelatedWork W1974535693 @default.
- W1599458008 hasRelatedWork W2029759060 @default.
- W1599458008 hasRelatedWork W2125255059 @default.
- W1599458008 hasRelatedWork W2211820962 @default.
- W1599458008 hasRelatedWork W2352195177 @default.
- W1599458008 hasRelatedWork W3107474891 @default.
- W1599458008 hasRelatedWork W562802575 @default.
- W1599458008 hasRelatedWork W3145824027 @default.
- W1599458008 isParatext "false" @default.
- W1599458008 isRetracted "false" @default.
- W1599458008 magId "1599458008" @default.
- W1599458008 workType "book-chapter" @default.