Re: Data flow analysis material

Allyn Dimock <>
10 Feb 2000 01:12:13 -0500

          From comp.compilers

Related articles
Data flow analysis material (R Venugopal) (2000-02-04)
Re: Data flow analysis material (Allyn Dimock) (2000-02-10)
Re: Data flow analysis material (Anthony PIRON) (2000-02-10)
Re: Data flow analysis material (2000-02-10)
Re: Data flow analysis material (2000-02-12)
| List of all articles for this month |

From: Allyn Dimock <>
Newsgroups: comp.compilers
Date: 10 Feb 2000 01:12:13 -0500
Organization: Harvard University, Cambridge, Massachusetts
References: 00-02-005
Keywords: analysis, bibliography

R Venugopal <> writes:

> I wanted to know if anybody knows about any book or report
> which deals with lattice theoretic concepts and frameworks of
> data flow analysis. What I am looking for is one book or report
> which starts from the basics of the topic (lattices, monotonicity etc.)
> and goes right upto the latest topics.

It's a big subject. But one newly published textbook that you will
find very useful is:

"Principles of Program Analysis" by Flemming Nielson, Hanne Riis
Nielson, and Chris Hankin. (Springer ISBN 3-540-65410-0) You will find
the math you need in the appendices, and a good writeup on dataflow
analysis in chapter 2.
    This book is a textbook on program analysis, and covers the major
methods used in the last couple of decades. There is some rather nice
accompanying software available on the book webpage (I can't remember
the URL right now.)

Another book that you might want to look at are "Advanced Compiler
Design and Implementation" by Stephen S. Muchnick (Morgan Kaufmann
ISBN 1-55860-320-4). The first printing, which I have, had a lot of
typos, but Muchnick and his editors seem to have been good at cleaning
things up in subsequent printings.
    This book is an attempt to take an encyclopediac approach to
compiler techniques beyond those covered in ASU. Chapter 8 is a
reasonably good introduction to dataflow analysis.

I remember having a fun week "jumping into the deep end of the pool"
with Kam & Ullman's "Monotone Data Flow Analysis Frameworks" (Acta
Informatica '77) with a copy of Davey & Priestley's "Introduction To
Lattices And Order" to "keep me afloat": the textbook approach is a
bit easier.


-- Allyn Dimock

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.