Programming Languages and Systems

DOI10.1007/B107380zbMATH Open1108.68362OpenAlexW4232919104MaRDI QIDQ5316587FDOQ5316587

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)