Title: Checking modes of HAL programs
Authors: De la Banda, MG ×
Harvey, W
Marriott, K
Stuckey, PJ
Demoen, Bart #
Issue Date: Nov-2005
Publisher: Cambridge univ press
Series Title: Theory and practice of logic programming vol:5 pages:623-667
Abstract: Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generation of efficient target code and the detection of many errors at compile-time. Unfortunately, mode checking in such languages is difficult. One of the main reasons is that, for each predicate mode declaration, the compiler is required to appropriately re-order literals in the predicate's definition. The task is further complicated by the need to handle complex instantiations (which interact with type declarations and higher-order predicates) and automatic initialization of solver variables. Here we define mode checking for strongly typed CLP languages which require reordering of clause body literals. In addition, we show how to handle a simple case of polymorphic modes by using the corresponding polymorphic types.
ISSN: 1471-0684
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
TPLPHALpaper.pdfOA article Published 464KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science