Amorphous program slicing-Reference-Cited by-同舟云学术

Amorphous program slicing

Published:2003-10 Issue:1 Volume:68 Page:45-64
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Harman Mark,Binkley David,Danicic Sebastian

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference70 articles.

1. Agrawal, H., 1994. On slicing programs with jump statements. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, Florida. Proceedings in SIGPLAN Notices, 29(6), June 1994, pp. 302–312

2. Ahn, J., Han, T., 1999. Static slicing of a first-order functional language based on operational semantics. Technical Report CS-TR-99-144, KAIST: Korean Advanced Institute of Science and Technology

3. Andersen, L.O., 1994. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen. (DIKU report 94/19)

4. The translation of goto programs into while programs;Ashcroft,1972

5. Slicing programs with arbitrary control-flow;Ball,1993

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

1. Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05

2. SymPas: Symbolic Program Slicing;Journal of Computer Science and Technology;2021-03-31

3. Type checking beyond type checkers, via slice & run;Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis;2020-11-15

4. Dynamic slicing for deep neural networks;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07

5. A New Dynamic Algorithm for Petri Nets Slicing;2020 IEEE 14th International Conference on Application of Information and Communication Technologies (AICT);2020-10-07