Semantics-based program analysis for logic-based languages using XSB | Zendy

Michael Codish | Zendy; Bart Demoen | Zendy; Konstantinos Sagonas | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Semantics-based program analysis for logic-based languages using XSB

Author(s) -

Michael Codish,

Bart Demoen,

Konstantinos Sagonas

Publication year - 1998

Publication title -

international journal on software tools for technology transfer

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.397

H-Index - 55

eISSN - 1433-2787

pISSN - 1433-2779

DOI - 10.1007/s100090050016

Subject(s) - computer science , programming language , theory of computation , semantics (computer science) , logic programming

This article describes a simple and ecient way of using a logic programming language with built-in tabulation for general purpose semantics-based program analysis. The simplicity of the method is based on a clear separation of abstraction and control: conceptually, a concrete program is executed over an abstract domain and the tabulation mechanism avoids recomputation, ensures termination and collects the results of the analysis. The efficiency derives from the fact that an abstract interpreter ...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research