A flexible approach to interprocedural data flow analysis and programs with recursive data structures
ND Jones, SS Muchnick - Proceedings of the 9th ACM SIGPLAN-SIGACT …, 1982 - dl.acm.org
ND Jones, SS Muchnick
Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of …, 1982•dl.acm.orgA new approach to data flow analysis of procedural programs and programs with recursive
data structures is described. The method depends on simulation of the interpreter for the
subject programming language using a retrieval function to approximate a program's data
structures.
data structures is described. The method depends on simulation of the interpreter for the
subject programming language using a retrieval function to approximate a program's data
structures.
A new approach to data flow analysis of procedural programs and programs with recursive data structures is described. The method depends on simulation of the interpreter for the subject programming language using a retrieval function to approximate a program's data structures.