Computational Divided Differencing and Divided-Difference Arithmetics

Cached

Download Links

by Thomas W. Reps , Louis B. Rall

Active Bibliography

22 Program Slicing of Hardware Description Languages – E. M. Clarke, M. Fujita, S. P. Rajan, T. Reps, S. Shankar, T. Teitelbaum - 1999
51 Program specialization via program slicing – Thomas Reps, Todd Turnidge - 1996
59 Semantics guided regression test cost reduction – David Binkley - 1997
572 A Survey of Program Slicing Techniques – F. Tip - 1995
Executable Slicing via Procedure Specialization – Min Aung, Susan Horwitz, Rich Joiner, Thomas Reps
4 The Use of Control-Flow and Control Dependence in Software Tools – Thomas Jaudon Ball - 1993
112 Program slicing – Keith Gallagher, David Binkley
1 Automated Gradient Calculation – Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch
Customization Change Impact Analysis for ERP Professionals via Program Slicing – Shay Litvak, Panaya Inc, Nurit Dor, Mooly Sagiv, Tal Lev-ami, Dror Weiss
Project Project: Tools for Program Analysis and Comprehension – Mark Harman, Sebastian Danicic, Barry Jones, Mark Harman Sebastian Danicic, Bala Sivagurunathan, Yoga Sivagurunathan
19 Efficient Comparison of Program Slices – Susan Horwitz, Thomas Reps - 1991
82 Slicing Programs with Arbitrary Control Flow – Thomas Ball , Susan Horwitz - 1993
92 The Use of Program Dependence Graphs in Software Engineering – Susan Horwitz, Thomas Reps - 1992
5 Application of the Pointer State Subgraph to Static Program Slicing – David W. Binkley, James R. Lyle - 1998
42 The Application of Program Slicing to Regression Testing – David Binkley - 1999
17 Using Dependence Analysis to Support Software Architecture Understanding – Jianjun Zhao - 1997
1 Static program slicing algorithms are minimal for free liberal program schemas – Sebastian Danicic, Chris Fox, Mark Harman, Rob Hierons, John Howroyd, Michael R. Laurence - 2006
6 Graph Theoretic Foundations of Program Slicing and Integration – Arun Lakhotia - 1993
An Efficient Algorithm for Computing all Program Forward Static Slices – Jehad Al Dallal
5 Empirical Study of Optimization Techniques for Massive Slicing – David Binkley, Mark Harman, Jens Krinke - 2007