Matches in SemOpenAlex for { <https://semopenalex.org/work/W2125498610> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2125498610 abstract "This paper introduces backward conditioning. Like forward conditioning (used in conditioned slicing), backward conditioning consists of specialising a program with respect to a condition inserted into the program. However, whereas forward conditioning deletes statements which are not executed when the initial state satisfies the condition, backward conditioning deletes statements which cannot cause execution to enter a state which satisfies the condition. The relationship between backward and forward conditioning is reminiscent of the relationship between backward and forward slicing. Forward conditioning addresses program comprehension questions of the form 'what happens if the program starts in a state satisfying condition c?', whereas backward conditioning addresses questions of the form 'what parts of the program could potentially lead to the program arriving in a state satisfying condition c?' The paper illustrates the use of backward conditioning as a program comprehension assistant and presents an algorithm for constructing backward conditioned programs." @default.
- W2125498610 created "2016-06-24" @default.
- W2125498610 creator A5002751140 @default.
- W2125498610 creator A5009644797 @default.
- W2125498610 creator A5019359250 @default.
- W2125498610 creator A5086149151 @default.
- W2125498610 date "2002-11-13" @default.
- W2125498610 modified "2023-09-24" @default.
- W2125498610 title "Backward conditioning: a new program specialisation technique and its application to program comprehension" @default.
- W2125498610 cites W1586167239 @default.
- W2125498610 cites W1929502661 @default.
- W2125498610 cites W1973370378 @default.
- W2125498610 cites W2036085256 @default.
- W2125498610 cites W2057992103 @default.
- W2125498610 cites W2058235668 @default.
- W2125498610 cites W2091299652 @default.
- W2125498610 cites W2092483417 @default.
- W2125498610 cites W2110066339 @default.
- W2125498610 cites W2118564793 @default.
- W2125498610 cites W2141109493 @default.
- W2125498610 cites W2141716727 @default.
- W2125498610 cites W2143177356 @default.
- W2125498610 cites W2165750732 @default.
- W2125498610 cites W2293624369 @default.
- W2125498610 cites W53653091 @default.
- W2125498610 doi "https://doi.org/10.1109/wpc.2001.921717" @default.
- W2125498610 hasPublicationYear "2002" @default.
- W2125498610 type Work @default.
- W2125498610 sameAs 2125498610 @default.
- W2125498610 citedByCount "15" @default.
- W2125498610 countsByYear W21254986102015 @default.
- W2125498610 crossrefType "proceedings-article" @default.
- W2125498610 hasAuthorship W2125498610A5002751140 @default.
- W2125498610 hasAuthorship W2125498610A5009644797 @default.
- W2125498610 hasAuthorship W2125498610A5019359250 @default.
- W2125498610 hasAuthorship W2125498610A5086149151 @default.
- W2125498610 hasBestOaLocation W21254986102 @default.
- W2125498610 hasConcept C105795698 @default.
- W2125498610 hasConcept C121684516 @default.
- W2125498610 hasConcept C199360897 @default.
- W2125498610 hasConcept C2776190703 @default.
- W2125498610 hasConcept C33923547 @default.
- W2125498610 hasConcept C41008148 @default.
- W2125498610 hasConcept C45262634 @default.
- W2125498610 hasConcept C48103436 @default.
- W2125498610 hasConcept C91071405 @default.
- W2125498610 hasConcept C94375191 @default.
- W2125498610 hasConceptScore W2125498610C105795698 @default.
- W2125498610 hasConceptScore W2125498610C121684516 @default.
- W2125498610 hasConceptScore W2125498610C199360897 @default.
- W2125498610 hasConceptScore W2125498610C2776190703 @default.
- W2125498610 hasConceptScore W2125498610C33923547 @default.
- W2125498610 hasConceptScore W2125498610C41008148 @default.
- W2125498610 hasConceptScore W2125498610C45262634 @default.
- W2125498610 hasConceptScore W2125498610C48103436 @default.
- W2125498610 hasConceptScore W2125498610C91071405 @default.
- W2125498610 hasConceptScore W2125498610C94375191 @default.
- W2125498610 hasLocation W21254986101 @default.
- W2125498610 hasLocation W21254986102 @default.
- W2125498610 hasOpenAccess W2125498610 @default.
- W2125498610 hasPrimaryLocation W21254986101 @default.
- W2125498610 hasRelatedWork W1546381996 @default.
- W2125498610 hasRelatedWork W1964060567 @default.
- W2125498610 hasRelatedWork W1966640665 @default.
- W2125498610 hasRelatedWork W1975807602 @default.
- W2125498610 hasRelatedWork W1984248430 @default.
- W2125498610 hasRelatedWork W2056038097 @default.
- W2125498610 hasRelatedWork W2057992103 @default.
- W2125498610 hasRelatedWork W2064885277 @default.
- W2125498610 hasRelatedWork W2092483417 @default.
- W2125498610 hasRelatedWork W2122749276 @default.
- W2125498610 hasRelatedWork W2126875022 @default.
- W2125498610 hasRelatedWork W2141109493 @default.
- W2125498610 hasRelatedWork W2141716727 @default.
- W2125498610 hasRelatedWork W2143177356 @default.
- W2125498610 hasRelatedWork W2147088720 @default.
- W2125498610 hasRelatedWork W2162046779 @default.
- W2125498610 hasRelatedWork W2162310108 @default.
- W2125498610 hasRelatedWork W2293624369 @default.
- W2125498610 hasRelatedWork W303139982 @default.
- W2125498610 hasRelatedWork W53653091 @default.
- W2125498610 isParatext "false" @default.
- W2125498610 isRetracted "false" @default.
- W2125498610 magId "2125498610" @default.
- W2125498610 workType "article" @default.