A Unified Approach to Path Problems
Journal of the ACM (JACM)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Global data flow analysis by decomposition into primes
ICSE '82 Proceedings of the 6th international conference on Software engineering
A study of computer program structure.
A study of computer program structure.
On the decomposition of programs into primes
On the decomposition of programs into primes
Data flow analysis of recursive procedures
ACM SIGPLAN Notices
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Using redundancies to find errors
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Using redundancies to find errors
ACM SIGSOFT Software Engineering Notes
Language design and analyzability: a retrospective
Software—Practice & Experience
Hi-index | 0.00 |
An algebra A is developed that is specialized for the detection of data flow anomalies by interpreting the regular expression for the paths in a program as an A expression. Two methods are subsequently presented that use A but do not require the explicit computation of the regular expression for the paths. One method is based on the prime program decomposition. The other is based upon the iterative algorithms of global data flow analysis. In addition the use of the algebra to get better warning messages than just the detection of anomalies is presented.