Mode checking in HAL

DOI10.1007/3-540-44957-4_85MaRDI QIDQ2767146zbMATH OpenFDO

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

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_85

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• Checking modes of HAL programs
• To the gates of HAL: A HAL tutorial
• Program Development in Computational Logic
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• Constraint-based deductive model checking

Cited in

(3)

• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• scientific article; zbMATH DE number 2090518 (Why is no real title available?)
• Checking modes of HAL programs

This page was built for publication: Mode checking in HAL

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