An Overview of HAL-Reference-Cited by-同舟云学术

An Overview of HAL

Published:1999 Issue: Volume: Page:174-188
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming – CP’99
language:
Short-container-title:

Author:

Demoen Bart,de la Banda Maria García,Harvey Warwick,Marriott Kim,Stuckey Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-48085-3_13

Reference14 articles.

1. Demoen, B., García de la Banda, M., Harvey, W., Marriott, K., Stuckey, P.J.: Herbrand constraint solving in HAL. In: Procs. of ICLP 1999 (to appear)

2. Demoen, B., García de la Banda, M., Stuckey, P.J.: Type constraint solving for parametric and ad-hoc polymorphism. In: Procs. of the 22nd Australian Comp. Sci. Conf., pp. 217–228 (1999)

3. Diaz, D., Codognet, P.: A minimal extension of the WAM for clpfd. In: Procs. of ICLP 1993, pp. 774–790 (1993)

4. Früwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37, 95–138 (1998)

5. Harvey, W., Stuckey, P.J.: Constraint representation for propagation. In: Procs. of PPCP 1998, pp. 235–249 (1998)

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. RICE: An Optimizing Curry Compiler;Practical Aspects of Declarative Languages;2023

2. Using UML and OCL for representing multiobjective combinatorial optimization problems;Journal of Intelligent Manufacturing;2012-11-03

3. Principal Type Inference for GHC-Style Multi-parameter Type Classes;Programming Languages and Systems;2006

4. Disjunctive Constraint Lambda Calculi;Logic for Programming, Artificial Intelligence, and Reasoning;2005

5. Determinacy Analysis for Logic Programs Using Mode and Type Information;Logic Based Program Synthesis and Transformation;2005