Typing constraint logic programs

DOI10.1017/S1471068401001120MaRDI QIDQ4452649zbMATH OpenOpenAlexFDO

Authors François Fages, Emmanuel Coquery

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/s1471068401001120

zbMATH Keywords

subtypingtype checking ISO-Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1420825
• scientific article; zbMATH DE number 1696599
• A type system for logic programs
• On types and type consistency in logic programming (Diss., FernUniv. Hagen, 1999)
• Recent Advances in Constraints

Cited in

(13)

• Abstract interpretation and types for systems biology
• scientific article; zbMATH DE number 1696599 (Why is no real title available?)
• Static type checking for the Q functional language in Prolog
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• scientific article; zbMATH DE number 1950451 (Why is no real title available?)
• scientific article; zbMATH DE number 2080204 (Why is no real title available?)
• scientific article; zbMATH DE number 1497847 (Why is no real title available?)
• Coding guidelines for Prolog
• scientific article; zbMATH DE number 1420825 (Why is no real title available?)
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Static type inference for the Q language using constraint logic programming
• Improving precision of type analysis using non-discriminative union
• Checking modes of HAL programs

This page was built for publication: Typing constraint logic programs

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