XSB as the Natural Habitat for General Purpose Program Analysis

Michael Codish; Bart Demoen; Konstantinos Sagonas

doi:10.7551/mitpress/4299.001.0001

XSB as the Natural Habitat for General Purpose Program Analysis

Michael Codish, Bart Demoen, Konstantinos Sagonas

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
Title of host publication	Logic Programming, Proceedings of the 14th International Conference on Logic Programming
Editors	Lee Naish
Publisher	MIT Press Journals
Pages	416-430
Number of pages	15
ISBN (Electronic)	9780262291354
DOIs	https://doi.org/10.7551/mitpress/4299.001.0001
State	Published - 1997

Access to Document

10.7551/mitpress/4299.001.0001

Cite this

@inproceedings{1ccfafdd1cae4745894fa6d34bbf8f10,

title = "XSB as the Natural Habitat for General Purpose Program Analysis",

abstract = "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.",

author = "Michael Codish and Bart Demoen and Konstantinos Sagonas",

note = "Leuven, Belgium, July 8-11, 1997",

year = "1997",

doi = "10.7551/mitpress/4299.001.0001",

language = "English",

pages = "416--430",

editor = "Lee Naish",

booktitle = "Logic Programming, Proceedings of the 14th International Conference on Logic Programming",

publisher = "MIT Press Journals",

address = "United States",

}

XSB as the Natural Habitat for General Purpose Program Analysis. / Codish, Michael; Demoen, Bart; Sagonas, Konstantinos.
Logic Programming, Proceedings of the 14th International Conference on Logic Programming. ed. / Lee Naish. MIT Press Journals, 1997. p. 416-430.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - XSB as the Natural Habitat for General Purpose Program Analysis

AU - Codish, Michael

AU - Demoen, Bart

AU - Sagonas, Konstantinos

N1 - Leuven, Belgium, July 8-11, 1997

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

U2 - 10.7551/mitpress/4299.001.0001

DO - 10.7551/mitpress/4299.001.0001

M3 - Conference contribution

SP - 416

EP - 430

BT - Logic Programming, Proceedings of the 14th International Conference on Logic Programming

A2 - Naish, Lee

PB - MIT Press Journals

ER -

XSB as the Natural Habitat for General Purpose Program Analysis

Abstract

Access to Document

Fingerprint

Cite this