Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10281
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.
URI: https://depositonce.tu-berlin.de/handle/11303/11397
http://dx.doi.org/10.14279/depositonce-10281
Issue Date: 2008
Date Available: 17-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): concurrent constraint functional language
CCFL
type checking
code generation
License: http://rightsstatements.org/vocab/InC/1.0/
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:
tr-2008-08.pdf
Format: Adobe PDF | Size: 444.93 kB
DownloadShow Preview
Thumbnail

Item Export Bar

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