Dynamic dependence in term rewriting systems and its application to program slicing
- 1 December 1998
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 40 (11-12) , 609-636
- https://doi.org/10.1016/s0950-5849(98)00087-1
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Natural semanticsPublished by Springer Nature ,2005
- Toward a complete transformational toolkit for compilersACM Transactions on Programming Languages and Systems, 1997
- Reasoning with executable specificationsPublished by Springer Nature ,1995
- Generic techniques for source-level debugging and dynamic program slicingPublished by Springer Nature ,1995
- On the adequacy of graph rewriting for simulating term rewritingACM Transactions on Programming Languages and Systems, 1994
- Dynamic dependence in term rewriting systems and its application to program slicingPublished by Springer Nature ,1994
- Origin trackingJournal of Symbolic Computation, 1993
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- Projections for strictness analysisPublished by Springer Nature ,1987
- Term graph rewritingPublished by Springer Nature ,1987