|Data flow analysis material email@example.com (R Venugopal) (2000-02-04)|
|Re: Data flow analysis material firstname.lastname@example.org (Allyn Dimock) (2000-02-10)|
|Re: Data flow analysis material email@example.com (Anthony PIRON) (2000-02-10)|
|Re: Data flow analysis material firstname.lastname@example.org (2000-02-10)|
|Re: Data flow analysis material email@example.com (2000-02-12)|
|From:||Allyn Dimock <firstname.lastname@example.org>|
|Date:||10 Feb 2000 01:12:13 -0500|
|Organization:||Harvard University, Cambridge, Massachusetts|
R Venugopal <email@example.com> 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
-- Allyn Dimock
Return to the
Search the comp.compilers archives again.