Thumbnail Image

CCFL – A Concurrent Constraint Functional Language

Hofstedt, Petra

Fak. 4 Elektrotechnik und Informatik

This report describes the design and implementation of the Concurrent Constraint Functional Language CCFL. CCFL combines concepts from the functional and the constraint paradigms and allows the description of systems of concurrent processes, whose communication and synchronization is based on the concurrent constraint programming (CCP) model [SR90]. A compiler for the language has been implemented in HASKELL which translates CCFL programs into LMNtal code. The language LMNtal (pronounced "elemental") [UK02, UK05, UKHM06, LMN07] has been designed and developed by Kazunori Ueda and his group at Waseda University in Tokyo. It is a new concurrent language model based on rewriting hierarchical graphs. One of its major aims is to unify various paradigms of computation resp. computational models. Thus, LMNtal lends itself as base model and target language for the compilation of CCFL programs.