program analysis alternatives

"V.C. SREEDHAR" <sreedhar@ccl.CS.McGill.CA>
22 Sep 1998 01:13:14 -0400

          From comp.compilers
Related articles
program analysis alternatives sreedhar@ccl.CS.McGill.CA (V.C. SREEDHAR) (1998-09-22)
| List of all articles for this month |
From: "V.C. SREEDHAR" <sreedhar@ccl.CS.McGill.CA>
Newsgroups: comp.compilers
Date: 22 Sep 1998 01:13:14 -0400
Organization: Compilers Central
Keywords: analysis, question

Hi Folks:


This is a strange question, but I am sure some one out in the cyber
space can give me a clue....


Traditionally (or almost always) program analysis uses sets (lattice,
semi-lattice, complete lattice, etc...) to describe (represent)
program facts... It also defines monotone functions over these sets to
represent trasformations... Then fixed point theory can then used to
describe abstract program behavior ...


Now are there other frameworks that DOES NOT use sets to do program
analysis ...


Sreedhar
--

Post a followup to this message

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