Formal Bases for Dataflow Analysis of Logic Programs
Saumya Debray · 1994
Abstract Compile-time dataflow analysis finds a variety of applications, such as compile-time optimization, program parallelization, testing, program transformation and specialization, and program verification. This chapter gives a broad overview of the field of dataflow analysis of logic programs. Starting with a general discussion of abstract interpretation, a formal framework that underlies much of the work on static program analysis, it discusses some of the wide variety of frameworks that have been proposed for the analysis of logic programs, considers the relationship between complexity and precision of analysis, and examines some specific analyses that have been proposed in the literature.