Re: Data flow analysis material (Paul Steckler)
10 Feb 2000 01:18:35 -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: (Paul Steckler)
Newsgroups: comp.compilers
Date: 10 Feb 2000 01:18:35 -0500
Organization: Rice University, Houston TX
References: 00-02-005
Keywords: analysis

R Venugopal ( 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.

-- Paul

| Paul Steckler | Rice University PLT |
| | DrScheme Project |
| Tel: 713/348-3814 | |
| FAX: 713/348-5930 | *** Ad astra per hackera *** |

Post a followup to this message

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