Abstract
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.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call