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

Jens Kilian <Jens_Kilian@agilent.com>
9 Mar 2003 17:13:52 -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: Jens Kilian <Jens_Kilian@agilent.com>
Newsgroups: comp.theory,comp.compilers
Date: 9 Mar 2003 17:13:52 -0500
Organization: Agilent Technologies Deutschland GmbH
References: 03-02-151
Keywords: analysis
Posted-Date: 09 Mar 2003 17:13:52 EST

John Fiskio-Lasseter <johnfl@cs.uoregon.edu> writes:
> Were they the first ones to observe the relevance of Tarski's theorem
> to static analysis, or is there an earlier paper that cites him?


IIRC, fixpoint analysis was used to define the semantics of Prolog; I have no
idea if this predates the abstract interpretation paper.


...clickety click...


This might be relevant:


      van Emden, M., and Kowalski, R. The semantics of predicate logic as
      a programming language. Journal of the Assoc. for Comp. Mach. 23 (1976),
      733­742


HTH,
                Jens.
--
mailto:jjk@acm.org phone:+49-7031-464-7698 (TELNET 778-7698)
    http://www.bawue.de/~jjk/ fax:+49-7031-464-7351
PGP: 06 04 1C 35 7B DC 1F 26 As the air to a bird, or the sea to a fish,
0x555DA8B5 BB A2 F0 66 77 75 E1 08 so is contempt to the contemptible. [Blake]


Post a followup to this message

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