Checking modes of HAL programs

DOI10.1017/S1471068404002327MaRDI QIDQ5715448zbMATH OpenFDO

Authors Maria Garcia De La Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen

Publication date 3 January 2006

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

Full work available at URL https://doi.org/10.1017/S1471068404002327

zbMATH Keywords

CLP languagesconstraint logic programming languagesmode checkingregular grammarsstrong modes

Mathematics Subject Classification ID

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

Recommendations

• Mode checking in HAL
• To the gates of HAL: A HAL tutorial
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• Program Development in Computational Logic
• Typing constraint logic programs

Cited in

(6)

• A method for detecting symmetries in constraint models and its generalisation
• Mode checking in HAL
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• Layered modes
• The design of the zinc modelling language
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

This page was built for publication: Checking modes of HAL programs

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