Re: Data flow analysis material

Hi,


  You will find somes links in the bibliography of my MS thesis
  (http://www.ulb.ac.be/di/ssd/apiron/researchsection.html)


Here is a summary:


- Davey, B. A. ; Priestley, H. A. 1990. Intoduction to Lattices and
Order. Cambridge University Press. (Mathematical book: good basics)
- Muchnick, S. ; Jones, N. 1981. Program Flow Analysis : Theory and
Applications. Prentice-Hall, Englewood Cliffs, New Jersey.
- Kam, J. ; Ullman, J. 1976. Global data flow analysis and iterative
algorithms. J. ACM 23, 1(Jan), 158-171.
- Marlow, T. J. ; Ryder B. G. 1990. Properties of data flow frameworks
: A unified model. Acta Informatica 28, Pages 121-163.


R Venugopal wrote:


> Hi!
> 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.


--
Anthony PIRON - Researcher
Universite Libre de Bruxelles, Department of Computer Science
CP 212 - Boulevard du Triomphe, B-1050 Bruxelles, Belgium
Tel. +32 2 650 50 55, Fax +32 2 650 56 09, GSM +32 478 530 022
Email: apiron@ulb.ac.be Web: http://www.ulb.ac.be/di/ssd/apiron

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