FRINK Linked Data Fragments server

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

• W2034103799 abstract "Program slicing identifies the program parts that may affect certain properties of the program, such as the outcomes of conditions affecting the program flow. Ottenstein's Program Dependence Graph (PDG) based algorithm is the state-of-practice for static slicing today: it is well-suited in applications where many slices are computed, since the cost of building the PDG then can be amortized over the slices. But there are applications that require few slices of a given program, and where computing all the dependencies may be unnecessary. We present a light-weight interprocedural algorithm for backward static slicing where the data dependence analysis is done using a variant of the Strongly Live Variables (SLV) analysis. This allows us to avoid building the Data Dependence Graph, and to slice program statements on-the-fly'' during the SLV analysis which is potentially faster for computing few slices. Furthermore we use an abstract interpretation-based value analysis to extend our slicing algorithm to slice low-level code, where data dependencies are not evident due to dynamically calculated addresses. Our algorithm computes slices as sets of Control Flow Graph nodes: we show how to adapt existing techniques to generate executable slices that correspond to semantically correct code, where jump statements have been inserted at appropriate places. We have implemented our slicing algorithms, and made an experimental evaluation comparing them with the standard PDG-based algorithm for a number of example programs. We obtain the same accuracy as for PDG-based slicing, sometimes with substantial improvements in performance." @default.
• W2034103799 created "2016-06-24" @default.
• W2034103799 creator A5021848628 @default.
• W2034103799 creator A5062612658 @default.
• W2034103799 creator A5091315577 @default.
• W2034103799 date "2015-01-13" @default.
• W2034103799 modified "2023-09-27" @default.
• W2034103799 title "Static Backward Demand-Driven Slicing" @default.
• W2034103799 cites W1528455415 @default.
• W2034103799 cites W1546381996 @default.
• W2034103799 cites W1553894716 @default.
• W2034103799 cites W1979611815 @default.
• W2034103799 cites W1990220002 @default.
• W2034103799 cites W1992792191 @default.
• W2034103799 cites W2003831960 @default.
• W2034103799 cites W2007121005 @default.
• W2034103799 cites W2030906223 @default.
• W2034103799 cites W2043100293 @default.
• W2034103799 cites W2060910994 @default.
• W2034103799 cites W2068575030 @default.
• W2034103799 cites W2073971651 @default.
• W2034103799 cites W2076285066 @default.
• W2034103799 cites W2080573945 @default.
• W2034103799 cites W2080973181 @default.
• W2034103799 cites W2088140535 @default.
• W2034103799 cites W2094944943 @default.
• W2034103799 cites W2110066339 @default.
• W2034103799 cites W2131135493 @default.
• W2034103799 cites W2142993980 @default.
• W2034103799 cites W2144344516 @default.
• W2034103799 cites W2147088720 @default.
• W2034103799 cites W2157402204 @default.
• W2034103799 cites W2162046779 @default.
• W2034103799 cites W2162310108 @default.
• W2034103799 cites W2293624369 @default.
• W2034103799 cites W4247632680 @default.
• W2034103799 doi "https://doi.org/10.1145/2678015.2682538" @default.
• W2034103799 hasPublicationYear "2015" @default.
• W2034103799 type Work @default.
• W2034103799 sameAs 2034103799 @default.
• W2034103799 citedByCount "11" @default.
• W2034103799 countsByYear W20341037992015 @default.
• W2034103799 countsByYear W20341037992016 @default.
• W2034103799 countsByYear W20341037992017 @default.
• W2034103799 countsByYear W20341037992019 @default.
• W2034103799 countsByYear W20341037992020 @default.
• W2034103799 countsByYear W20341037992021 @default.
• W2034103799 countsByYear W20341037992022 @default.
• W2034103799 crossrefType "proceedings-article" @default.
• W2034103799 hasAuthorship W2034103799A5021848628 @default.
• W2034103799 hasAuthorship W2034103799A5062612658 @default.
• W2034103799 hasAuthorship W2034103799A5091315577 @default.
• W2034103799 hasBestOaLocation W20341037991 @default.
• W2034103799 hasConcept C102379954 @default.
• W2034103799 hasConcept C11413529 @default.
• W2034103799 hasConcept C132525143 @default.
• W2034103799 hasConcept C136764020 @default.
• W2034103799 hasConcept C160145156 @default.
• W2034103799 hasConcept C160191386 @default.
• W2034103799 hasConcept C173608175 @default.
• W2034103799 hasConcept C177264268 @default.
• W2034103799 hasConcept C199360897 @default.
• W2034103799 hasConcept C27390822 @default.
• W2034103799 hasConcept C27458966 @default.
• W2034103799 hasConcept C2776190703 @default.
• W2034103799 hasConcept C2776760102 @default.
• W2034103799 hasConcept C2780654840 @default.
• W2034103799 hasConcept C41008148 @default.
• W2034103799 hasConcept C489000 @default.
• W2034103799 hasConcept C77088390 @default.
• W2034103799 hasConcept C80444323 @default.
• W2034103799 hasConcept C88468194 @default.
• W2034103799 hasConcept C91071405 @default.
• W2034103799 hasConcept C97686452 @default.
• W2034103799 hasConcept C98183937 @default.
• W2034103799 hasConceptScore W2034103799C102379954 @default.
• W2034103799 hasConceptScore W2034103799C11413529 @default.
• W2034103799 hasConceptScore W2034103799C132525143 @default.
• W2034103799 hasConceptScore W2034103799C136764020 @default.
• W2034103799 hasConceptScore W2034103799C160145156 @default.
• W2034103799 hasConceptScore W2034103799C160191386 @default.
• W2034103799 hasConceptScore W2034103799C173608175 @default.
• W2034103799 hasConceptScore W2034103799C177264268 @default.
• W2034103799 hasConceptScore W2034103799C199360897 @default.
• W2034103799 hasConceptScore W2034103799C27390822 @default.
• W2034103799 hasConceptScore W2034103799C27458966 @default.
• W2034103799 hasConceptScore W2034103799C2776190703 @default.
• W2034103799 hasConceptScore W2034103799C2776760102 @default.
• W2034103799 hasConceptScore W2034103799C2780654840 @default.
• W2034103799 hasConceptScore W2034103799C41008148 @default.
• W2034103799 hasConceptScore W2034103799C489000 @default.
• W2034103799 hasConceptScore W2034103799C77088390 @default.
• W2034103799 hasConceptScore W2034103799C80444323 @default.
• W2034103799 hasConceptScore W2034103799C88468194 @default.
• W2034103799 hasConceptScore W2034103799C91071405 @default.
• W2034103799 hasConceptScore W2034103799C97686452 @default.
• W2034103799 hasConceptScore W2034103799C98183937 @default.
• W2034103799 hasFunder F4320334960 @default.
• W2034103799 hasLocation W20341037991 @default.
• W2034103799 hasOpenAccess W2034103799 @default.

• next