Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100054360> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2100054360 endingPage "210" @default.
- W2100054360 startingPage "187" @default.
- W2100054360 abstract "We investigate the use of monotonic abstraction and backward reachability analysis as means of performing shape analysis on programs with multiply pointed structures. By encoding the heap as a vertex- and edge-labeled graph, we can model the low level behaviour exhibited by programs written in the C programming language. Using the notion of signatures, which are predicates that define sets of heaps, we can check properties such as absence of null pointer dereference and shape invariants. We report on the results from running a prototype based on the method on several programs such as insertion into and merging of doubly-linked lists." @default.
- W2100054360 created "2016-06-24" @default.
- W2100054360 creator A5002478680 @default.
- W2100054360 creator A5005128087 @default.
- W2100054360 creator A5081685248 @default.
- W2100054360 date "2013-02-01" @default.
- W2100054360 modified "2023-10-18" @default.
- W2100054360 title "MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES" @default.
- W2100054360 cites W2050591418 @default.
- W2100054360 doi "https://doi.org/10.1142/s0129054113400078" @default.
- W2100054360 hasPublicationYear "2013" @default.
- W2100054360 type Work @default.
- W2100054360 sameAs 2100054360 @default.
- W2100054360 citedByCount "4" @default.
- W2100054360 countsByYear W21000543602014 @default.
- W2100054360 countsByYear W21000543602016 @default.
- W2100054360 crossrefType "journal-article" @default.
- W2100054360 hasAuthorship W2100054360A5002478680 @default.
- W2100054360 hasAuthorship W2100054360A5005128087 @default.
- W2100054360 hasAuthorship W2100054360A5081685248 @default.
- W2100054360 hasBestOaLocation W21000543602 @default.
- W2100054360 hasConcept C111472728 @default.
- W2100054360 hasConcept C124304363 @default.
- W2100054360 hasConcept C132525143 @default.
- W2100054360 hasConcept C134306372 @default.
- W2100054360 hasConcept C134757568 @default.
- W2100054360 hasConcept C136643341 @default.
- W2100054360 hasConcept C138885662 @default.
- W2100054360 hasConcept C150202949 @default.
- W2100054360 hasConcept C154945302 @default.
- W2100054360 hasConcept C199360897 @default.
- W2100054360 hasConcept C33923547 @default.
- W2100054360 hasConcept C41008148 @default.
- W2100054360 hasConcept C72169020 @default.
- W2100054360 hasConcept C7263679 @default.
- W2100054360 hasConcept C80444323 @default.
- W2100054360 hasConcept C80899671 @default.
- W2100054360 hasConcept C97686452 @default.
- W2100054360 hasConcept C98183937 @default.
- W2100054360 hasConceptScore W2100054360C111472728 @default.
- W2100054360 hasConceptScore W2100054360C124304363 @default.
- W2100054360 hasConceptScore W2100054360C132525143 @default.
- W2100054360 hasConceptScore W2100054360C134306372 @default.
- W2100054360 hasConceptScore W2100054360C134757568 @default.
- W2100054360 hasConceptScore W2100054360C136643341 @default.
- W2100054360 hasConceptScore W2100054360C138885662 @default.
- W2100054360 hasConceptScore W2100054360C150202949 @default.
- W2100054360 hasConceptScore W2100054360C154945302 @default.
- W2100054360 hasConceptScore W2100054360C199360897 @default.
- W2100054360 hasConceptScore W2100054360C33923547 @default.
- W2100054360 hasConceptScore W2100054360C41008148 @default.
- W2100054360 hasConceptScore W2100054360C72169020 @default.
- W2100054360 hasConceptScore W2100054360C7263679 @default.
- W2100054360 hasConceptScore W2100054360C80444323 @default.
- W2100054360 hasConceptScore W2100054360C80899671 @default.
- W2100054360 hasConceptScore W2100054360C97686452 @default.
- W2100054360 hasConceptScore W2100054360C98183937 @default.
- W2100054360 hasIssue "02" @default.
- W2100054360 hasLocation W21000543601 @default.
- W2100054360 hasLocation W21000543602 @default.
- W2100054360 hasLocation W21000543603 @default.
- W2100054360 hasOpenAccess W2100054360 @default.
- W2100054360 hasPrimaryLocation W21000543601 @default.
- W2100054360 hasRelatedWork W1486287063 @default.
- W2100054360 hasRelatedWork W2080661536 @default.
- W2100054360 hasRelatedWork W2198668404 @default.
- W2100054360 hasRelatedWork W23987500 @default.
- W2100054360 hasRelatedWork W2773223713 @default.
- W2100054360 hasRelatedWork W280881733 @default.
- W2100054360 hasRelatedWork W2920740222 @default.
- W2100054360 hasRelatedWork W3004884024 @default.
- W2100054360 hasRelatedWork W4236798398 @default.
- W2100054360 hasRelatedWork W4244118184 @default.
- W2100054360 hasVolume "24" @default.
- W2100054360 isParatext "false" @default.
- W2100054360 isRetracted "false" @default.
- W2100054360 magId "2100054360" @default.
- W2100054360 workType "article" @default.