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

DOI10.1007/s100090050016zbMath1060.68568DBLPjournals/sttt/CodishDS98OpenAlexW2061236588WikidataQ58968602 ScholiaQ58968602MaRDI QIDQ1856181

Michael Codish, Konstantinos Sagonas, Bart Demoen

Publication date: 1998

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/133503

zbMATH Keywords

semantics-based program analysisXSBlogic programming language analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

XSB: Extending Prolog with Tabled Logic Programming ⋮ Dynamic reordering of alternatives for definite logic programs ⋮ Swapping evaluation: A memory-scalable solution for answer-on-demand tabling ⋮ Type dependencies for logic programs using ACI-unification

Uses Software

• XSB

This page was built for publication: Semantics-based program analysis for logic-based languages using XSB