A backward analysis for constraint logic programs

DOI10.1017/S1471068402001436MaRDI QIDQ4452607zbMATHOpenAlexFDO

Authors Andy King, Lunjin Lu

Publication date 1 March 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068402001436

zbMATH Keywords

condensinggroundness analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Program Development in Computational Logic
• Logic Based Program Synthesis and Transformation
• Logic Programming
• Precise goal-independent abstract interpretation of constraint logic programs.
• Abductive analysis of modular logic programs

Cited in

(5)

• Program Development in Computational Logic
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• Logic Based Program Synthesis and Transformation
• scientific article; zbMATH DE number 3976298 (Why is no real title available?)
• Functional and Logic Programming

This page was built for publication: A backward analysis for constraint logic programs

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