A backward analysis for constraint logic programs

DOI10.1017/S1471068402001436zbMATH Open1105.68330OpenAlexW2010266648MaRDI QIDQ4452607FDOQ4452607

Lunjin Lu, Andy King

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)

Cited In (4)

• Logic Based Program Synthesis and Transformation
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• Title not available (Why is that?)
• Program Development in Computational Logic

   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 👍 👎

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)