Accession Number : ADA189202

Title :   Design of the CONSUL Programming Language.

Descriptive Note : Technical rept.,

Corporate Author : ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE

Personal Author(s) : Baldwin, Doug

PDF Url : ADA189202

Report Date : Feb 1987

Pagination or Media Count : 29

Abstract : The problem of automatically exploiting parallelism in computer programs, with particular emphasis on linguistic barriers to parallelism detection is studied. Although functional languages and Prolog have many desirable characteristics in this respect, they are not entirely ideal. We therefore offer constraint-based programming as a generalization of logic programming. By virtue of the more flexible ways in which they allow relations to be defined, constraint languages support more natural descriptions of potentially parallel algorithms than do existing logic or functional languages. We introduce a prototype constraint language called CONSUL, which demonstrates features that we feel make constraint languages well-suited for general-purpose programming of multi-processors. The extra expressiveness of constraint languages comes at a price, namely that satisfaction of general constraints can be much more difficult than satisfaction of predicates for a language like Prolog. Nonetheless, we believe that effective compilers for constraint languages can be built, and we outline some ideas on which they could be based.

Descriptors :   *HIGH LEVEL LANGUAGES, ALGORITHMS, BARRIERS, COMPILERS, COMPUTER PROGRAMMING, COMPUTER PROGRAMS, LINGUISTICS, LOGIC, PARALLEL PROCESSING, COMPUTER LOGIC

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE