DTIC ADA282683: Chopping: A Generalization of Slicing pdf

DTIC ADA282683: Chopping: A Generalization of Slicing

More Book Details

Description of the Book:

A new method for extracting partial representations of a program is described. Given two sets of variable instances, source and sink, a graph is constructed showing the statements that cause definitions of source to affect uses of sink. This criterion can express a wider range of queries than the various forms of slice criteria, which it subsumes as special cases. On the standard slice criterion (backward slicing from a use or definition) it produces better results than existing algorithms. The method is modular. By treating all statements abstractly as def-use relations, it can present a procedure call as a simple statement, so that it appears in the graph as a single node whose role may be understood without looking beyond the context of the call

• Creator/s: Defense Technical Information Center
• Date: 7/1/1994
• Year: 1994
• Book Topics/Themes: DTIC Archive, Jackson, Daniel, CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, *SOFTWARE ENGINEERING, *COMPUTER PROGRAM VERIFICATION, METHODOLOGY, SPECIFICATIONS, GRAPHS, PROBLEM SOLVING, NODES, EXTRACTION

An excerpt captured from the PDF book