Re: Data flow analysis material

steck@rice.edu (Paul Steckler)
10 Feb 2000 01:18:35 -0500

          From comp.compilers
Related articles
Data flow analysis material venug@sasi.com (R Venugopal) (2000-02-04)
Re: Data flow analysis material dimock@deas.harvard.edu (Allyn Dimock) (2000-02-10)
Re: Data flow analysis material apiron@ulb.ac.be (Anthony PIRON) (2000-02-10)
Re: Data flow analysis material steck@rice.edu (2000-02-10)
Re: Data flow analysis material plakal@cs.wisc.edu (2000-02-12)
| List of all articles for this month |
From: steck@rice.edu (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 (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.


-- Paul


  ----------------------------------------------------------------
| Paul Steckler | Rice University PLT |
| steck@cs.rice.edu | DrScheme Project |
| Tel: 713/348-3814 | http://www.cs.rice.edu/~steck |
| 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.