Programming Languages and Systems

DOI10.1007/B107380MaRDI QIDQ5316587zbMATH OpenOpenAlexFDO

Authors Lunjin Lu, Andy King

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107380

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Detecting Determinacy in Prolog Programs
• RedAlert: Determinacy inference for Prolog
• Correct reasoning about logic programs

Cited in

(7)

• Detecting Determinacy in Prolog Programs
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
• RedAlert: Determinacy inference for Prolog
• scientific article; zbMATH DE number 6316277 (Why is no real title available?)
• scientific article; zbMATH DE number 458994 (Why is no real title available?)
• Correct reasoning about logic programs

This page was built for publication: Programming Languages and Systems

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