Typing constraint logic programs
From MaRDI portal
Publication:4452649
DOI10.1017/S1471068401001120zbMath1066.68514OpenAlexW2033405134MaRDI QIDQ4452649
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
Related Items
Coding guidelines for Prolog ⋮ Improving precision of type analysis using non-discriminative union ⋮ From Rules to Constraint Programs with the Rules2CP Modelling Language ⋮ Abstract interpretation and types for systems biology