Matches in SemOpenAlex for { <https://semopenalex.org/work/W1568427190> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1568427190 endingPage "432" @default.
- W1568427190 startingPage "428" @default.
- W1568427190 abstract "We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several such systems in development now. However, Thor is unique in that it provides not only shape analysis, but also arithmetic reasoning via a novel combination procedure. Also, considerable effort has been put into making the output clear and easy to understand. Thor uses Javascript and HTML to produce an interactive representation of the analysis results." @default.
- W1568427190 created "2016-06-24" @default.
- W1568427190 creator A5012433957 @default.
- W1568427190 creator A5022585138 @default.
- W1568427190 creator A5040466689 @default.
- W1568427190 creator A5066278415 @default.
- W1568427190 date "2008-08-12" @default.
- W1568427190 modified "2023-10-18" @default.
- W1568427190 title "THOR: A Tool for Reasoning about Shape and Arithmetic" @default.
- W1568427190 cites W1508482211 @default.
- W1568427190 cites W1508811155 @default.
- W1568427190 cites W1997268799 @default.
- W1568427190 cites W2001914359 @default.
- W1568427190 cites W2111513472 @default.
- W1568427190 cites W2112350720 @default.
- W1568427190 cites W2136242294 @default.
- W1568427190 cites W2152686702 @default.
- W1568427190 cites W2153144732 @default.
- W1568427190 cites W2487992810 @default.
- W1568427190 doi "https://doi.org/10.1007/978-3-540-70545-1_41" @default.
- W1568427190 hasPublicationYear "2008" @default.
- W1568427190 type Work @default.
- W1568427190 sameAs 1568427190 @default.
- W1568427190 citedByCount "43" @default.
- W1568427190 countsByYear W15684271902012 @default.
- W1568427190 countsByYear W15684271902013 @default.
- W1568427190 countsByYear W15684271902014 @default.
- W1568427190 countsByYear W15684271902015 @default.
- W1568427190 countsByYear W15684271902017 @default.
- W1568427190 countsByYear W15684271902018 @default.
- W1568427190 countsByYear W15684271902019 @default.
- W1568427190 crossrefType "book-chapter" @default.
- W1568427190 hasAuthorship W1568427190A5012433957 @default.
- W1568427190 hasAuthorship W1568427190A5022585138 @default.
- W1568427190 hasAuthorship W1568427190A5040466689 @default.
- W1568427190 hasAuthorship W1568427190A5066278415 @default.
- W1568427190 hasBestOaLocation W15684271901 @default.
- W1568427190 hasConcept C134757568 @default.
- W1568427190 hasConcept C154945302 @default.
- W1568427190 hasConcept C161301231 @default.
- W1568427190 hasConcept C173856430 @default.
- W1568427190 hasConcept C195344581 @default.
- W1568427190 hasConcept C199360897 @default.
- W1568427190 hasConcept C33923547 @default.
- W1568427190 hasConcept C41008148 @default.
- W1568427190 hasConcept C544833334 @default.
- W1568427190 hasConcept C94375191 @default.
- W1568427190 hasConceptScore W1568427190C134757568 @default.
- W1568427190 hasConceptScore W1568427190C154945302 @default.
- W1568427190 hasConceptScore W1568427190C161301231 @default.
- W1568427190 hasConceptScore W1568427190C173856430 @default.
- W1568427190 hasConceptScore W1568427190C195344581 @default.
- W1568427190 hasConceptScore W1568427190C199360897 @default.
- W1568427190 hasConceptScore W1568427190C33923547 @default.
- W1568427190 hasConceptScore W1568427190C41008148 @default.
- W1568427190 hasConceptScore W1568427190C544833334 @default.
- W1568427190 hasConceptScore W1568427190C94375191 @default.
- W1568427190 hasLocation W15684271901 @default.
- W1568427190 hasLocation W15684271902 @default.
- W1568427190 hasOpenAccess W1568427190 @default.
- W1568427190 hasPrimaryLocation W15684271901 @default.
- W1568427190 hasRelatedWork W2111558906 @default.
- W1568427190 hasRelatedWork W2149469095 @default.
- W1568427190 hasRelatedWork W2888529970 @default.
- W1568427190 hasRelatedWork W2950340338 @default.
- W1568427190 hasRelatedWork W2952657391 @default.
- W1568427190 hasRelatedWork W2998595860 @default.
- W1568427190 hasRelatedWork W3083780029 @default.
- W1568427190 hasRelatedWork W4229928981 @default.
- W1568427190 hasRelatedWork W4298102333 @default.
- W1568427190 hasRelatedWork W56863910 @default.
- W1568427190 isParatext "false" @default.
- W1568427190 isRetracted "false" @default.
- W1568427190 magId "1568427190" @default.
- W1568427190 workType "book-chapter" @default.