Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480756830> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1480756830 abstract "Weiser's algorithm for computing interprocedural slices has a serious drawback: it generates spurious criteria which are not feasible in the control flow of the program. When these extraneous criteria are used the slice becomes imprecise in that it has statements that are not relevant to the computation. Horwitz, Reps and Binkley solved this problem by devising the system dependence graph with an associated algorithm that produced more precise interprocedural slices. We take a step backward'' and show how to generate exactly the interprocedural slicing criteria needed, using the program's call graph or a stack. This technique can also be used on a family of program dependence graphs that represent all procedures in a program and are not interconnected by a system dependence graph. Then we show how to use the Horwitz, Reps and Binkley interprocedural slicing algorithm to generate criteria and show that the criteria so generated are equal to those generated by the call-graph/stack technique. Thus we present alternative, equivalent ways to generate precise slicing criteria across procedure boundaries. And finally we show that under certain circumstances. Weiser's technique for slicing across procedures is a bit too strong, for it always generates sufficient criteria to obtain the entire program as a slice on any criteria." @default.
- W1480756830 created "2016-06-24" @default.
- W1480756830 creator A5030819717 @default.
- W1480756830 date "2005-03-21" @default.
- W1480756830 modified "2023-09-23" @default.
- W1480756830 title "Software de-pipelining technique" @default.
- W1480756830 cites W1990717911 @default.
- W1480756830 cites W2038224341 @default.
- W1480756830 cites W2046368000 @default.
- W1480756830 cites W2067776455 @default.
- W1480756830 cites W2085980798 @default.
- W1480756830 cites W2106244281 @default.
- W1480756830 cites W2169924350 @default.
- W1480756830 cites W4232919122 @default.
- W1480756830 cites W4238224159 @default.
- W1480756830 cites W4238759521 @default.
- W1480756830 doi "https://doi.org/10.1109/scam.2004.20" @default.
- W1480756830 hasPublicationYear "2005" @default.
- W1480756830 type Work @default.
- W1480756830 sameAs 1480756830 @default.
- W1480756830 citedByCount "2" @default.
- W1480756830 countsByYear W14807568302012 @default.
- W1480756830 crossrefType "proceedings-article" @default.
- W1480756830 hasAuthorship W1480756830A5030819717 @default.
- W1480756830 hasConcept C118524514 @default.
- W1480756830 hasConcept C173608175 @default.
- W1480756830 hasConcept C188854837 @default.
- W1480756830 hasConcept C199360897 @default.
- W1480756830 hasConcept C2777904410 @default.
- W1480756830 hasConcept C41008148 @default.
- W1480756830 hasConceptScore W1480756830C118524514 @default.
- W1480756830 hasConceptScore W1480756830C173608175 @default.
- W1480756830 hasConceptScore W1480756830C188854837 @default.
- W1480756830 hasConceptScore W1480756830C199360897 @default.
- W1480756830 hasConceptScore W1480756830C2777904410 @default.
- W1480756830 hasConceptScore W1480756830C41008148 @default.
- W1480756830 hasLocation W14807568301 @default.
- W1480756830 hasOpenAccess W1480756830 @default.
- W1480756830 hasPrimaryLocation W14807568301 @default.
- W1480756830 hasRelatedWork W1506090700 @default.
- W1480756830 hasRelatedWork W1602521801 @default.
- W1480756830 hasRelatedWork W2034384303 @default.
- W1480756830 hasRelatedWork W2109494528 @default.
- W1480756830 hasRelatedWork W2124831322 @default.
- W1480756830 hasRelatedWork W2168702624 @default.
- W1480756830 hasRelatedWork W2242574529 @default.
- W1480756830 hasRelatedWork W2357498671 @default.
- W1480756830 hasRelatedWork W2389666628 @default.
- W1480756830 hasRelatedWork W2993981457 @default.
- W1480756830 isParatext "false" @default.
- W1480756830 isRetracted "false" @default.
- W1480756830 magId "1480756830" @default.
- W1480756830 workType "article" @default.