Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506870877> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1506870877 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.
- W1506870877 created "2016-06-24" @default.
- W1506870877 creator A5007134697 @default.
- W1506870877 creator A5052948222 @default.
- W1506870877 creator A5066858573 @default.
- W1506870877 date "2005-03-21" @default.
- W1506870877 modified "2023-09-23" @default.
- W1506870877 title "Some notes on interprocedural program slicing" @default.
- W1506870877 cites W111098712 @default.
- W1506870877 cites W126886378 @default.
- W1506870877 cites W1549891226 @default.
- W1506870877 cites W162749897 @default.
- W1506870877 cites W1777838328 @default.
- W1506870877 cites W180059603 @default.
- W1506870877 cites W1963934148 @default.
- W1506870877 cites W2013999503 @default.
- W1506870877 cites W2021538392 @default.
- W1506870877 cites W2050645799 @default.
- W1506870877 cites W2072474927 @default.
- W1506870877 cites W2074315105 @default.
- W1506870877 cites W2076667322 @default.
- W1506870877 cites W2088140535 @default.
- W1506870877 cites W2090698763 @default.
- W1506870877 cites W2092483417 @default.
- W1506870877 cites W2106972913 @default.
- W1506870877 cites W2112723011 @default.
- W1506870877 cites W2293624369 @default.
- W1506870877 cites W2605783266 @default.
- W1506870877 cites W84258820 @default.
- W1506870877 cites W3150130360 @default.
- W1506870877 doi "https://doi.org/10.1109/scam.2004.21" @default.
- W1506870877 hasPublicationYear "2005" @default.
- W1506870877 type Work @default.
- W1506870877 sameAs 1506870877 @default.
- W1506870877 citedByCount "5" @default.
- W1506870877 countsByYear W15068708772012 @default.
- W1506870877 countsByYear W15068708772015 @default.
- W1506870877 countsByYear W15068708772020 @default.
- W1506870877 crossrefType "proceedings-article" @default.
- W1506870877 hasAuthorship W1506870877A5007134697 @default.
- W1506870877 hasAuthorship W1506870877A5052948222 @default.
- W1506870877 hasAuthorship W1506870877A5066858573 @default.
- W1506870877 hasBestOaLocation W15068708772 @default.
- W1506870877 hasConcept C102379954 @default.
- W1506870877 hasConcept C11413529 @default.
- W1506870877 hasConcept C119857082 @default.
- W1506870877 hasConcept C132525143 @default.
- W1506870877 hasConcept C136764020 @default.
- W1506870877 hasConcept C199360897 @default.
- W1506870877 hasConcept C27458966 @default.
- W1506870877 hasConcept C2776190703 @default.
- W1506870877 hasConcept C41008148 @default.
- W1506870877 hasConcept C80444323 @default.
- W1506870877 hasConcept C91071405 @default.
- W1506870877 hasConcept C97256817 @default.
- W1506870877 hasConcept C98183937 @default.
- W1506870877 hasConceptScore W1506870877C102379954 @default.
- W1506870877 hasConceptScore W1506870877C11413529 @default.
- W1506870877 hasConceptScore W1506870877C119857082 @default.
- W1506870877 hasConceptScore W1506870877C132525143 @default.
- W1506870877 hasConceptScore W1506870877C136764020 @default.
- W1506870877 hasConceptScore W1506870877C199360897 @default.
- W1506870877 hasConceptScore W1506870877C27458966 @default.
- W1506870877 hasConceptScore W1506870877C2776190703 @default.
- W1506870877 hasConceptScore W1506870877C41008148 @default.
- W1506870877 hasConceptScore W1506870877C80444323 @default.
- W1506870877 hasConceptScore W1506870877C91071405 @default.
- W1506870877 hasConceptScore W1506870877C97256817 @default.
- W1506870877 hasConceptScore W1506870877C98183937 @default.
- W1506870877 hasLocation W15068708771 @default.
- W1506870877 hasLocation W15068708772 @default.
- W1506870877 hasLocation W15068708773 @default.
- W1506870877 hasLocation W15068708774 @default.
- W1506870877 hasOpenAccess W1506870877 @default.
- W1506870877 hasPrimaryLocation W15068708771 @default.
- W1506870877 hasRelatedWork W1793637191 @default.
- W1506870877 hasRelatedWork W2001238324 @default.
- W1506870877 hasRelatedWork W2022929508 @default.
- W1506870877 hasRelatedWork W2093080079 @default.
- W1506870877 hasRelatedWork W2148030978 @default.
- W1506870877 hasRelatedWork W2160648913 @default.
- W1506870877 hasRelatedWork W2346217839 @default.
- W1506870877 hasRelatedWork W2367330446 @default.
- W1506870877 hasRelatedWork W2388410288 @default.
- W1506870877 hasRelatedWork W78969259 @default.
- W1506870877 isParatext "false" @default.
- W1506870877 isRetracted "false" @default.
- W1506870877 magId "1506870877" @default.
- W1506870877 workType "article" @default.