Inferring non-suspension conditions for logic programs with dynamic scheduling
From MaRDI portal
Publication:5277806
DOI10.1145/1352582.1352585zbMath1367.68033OpenAlexW2133186235MaRDI QIDQ5277806
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://kar.kent.ac.uk/15105/1/InferKing.pdf
Related Items (3)
Correctness and Completeness of Logic Programs ⋮ On Completeness of Logic Programs ⋮ Logic + control: On program construction and verification
This page was built for publication: Inferring non-suspension conditions for logic programs with dynamic scheduling