Title :
Consistent choice narrowing-a new model for constraint based programming
Author_Institution :
MCC Syst. Technol. Lab., Austin, TX, USA
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.<>
Keywords :
programming; consistent choice narrowing; constraint based programming; constraint intersection; Arithmetic; Computational modeling; Computer applications; Computer interfaces; Computer languages; Functional programming; Logic programming; Relational databases; Spreadsheet programs;
Conference_Titel :
System Sciences, 1988. Vol.II. Software Track, Proceedings of the Twenty-First Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI, USA
Print_ISBN :
0-8186-0842-0
DOI :
10.1109/HICSS.1988.11857
