Re: Data flow analysis material

Anthony PIRON <>
10 Feb 2000 01:14:50 -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: Anthony PIRON <>
Newsgroups: comp.compilers
Date: 10 Feb 2000 01:14:50 -0500
Organization: Brussels Free Universities VUB/ULB
References: 00-02-005
Keywords: analysis, bibliography


  You will find somes links in the bibliography of my MS thesis

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: Web:

Post a followup to this message

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