Please use this identifier to cite or link to this item:
For citation please use:
Main Title: CCFL – A Concurrent Constraint Functional Language
Author(s): Hofstedt, Petra
Type: Research Paper
Language Code: en
Abstract: 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.
Issue Date: 2008
Date Available: 17-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): concurrent constraint functional language
type checking
code generation
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2008-08
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
Format: Adobe PDF | Size: 444.93 kB
DownloadShow Preview

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.