Matches in SemOpenAlex for { <https://semopenalex.org/work/W777998878> ?p ?o ?g. }
- W777998878 abstract "Although Weiser originally defined a program slice to be an executable projection of a program, much of the research on slicing has focused on closure slices, which consist of the set of statements and conditions of the program that might affect the value of a given variable at a given statement or condition of interest. Whil e closure slices can be useful, there are some contexts in which executable slices are preferable. Closure slices are not generally exe cutable because there can be mismatches in the slice between the sets of actual parameters at different call-sites to a procedure p and the formal parameters of p. This paper presents a new approach to creating executable slices. Our algorithm addresses the parameter-mismatch problem by creating specialized versions of proceduresthat have different sets of formal parameters. Moreover, the slice returned by the algorithm is minimal: the slice consists of the set of specialized procedures that solves a certain coarsest-partition problem. The paper presents solutions for some additional issues that arise with more realistic languages than considered in past work. It also presents the results of an experimental evaluation o f the algorithm applied to C programs." @default.
- W777998878 created "2016-06-24" @default.
- W777998878 creator A5019208296 @default.
- W777998878 creator A5034698522 @default.
- W777998878 creator A5066155126 @default.
- W777998878 creator A5088390204 @default.
- W777998878 date "2012-03-01" @default.
- W777998878 modified "2023-09-23" @default.
- W777998878 title "Executable Slicing via Procedure Specialization" @default.
- W777998878 cites W1491036809 @default.
- W777998878 cites W1496412704 @default.
- W777998878 cites W1516713969 @default.
- W777998878 cites W1546381996 @default.
- W777998878 cites W1556604985 @default.
- W777998878 cites W1589224558 @default.
- W777998878 cites W1921315132 @default.
- W777998878 cites W1975807602 @default.
- W777998878 cites W1997493115 @default.
- W777998878 cites W2006802414 @default.
- W777998878 cites W2023222549 @default.
- W777998878 cites W2025902616 @default.
- W777998878 cites W2030906223 @default.
- W777998878 cites W2043555680 @default.
- W777998878 cites W2060910994 @default.
- W777998878 cites W2064625489 @default.
- W777998878 cites W2079083905 @default.
- W777998878 cites W2080973181 @default.
- W777998878 cites W2092483417 @default.
- W777998878 cites W2101936540 @default.
- W777998878 cites W2109359483 @default.
- W777998878 cites W2122839514 @default.
- W777998878 cites W2124228276 @default.
- W777998878 cites W2126875022 @default.
- W777998878 cites W2136657144 @default.
- W777998878 cites W2141345367 @default.
- W777998878 cites W2142840915 @default.
- W777998878 cites W2143177356 @default.
- W777998878 cites W2147088720 @default.
- W777998878 cites W2147140044 @default.
- W777998878 cites W2157402204 @default.
- W777998878 cites W2162046779 @default.
- W777998878 cites W2162310108 @default.
- W777998878 cites W2169044454 @default.
- W777998878 cites W2258595992 @default.
- W777998878 cites W2293624369 @default.
- W777998878 cites W2296731238 @default.
- W777998878 cites W2397875366 @default.
- W777998878 cites W3005728772 @default.
- W777998878 cites W303139982 @default.
- W777998878 cites W3151756653 @default.
- W777998878 cites W1606481708 @default.
- W777998878 hasPublicationYear "2012" @default.
- W777998878 type Work @default.
- W777998878 sameAs 777998878 @default.
- W777998878 citedByCount "0" @default.
- W777998878 crossrefType "journal-article" @default.
- W777998878 hasAuthorship W777998878A5019208296 @default.
- W777998878 hasAuthorship W777998878A5034698522 @default.
- W777998878 hasAuthorship W777998878A5066155126 @default.
- W777998878 hasAuthorship W777998878A5088390204 @default.
- W777998878 hasConcept C11413529 @default.
- W777998878 hasConcept C114614502 @default.
- W777998878 hasConcept C136764020 @default.
- W777998878 hasConcept C146834321 @default.
- W777998878 hasConcept C160145156 @default.
- W777998878 hasConcept C162324750 @default.
- W777998878 hasConcept C177264268 @default.
- W777998878 hasConcept C17744445 @default.
- W777998878 hasConcept C199360897 @default.
- W777998878 hasConcept C199539241 @default.
- W777998878 hasConcept C2776190703 @default.
- W777998878 hasConcept C2777026412 @default.
- W777998878 hasConcept C2777904410 @default.
- W777998878 hasConcept C33923547 @default.
- W777998878 hasConcept C34447519 @default.
- W777998878 hasConcept C41008148 @default.
- W777998878 hasConcept C42812 @default.
- W777998878 hasConcept C80444323 @default.
- W777998878 hasConcept C91071405 @default.
- W777998878 hasConceptScore W777998878C11413529 @default.
- W777998878 hasConceptScore W777998878C114614502 @default.
- W777998878 hasConceptScore W777998878C136764020 @default.
- W777998878 hasConceptScore W777998878C146834321 @default.
- W777998878 hasConceptScore W777998878C160145156 @default.
- W777998878 hasConceptScore W777998878C162324750 @default.
- W777998878 hasConceptScore W777998878C177264268 @default.
- W777998878 hasConceptScore W777998878C17744445 @default.
- W777998878 hasConceptScore W777998878C199360897 @default.
- W777998878 hasConceptScore W777998878C199539241 @default.
- W777998878 hasConceptScore W777998878C2776190703 @default.
- W777998878 hasConceptScore W777998878C2777026412 @default.
- W777998878 hasConceptScore W777998878C2777904410 @default.
- W777998878 hasConceptScore W777998878C33923547 @default.
- W777998878 hasConceptScore W777998878C34447519 @default.
- W777998878 hasConceptScore W777998878C41008148 @default.
- W777998878 hasConceptScore W777998878C42812 @default.
- W777998878 hasConceptScore W777998878C80444323 @default.
- W777998878 hasConceptScore W777998878C91071405 @default.
- W777998878 hasLocation W7779988781 @default.
- W777998878 hasOpenAccess W777998878 @default.