Information Technology
Implementation of System Dependence Graphs
WARF: P97131US
Inventors: Thomas Reps
The Invention
This software program consists of a collection of C modules (C-type
definitions and associated code) for implementing:
- System dependent graphs -- a data structure representing the dependencies that hold among program elements (see link below)
- Algorithms for program slicing and chopping
- Other miscellaneous processing, such as diagnostics and test programs
- A specification for a browsing tool for viewing slices, chops, etc.
Key Benefits
- Enables detection of dependencies among program elements, which focuses the user’s attention on portions of a program relevant to a particular computation
- Useful for creating program “projections” (reduced or simplified programs)
- Slicing and chopping operations are carried out on system dependence graphs, rather than computed by iterative calculations
- Slicing and chopping operations are “precise up to valid paths” – that is, only dependencies that reflect matched call/return patterns are reported
Additional Information
For More Information About the Inventors
For current licensing status, please contact Emily Bauer at [javascript protected email address] or 608-960-9842