Re: Data flow analysis material

plakal@cs.wisc.edu
12 Feb 2000 21:29:07 -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: plakal@cs.wisc.edu
Newsgroups: comp.compilers
Date: 12 Feb 2000 21:29:07 -0500
Organization: University of WI, Madison -- Computer Sciences Dept.
References: 00-02-005 00-02-030
Keywords: books, analysis

Allyn Dimock <dimock@deas.harvard.edu> wrote:
> "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.)


Hanne Nielson's home page has a link to the book's home
page (or one of its home pages):


http://www.daimi.au.dk/~hrn/PPA/ppa.html


Manoj


Post a followup to this message

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