CCFL – A Concurrent Constraint Functional Language
| dc.contributor.author | Hofstedt, Petra | |
| dc.date.accessioned | 2020-06-17T06:54:53Z | |
| dc.date.available | 2020-06-17T06:54:53Z | |
| dc.date.issued | 2008 | |
| dc.description.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. | en |
| dc.identifier.issn | 1436-9915 | |
| dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/11397 | |
| dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-10281 | |
| dc.language.iso | en | |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
| dc.subject.ddc | 004 Datenverarbeitung; Informatik | |
| dc.subject.other | concurrent constraint functional language | en |
| dc.subject.other | CCFL | en |
| dc.subject.other | type checking | en |
| dc.subject.other | code generation | en |
| dc.title | CCFL – A Concurrent Constraint Functional Language | en |
| dc.type | Research Paper | |
| dc.type.version | submittedVersion | en |
| tub.accessrights.dnb | free | |
| tub.affiliation | Fak. 4 Elektrotechnik und Informatik | de |
| tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
| tub.publisher.universityorinstitution | Technische Universität Berlin | |
| tub.series.issuenumber | 2008-08 | |
| tub.series.name | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin |
Files
Original bundle
1 - 1 of 1