Author:
Cheda Diego,Silva Josep,Vidal Germán
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Narrowing Approximations as an Optimization for Equational Logic Programs;Alpuente,1993
2. Termination of term rewriting using dependency pairs;Arts;Theoretical Computer Science,2000
3. Term Rewriting and All That;Baader,1998
4. The Program Dependence Graph and Its Use in Optimization;Ferrante;ACM Transactions on Programming Languages and Systems,1987
5. Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing;Field;Information and Software Technology,1998
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Field-sensitive program slicing;Journal of Systems and Software;2024-04
2. Field-Sensitive Program Slicing;Software Engineering and Formal Methods;2022
3. Program Slicing Techniques with Support for Unconditional Jumps;Formal Methods and Software Engineering;2022
4. Dynamic slicing of lazy functional programs based on redex trails;Higher-Order and Symbolic Computation;2008-04-16