scientific article; zbMATH DE number 1420825

zbMATH Open0949.68037MaRDI QIDQ4944893FDOQ4944893

Authors: François Fages, Massimo Paltrinieri 

Publication date: 22 March 2000

Title of this publication is not available (Why is that?)

Recommendations

• Typing constraint logic programs
• HM(X) type inference is CLP(X) solving
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• Recent Advances in Constraints
• A type system for logic programs

zbMATH Keywords

constraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• Typing constraint logic programs
• HM(X) type inference is CLP(X) solving
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• Recent Advances in Constraints

This page was built for publication:

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