Consistent choice narrowing-a new model for constraint based programming

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI:10.1109/HICSS.1988.11857

S. Danforth

引用次数: 1

Abstract

The reasons for the increased interest in constraint-based models of computation are discussed. A model of computation called consistent choice narrowing is introduced. It allows natural representation of useful constraint situations not easily expressed in current programming languages. In particular, unknown functions can be defined by constraint intersection, resulting in higher-order capabilities.<>

查看原文本刊更多论文

一致选择窄化——一种新的约束规划模型

讨论了人们对基于约束的计算模型越来越感兴趣的原因。介绍了一种计算模型——一致选择缩小模型。它允许对当前编程语言中不易表达的有用约束情况进行自然表示。特别是，未知函数可以通过约束交集来定义，从而产生高阶能力。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track

自引率

0.00%

发文量