A backward analysis for constraint logic programs

DOI10.1017/S1471068402001436zbMATH Open1105.68330OpenAlexW2010266648MaRDI QIDQ4452607FDOQ4452607

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

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

zbMATH Keywords

condensinggroundness analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (5)

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

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)