Checking modes of HAL programs

DOI10.1017/S1471068404002327zbMath1083.68019MaRDI QIDQ5715448

Maria Garcia de la Banda, Kim Marriott, Warwick Harvey, Bart Demoen, Peter J. Stuckey

Publication date: 3 January 2006

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

regular grammarsconstraint logic programming languagesCLP languagesstrong modesmode checking

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items

The design of the zinc modelling language ⋮ Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses ⋮ A method for detecting symmetries in constraint models and its generalisation