מיכאל קודיש

We advocate the use of XSB for general purpose semantic based program analysis. Simplicity derives from a clear separation of abstraction and control: conceptually, a program is executed over an abstract domain and the tabulation mechanism avoids precomputation, ensures termination and collects the results of the analysis.