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

"Paul A. Steckler" <steck@stecksoft.com>
23 Mar 2003 22:23:40 -0500

          From comp.compilers
Related articles
Tarski's fixpoint theorem and static analysis -- reference? johnfl@cs.uoregon.edu (John Fiskio-Lasseter) (2003-02-24)
Re: Tarski's fixpoint theorem and static analysis -- reference? Jens_Kilian@agilent.com (Jens Kilian) (2003-03-09)
Re: Tarski's fixpoint theorem and static analysis -- reference? chase@theworld.com (David Chase) (2003-03-09)
Re: Tarski's fixpoint theorem and static analysis -- reference? andrews@csd.uwo.ca (2003-03-14)
Re: Tarski's fixpoint theorem and static analysis -- reference? johnfl@cs.uoregon.edu (John Fiskio-Lasseter) (2003-03-17)
Re: Tarski's fixpoint theorem and static analysis -- reference? steck@stecksoft.com (Paul A. Steckler) (2003-03-23)
| List of all articles for this month |
From: "Paul A. Steckler" <steck@stecksoft.com>
Newsgroups: comp.compilers
Date: 23 Mar 2003 22:23:40 -0500
Organization: Compilers Central
References: 03-02-151
Keywords: theory, analysis
Posted-Date: 23 Mar 2003 22:23:40 EST

On 24 Feb 2003 18:04:26 -0500, John Fiskio-Lasseter
<johnfl@cs.uoregon.edu> wrote:


>I'm curious to know the earliest paper that identifies Tarski's theorem
>regarding the existence of least/greatest fixpoints of monotonic
>functions on a complete lattice ("A Lattice Theoretical Fixpoint
>Theorem and its Applications", Pacific J. of Math. 5, 285-309, 1955) as
>the basis for termination of the standard dataflow analysis algorithms.


I don't know the answer to that, but IIRC, Tarski had come up with the
ideas in that paper decades before its actual publication. Graduate
students should not use that fact to justify delaying publication of
their results, however :-)


-- Paul

Post a followup to this message

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