10 Feb 2000 01:18:35 -0500

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) |

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.