23 Mar 2003 22:23:40 -0500

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

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.