Wisconsin Program-Slicing Tool 1.0 Reference Manual.
Abstract
The Wisconsin Program-Slicing Tool is a prototype system that supports backward and forward slicing operations that help the user gain an understanding of what a program does and how it works. At the heart of the system is a package for manipulating program dependence graphs (PDGs) and an extension of program dependence graphs, called system dependence graphs (SDGs). System dependence graphs represent patented technology, the rights to which are held by the Wisconsin Alumni Foundation. This document describes the basic command set of the Slicing Tool. An overview of the system's theoretical underpinnings can be found in. The user interface for the Slicing Tool incorporates a language-specific editor created using the Synthesizer Generator, a meta-system for creating interactive, language-based program-development systems. As with all editors created with the Synthesizer Generator, the Slicing Tool's editor exhibits characteristics that are specific to the Slicing Tool, while at the same time sharing the generic user interface described in Chapter 5 of The Synthesizer Generator Reference Manual. This document primarily describes the commands that are specific to the Slicing Tool-for example, for invoking slicing operations as opposed to commands that are part of the standard user interface of editors created with the Synthesizer Generator.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1997
- Accession Number
- ADA332520
Entities
Organizations
- University of Wisconsin–Madison