R Venugopal (venug@sasi.com) wrote:: 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. ASU etc. give very sketchy: material on the subject. Thanks.

Look at the Nielson/Nielson/Hankin book, Principles of Program
Analysis, published by Springer. There are appendices that explain
the basic mathematics needed.