The multiparadigm programming language CCFL
Constraints support an efficient modeling and solution of problems in two ways: The most common application is their use for the description of problems with incomplete knowledge. On the other hand constraints may also serve as particular language constructs for the control of the program evaluation process. This paper presents the Concurrent Constraint Functional Language CCFL which comprises both aspects. Real-world problems comprise aspects from several realms. They are, thus, often best implemented by a combination of concepts from different paradigms. This combination is comfortably realised by multiparadigm programming languages, an area of research and application which has attracted increased interest in the recent years. The Concurrent Constraint Functional Language CCFL is a multiparadigm programming language which combines concepts and constructs from the functional and the constraintbased paradigms. The language enables the description of deterministic computations using a functional programming style and of non-deterministic behaviour based on constraints. Moreover, constraints are used to describe systems of concurrent cooperating processes and even typical parallelization patterns. We discuss language concepts and applications by means of examples.
Full Text: PDF