A semantics-based determinacy analysis for Prolog with cut

DOI10.1007/3-540-62064-8_31MaRDI QIDQ6570938zbMATH OpenFDO

Authors Torben Ægidius Mogensen

Publication date 11 July 2024

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Semantics for Prolog with cut -- revisited
• Comparative semantics for prolog with cut
• scientific article; zbMATH DE number 516993
• Sequence-based abstract interpretation of Prolog
• RedAlert: Determinacy inference for Prolog

Cites work

• A Powerdomain Construction
• Denotational and operational semantics for prolog

This page was built for publication: A semantics-based determinacy analysis for Prolog with cut

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6570938)