FRINK Linked Data Fragments server

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

• W1987635382 endingPage "41" @default.
• W1987635382 startingPage "1" @default.
• W1987635382 abstract "In heap-based languages, knowing that a variable x points to an acyclic data structure is useful for analyzing termination. This information guarantees that the depth of the data structure to which x points is greater than the depth of the structure pointed to by x. fld , and allows bounding the number of iterations of a loop that traverses the data structure on fld . In general, proving termination needs acyclicity, unless program-specific or nonautomated reasoning is performed. However, recent work could prove that certain loops terminate even without inferring acyclicity, because they traverse data structures “acyclically.” Consider a double-linked list: if it is possible to demonstrate that every cycle involves both the “next” and the “prev” field, then a traversal on “next” terminates since no cycle will be traversed completely. This article develops a static analysis inferring field-sensitive reachability and cyclicity information, which is more general than existing approaches. Propositional formulæ are computed, which describe which fields may or may not be traversed by paths in the heap. Consider a tree with edges “left” and “right” to the left and right subtrees, and “parent” to the parent node: termination of a loop traversing leaf-up cannot be guaranteed by state-of-the-art analyses. Instead, propositional formulæ computed by this analysis indicate that cycles must traverse “parent” and at least one between “left” and “right”: termination is guaranteed, as no cycle is traversed completely. This work defines the necessary abstract domains and builds an abstract semantics on them. A prototypical implementation provides the expected result on relevant examples." @default.
• W1987635382 created "2016-06-24" @default.
• W1987635382 creator A5014510097 @default.
• W1987635382 creator A5067489706 @default.
• W1987635382 date "2014-08-01" @default.
• W1987635382 modified "2023-10-03" @default.
• W1987635382 title "Inference of Field-Sensitive Reachability and Cyclicity" @default.
• W1987635382 cites W108605113 @default.
• W1987635382 cites W121457469 @default.
• W1987635382 cites W1529156240 @default.
• W1987635382 cites W1552505815 @default.
• W1987635382 cites W1574640530 @default.
• W1987635382 cites W1598565505 @default.
• W1987635382 cites W1983496086 @default.
• W1987635382 cites W1991837261 @default.
• W1987635382 cites W1992296379 @default.
• W1987635382 cites W1995268059 @default.
• W1987635382 cites W1996245589 @default.
• W1987635382 cites W2003295303 @default.
• W1987635382 cites W2007121005 @default.
• W1987635382 cites W2012069736 @default.
• W1987635382 cites W2014764321 @default.
• W1987635382 cites W2030101147 @default.
• W1987635382 cites W2043100293 @default.
• W1987635382 cites W2046699259 @default.
• W1987635382 cites W2055807110 @default.
• W1987635382 cites W2061213370 @default.
• W1987635382 cites W2075091218 @default.
• W1987635382 cites W2094712524 @default.
• W1987635382 cites W2136242294 @default.
• W1987635382 cites W2138245690 @default.
• W1987635382 cites W2139356751 @default.
• W1987635382 cites W4232668957 @default.
• W1987635382 cites W91193428 @default.
• W1987635382 doi "https://doi.org/10.1145/2629478" @default.
• W1987635382 hasPublicationYear "2014" @default.
• W1987635382 type Work @default.
• W1987635382 sameAs 1987635382 @default.
• W1987635382 citedByCount "2" @default.
• W1987635382 countsByYear W19876353822017 @default.
• W1987635382 countsByYear W19876353822018 @default.
• W1987635382 crossrefType "journal-article" @default.
• W1987635382 hasAuthorship W1987635382A5014510097 @default.
• W1987635382 hasAuthorship W1987635382A5067489706 @default.
• W1987635382 hasBestOaLocation W19876353822 @default.
• W1987635382 hasConcept C113174947 @default.
• W1987635382 hasConcept C11413529 @default.
• W1987635382 hasConcept C114614502 @default.
• W1987635382 hasConcept C118615104 @default.
• W1987635382 hasConcept C13280743 @default.
• W1987635382 hasConcept C134757568 @default.
• W1987635382 hasConcept C136643341 @default.
• W1987635382 hasConcept C140745168 @default.
• W1987635382 hasConcept C154945302 @default.
• W1987635382 hasConcept C162319229 @default.
• W1987635382 hasConcept C176809094 @default.
• W1987635382 hasConcept C199360897 @default.
• W1987635382 hasConcept C205649164 @default.
• W1987635382 hasConcept C2776214188 @default.
• W1987635382 hasConcept C33923547 @default.
• W1987635382 hasConcept C41008148 @default.
• W1987635382 hasConcept C63584917 @default.
• W1987635382 hasConcept C80444323 @default.
• W1987635382 hasConceptScore W1987635382C113174947 @default.
• W1987635382 hasConceptScore W1987635382C11413529 @default.
• W1987635382 hasConceptScore W1987635382C114614502 @default.
• W1987635382 hasConceptScore W1987635382C118615104 @default.
• W1987635382 hasConceptScore W1987635382C13280743 @default.
• W1987635382 hasConceptScore W1987635382C134757568 @default.
• W1987635382 hasConceptScore W1987635382C136643341 @default.
• W1987635382 hasConceptScore W1987635382C140745168 @default.
• W1987635382 hasConceptScore W1987635382C154945302 @default.
• W1987635382 hasConceptScore W1987635382C162319229 @default.
• W1987635382 hasConceptScore W1987635382C176809094 @default.
• W1987635382 hasConceptScore W1987635382C199360897 @default.
• W1987635382 hasConceptScore W1987635382C205649164 @default.
• W1987635382 hasConceptScore W1987635382C2776214188 @default.
• W1987635382 hasConceptScore W1987635382C33923547 @default.
• W1987635382 hasConceptScore W1987635382C41008148 @default.
• W1987635382 hasConceptScore W1987635382C63584917 @default.
• W1987635382 hasConceptScore W1987635382C80444323 @default.
• W1987635382 hasIssue "4" @default.
• W1987635382 hasLocation W19876353821 @default.
• W1987635382 hasLocation W19876353822 @default.
• W1987635382 hasLocation W19876353823 @default.
• W1987635382 hasOpenAccess W1987635382 @default.
• W1987635382 hasPrimaryLocation W19876353821 @default.
• W1987635382 hasRelatedWork W1979520342 @default.
• W1987635382 hasRelatedWork W1987635382 @default.
• W1987635382 hasRelatedWork W2354594976 @default.
• W1987635382 hasRelatedWork W2361165494 @default.
• W1987635382 hasRelatedWork W2368134538 @default.
• W1987635382 hasRelatedWork W2951775680 @default.
• W1987635382 hasRelatedWork W3090291499 @default.
• W1987635382 hasRelatedWork W3110101717 @default.
• W1987635382 hasRelatedWork W4287647396 @default.
• W1987635382 hasRelatedWork W4298093245 @default.
• W1987635382 hasVolume "15" @default.

• next