Semantics-based program analysis for logic-based languages using XSB (original) (raw)

• 33 Accesses
• 15 Citations
• Explore all metrics

Access this article

Log in via an institution

Subscribe and save

• Starting from 10 chapters or articles per month
• Access and download chapters and articles from more than 300k books and 2,500 journals
• Cancel anytime View plans

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Author information

Authors and Affiliations

1. Department of Mathematics and Computer Science, Ben-Gurion University, Beer-Sheva 84105, Israel, , , , , , IL
   Michael Codish
2. Department of Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium; E-mail: Kostis.Sagonas@cs.kuleuven.ac.be, , , , , , BE
   Bart Demoen & Konstantinos Sagonas

Authors

1. Michael Codish
2. Bart Demoen
3. Konstantinos Sagonas

Rights and permissions

About this article

Cite this article

Codish, M., Demoen, B. & Sagonas, K. Semantics-based program analysis for logic-based languages using XSB.STTT 2, 29–45 (1998). https://doi.org/10.1007/s100090050016

Download citation

• Issue date: November 1998
• DOI: https://doi.org/10.1007/s100090050016