FRINK Linked Data Fragments server

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

• W1567479568 endingPage "266" @default.
• W1567479568 startingPage "251" @default.
• W1567479568 abstract "Despite their popularity and importance, pointer-based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ensuring the safety of pointer-based programs. Our approach uses user-definable shape predicates to allow programmers to describe a wide range of data structures with their associated size properties. To support automatic verification, we design a new entailment checking procedure that can handle well-founded inductive predicates using unfold/fold reasoning. We have proven the soundness and termination of our verification system, and have built a prototype system." @default.
• W1567479568 created "2016-06-24" @default.
• W1567479568 creator A5042013137 @default.
• W1567479568 creator A5047181479 @default.
• W1567479568 creator A5069174535 @default.
• W1567479568 creator A5072292925 @default.
• W1567479568 date "2007-11-12" @default.
• W1567479568 modified "2023-10-18" @default.
• W1567479568 title "Automated Verification of Shape and Size Properties Via Separation Logic" @default.
• W1567479568 cites W1507902915 @default.
• W1567479568 cites W1562865234 @default.
• W1567479568 cites W1974321100 @default.
• W1567479568 cites W1988441831 @default.
• W1567479568 cites W1991837261 @default.
• W1567479568 cites W2023299380 @default.
• W1567479568 cites W2122820409 @default.
• W1567479568 cites W2130162474 @default.
• W1567479568 cites W2132331020 @default.
• W1567479568 cites W2134801812 @default.
• W1567479568 cites W2137628566 @default.
• W1567479568 cites W2142838609 @default.
• W1567479568 cites W2147121279 @default.
• W1567479568 cites W2160563691 @default.
• W1567479568 cites W2171685273 @default.
• W1567479568 cites W2498803556 @default.
• W1567479568 cites W4252634634 @default.
• W1567479568 cites W4256027310 @default.
• W1567479568 doi "https://doi.org/10.1007/978-3-540-69738-1_18" @default.
• W1567479568 hasPublicationYear "2007" @default.
• W1567479568 type Work @default.
• W1567479568 sameAs 1567479568 @default.
• W1567479568 citedByCount "84" @default.
• W1567479568 countsByYear W15674795682012 @default.
• W1567479568 countsByYear W15674795682013 @default.
• W1567479568 countsByYear W15674795682014 @default.
• W1567479568 countsByYear W15674795682015 @default.
• W1567479568 countsByYear W15674795682016 @default.
• W1567479568 countsByYear W15674795682017 @default.
• W1567479568 countsByYear W15674795682018 @default.
• W1567479568 countsByYear W15674795682019 @default.
• W1567479568 countsByYear W15674795682021 @default.
• W1567479568 countsByYear W15674795682022 @default.
• W1567479568 crossrefType "book-chapter" @default.
• W1567479568 hasAuthorship W1567479568A5042013137 @default.
• W1567479568 hasAuthorship W1567479568A5047181479 @default.
• W1567479568 hasAuthorship W1567479568A5069174535 @default.
• W1567479568 hasAuthorship W1567479568A5072292925 @default.
• W1567479568 hasBestOaLocation W15674795682 @default.
• W1567479568 hasConcept C110251889 @default.
• W1567479568 hasConcept C111498074 @default.
• W1567479568 hasConcept C142284323 @default.
• W1567479568 hasConcept C149091818 @default.
• W1567479568 hasConcept C150202949 @default.
• W1567479568 hasConcept C154945302 @default.
• W1567479568 hasConcept C173856430 @default.
• W1567479568 hasConcept C186846655 @default.
• W1567479568 hasConcept C187250869 @default.
• W1567479568 hasConcept C199360897 @default.
• W1567479568 hasConcept C202973057 @default.
• W1567479568 hasConcept C2777904410 @default.
• W1567479568 hasConcept C3406870 @default.
• W1567479568 hasConcept C39920170 @default.
• W1567479568 hasConcept C41008148 @default.
• W1567479568 hasConcept C62460635 @default.
• W1567479568 hasConceptScore W1567479568C110251889 @default.
• W1567479568 hasConceptScore W1567479568C111498074 @default.
• W1567479568 hasConceptScore W1567479568C142284323 @default.
• W1567479568 hasConceptScore W1567479568C149091818 @default.
• W1567479568 hasConceptScore W1567479568C150202949 @default.
• W1567479568 hasConceptScore W1567479568C154945302 @default.
• W1567479568 hasConceptScore W1567479568C173856430 @default.
• W1567479568 hasConceptScore W1567479568C186846655 @default.
• W1567479568 hasConceptScore W1567479568C187250869 @default.
• W1567479568 hasConceptScore W1567479568C199360897 @default.
• W1567479568 hasConceptScore W1567479568C202973057 @default.
• W1567479568 hasConceptScore W1567479568C2777904410 @default.
• W1567479568 hasConceptScore W1567479568C3406870 @default.
• W1567479568 hasConceptScore W1567479568C39920170 @default.
• W1567479568 hasConceptScore W1567479568C41008148 @default.
• W1567479568 hasConceptScore W1567479568C62460635 @default.
• W1567479568 hasLocation W15674795681 @default.
• W1567479568 hasLocation W15674795682 @default.
• W1567479568 hasLocation W15674795683 @default.
• W1567479568 hasLocation W15674795684 @default.
• W1567479568 hasOpenAccess W1567479568 @default.
• W1567479568 hasPrimaryLocation W15674795681 @default.
• W1567479568 hasRelatedWork W1542124114 @default.
• W1567479568 hasRelatedWork W1562499525 @default.
• W1567479568 hasRelatedWork W1563456403 @default.
• W1567479568 hasRelatedWork W1567479568 @default.
• W1567479568 hasRelatedWork W1573229708 @default.
• W1567479568 hasRelatedWork W2106507440 @default.
• W1567479568 hasRelatedWork W2162615969 @default.
• W1567479568 hasRelatedWork W2162709385 @default.
• W1567479568 hasRelatedWork W2406499533 @default.
• W1567479568 hasRelatedWork W3120172095 @default.
• W1567479568 isParatext "false" @default.
• W1567479568 isRetracted "false" @default.

• next