Slicing for modern program structures: a theory for eliminating irrelevant loops-Reference-Cited by-同舟云学术

Slicing for modern program structures: a theory for eliminating irrelevant loops

Author:

Amtoft Torben

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science

Reference12 articles.

1. T. Amtoft, Correctness of practical slicing for modern program structures, technical report CIS TR 2007-3, Kansas State University, May 2007

2. Slicing programs with arbitrary control flow;Ball,1993

3. Parametric and termination-sensitive control dependence;Chen,2006

4. A formal study of slicing for multi-threaded programs with JVM concurrency primitives;Hatcliff,1999

5. Slicing software for model construction;Hatcliff;Higher-Order and Symbolic Computation,2000

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. On Time-sensitive Control Dependencies;ACM Transactions on Programming Languages and Systems;2022-03-31

3. On the computation of interprocedural weak control closure;Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction;2022-03-18