Michael Codish
Senior Academic
XSB as the Natural Habitat for General Purpose Program Analysis
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.
| Publication language | English |
| Pages | 416-430 |
| Publication status | Published - 1997 |
