FRINK Linked Data Fragments server

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

• W2899100898 endingPage "74" @default.
• W2899100898 startingPage "64" @default.
• W2899100898 abstract "Knowing the shapes of dynamic data structures is key when formally reasoning about pointer programs. While modern shape analysis tools employ symbolic execution and machine learning to infer shapes, they often assume well-structured C code or programs written in an idealised language. In contrast, our Data Structure Investigator (DSI) tool for program comprehension analyses concrete executions and handles even C programs with complex coding styles." @default.
• W2899100898 created "2018-11-09" @default.
• W2899100898 creator A5004569001 @default.
• W2899100898 creator A5060497231 @default.
• W2899100898 creator A5065958136 @default.
• W2899100898 date "2018-01-01" @default.
• W2899100898 modified "2023-10-02" @default.
• W2899100898 title "Generating Inductive Shape Predicates for Runtime Checking and Formal Verification" @default.
• W2899100898 cites W10851983 @default.
• W2899100898 cites W125046873 @default.
• W2899100898 cites W1560366856 @default.
• W2899100898 cites W1697035421 @default.
• W2899100898 cites W2036329595 @default.
• W2899100898 cites W2075698084 @default.
• W2899100898 cites W2109547380 @default.
• W2899100898 cites W2112172944 @default.
• W2899100898 cites W2117562822 @default.
• W2899100898 cites W2129021396 @default.
• W2899100898 cites W2170612356 @default.
• W2899100898 cites W2464437250 @default.
• W2899100898 cites W2520322753 @default.
• W2899100898 cites W2739746516 @default.
• W2899100898 cites W2746792245 @default.
• W2899100898 cites W2767896960 @default.
• W2899100898 cites W2768341546 @default.
• W2899100898 cites W3021076715 @default.
• W2899100898 cites W4238096783 @default.
• W2899100898 cites W71096408 @default.
• W2899100898 cites W777621473 @default.
• W2899100898 cites W2748853711 @default.
• W2899100898 doi "https://doi.org/10.1007/978-3-030-03421-4_5" @default.
• W2899100898 hasPublicationYear "2018" @default.
• W2899100898 type Work @default.
• W2899100898 sameAs 2899100898 @default.
• W2899100898 citedByCount "1" @default.
• W2899100898 countsByYear W28991008982018 @default.
• W2899100898 crossrefType "book-chapter" @default.
• W2899100898 hasAuthorship W2899100898A5004569001 @default.
• W2899100898 hasAuthorship W2899100898A5060497231 @default.
• W2899100898 hasAuthorship W2899100898A5065958136 @default.
• W2899100898 hasBestOaLocation W28991008982 @default.
• W2899100898 hasConcept C105795698 @default.
• W2899100898 hasConcept C111498074 @default.
• W2899100898 hasConcept C149091818 @default.
• W2899100898 hasConcept C150202949 @default.
• W2899100898 hasConcept C154945302 @default.
• W2899100898 hasConcept C162319229 @default.
• W2899100898 hasConcept C179518139 @default.
• W2899100898 hasConcept C199360897 @default.
• W2899100898 hasConcept C26517878 @default.
• W2899100898 hasConcept C2777561058 @default.
• W2899100898 hasConcept C2777904410 @default.
• W2899100898 hasConcept C2779639559 @default.
• W2899100898 hasConcept C33923547 @default.
• W2899100898 hasConcept C38652104 @default.
• W2899100898 hasConcept C41008148 @default.
• W2899100898 hasConcept C80444323 @default.
• W2899100898 hasConcept C97686452 @default.
• W2899100898 hasConcept C98183937 @default.
• W2899100898 hasConceptScore W2899100898C105795698 @default.
• W2899100898 hasConceptScore W2899100898C111498074 @default.
• W2899100898 hasConceptScore W2899100898C149091818 @default.
• W2899100898 hasConceptScore W2899100898C150202949 @default.
• W2899100898 hasConceptScore W2899100898C154945302 @default.
• W2899100898 hasConceptScore W2899100898C162319229 @default.
• W2899100898 hasConceptScore W2899100898C179518139 @default.
• W2899100898 hasConceptScore W2899100898C199360897 @default.
• W2899100898 hasConceptScore W2899100898C26517878 @default.
• W2899100898 hasConceptScore W2899100898C2777561058 @default.
• W2899100898 hasConceptScore W2899100898C2777904410 @default.
• W2899100898 hasConceptScore W2899100898C2779639559 @default.
• W2899100898 hasConceptScore W2899100898C33923547 @default.
• W2899100898 hasConceptScore W2899100898C38652104 @default.
• W2899100898 hasConceptScore W2899100898C41008148 @default.
• W2899100898 hasConceptScore W2899100898C80444323 @default.
• W2899100898 hasConceptScore W2899100898C97686452 @default.
• W2899100898 hasConceptScore W2899100898C98183937 @default.
• W2899100898 hasLocation W28991008981 @default.
• W2899100898 hasLocation W28991008982 @default.
• W2899100898 hasOpenAccess W2899100898 @default.
• W2899100898 hasPrimaryLocation W28991008981 @default.
• W2899100898 hasRelatedWork W102918359 @default.
• W2899100898 hasRelatedWork W1571072431 @default.
• W2899100898 hasRelatedWork W1586345483 @default.
• W2899100898 hasRelatedWork W1848413669 @default.
• W2899100898 hasRelatedWork W2001355739 @default.
• W2899100898 hasRelatedWork W2035243284 @default.
• W2899100898 hasRelatedWork W2091886873 @default.
• W2899100898 hasRelatedWork W2129082727 @default.
• W2899100898 hasRelatedWork W2213966433 @default.
• W2899100898 hasRelatedWork W2494016458 @default.
• W2899100898 hasRelatedWork W253135808 @default.
• W2899100898 hasRelatedWork W2565984591 @default.
• W2899100898 hasRelatedWork W283924426 @default.
• W2899100898 hasRelatedWork W2915021720 @default.
• W2899100898 hasRelatedWork W2938097141 @default.
• W2899100898 hasRelatedWork W2950355163 @default.
• W2899100898 hasRelatedWork W2971474072 @default.

• next