A non-standard semantics for program slicing and dependence analysis-Reference-Cited by-同舟云学术

A non-standard semantics for program slicing and dependence analysis

Published:2007-07 Issue:2 Volume:72 Page:191-206
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Danicic Sebastian,Harman Mark,Howroyd John,Ouarbya Lahcen

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference48 articles.

1. M. Weiser, Program slices: formal, psychological, and practical investigations of an automatic program abstraction method, PhD thesis, University of Michigan, Ann Arbor, MI, 1979.

2. M. Weiser, Program slicing, in: 5th International Conference on Software Engineering, San Diego, CA, 1981, pp. 439–449.

3. Programmers use slicing when debugging;Weiser;Commun. ACM,1982

4. Program slicing;Weiser;IEEE Trans. Software Eng.,1984

5. RE2: Reverse engineering and reuse re-engineering;Canfora;J. Software Mainten.: Res. Practice,1994

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

1. Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs;ACM Transactions on Programming Languages and Systems;2020-12-31

2. On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance;2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation;2014-09

3. Abstract program slicing on dependence condition graphs;Science of Computer Programming;2013-09

4. On Slicing of Programs with Input Statements;Theoretical Aspects of Computing – ICTAC 2013;2013