Slice, chunk and dataflow anomaly as DATALOG rules
References (19)
Database and Knowledge-Base Systems
(1989)- et al.
MicroScope: A Knowledge-Based Programming Environment
IEEE Software
(1988) - et al.
SRE: A Knowledge-Based Environment for Large-Scale Software Re-engineering Activities
- et al.
A Knowledge-Based Software Maintenance Environment
IEEE COMPSAC
(1986) - et al.
Data Flow Analysis in Software Reliability
ACM Computing Surveys
(1976) Program Slicing
IEEE TOSE
(1984)- et al.
The Program Dependence Graph and its Use in Optimization
ACM TOPLAS
(1987) The Program Dependence Graph in Static Testing
Information Processing Letters
(1987)- et al.
The Implications of Program Dependences for Software Testing, Debugging, and Maintenance
There are more references available in the full text version of this article.
Cited by (3)
On the control structure of a program slice
1996, Journal of Systems and SoftwareUsing program dependence graphs for information flow control
1992, The Journal of Systems and SoftwareA Knowledge-based approach to the analysis of loops
1996, IEEE Transactions on Software Engineering
Copyright © 1991 Published by Elsevier Inc.