Re: Tarski's fixpoint theorem and static analysis -- reference?

Jamie Andrews <andrews@csd.uwo.ca> wrote:


> It might be that the notion had not yet broken out of the
> semantics area by that time, so the Cousots' 1977 paper may well
> be the first. Indeed, it may well be that a Cousot or two read
> Stoy's book (copyright date 1977, thus available possibly in
> 1976), and understood the importance of Tarski's theorem to
> dataflow analysis then. I don't have the Cousots' paper -- does
> it cite Stoy as well as Tarski?


Unfortunately, my copy's in my office right now, so I can't check from
home. I'm almost positive, though, that Scott's "Data Types as
Lattices" paper is included in the bibliography of the first POPL
paper on abstract interpretation -- not sure about Stoy. That's
certainly consistent with your suggestion about the chain of
influence, which also fits well with the more general story of
abstract interpretation and its use in establishing a link between
program analysis and semantics.


-- John


----------------------------------------------------------------------
John Fiskio-Lasseter
    * Phd. Student, CIS Dept., University of Oregon
    * Deschutes 234 x6-1385 johnfl@cs.uoregon.edu

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