|program analysis alternatives sreedhar@ccl.CS.McGill.CA (V.C. SREEDHAR) (1998-09-22)|
|From:||"V.C. SREEDHAR" <sreedhar@ccl.CS.McGill.CA>|
|Date:||22 Sep 1998 01:13:14 -0400|
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
Return to the
Search the comp.compilers archives again.