SiLCC is Linear Concurrent Constraint programming

Thierry.Martinez@inria.fr

SiLCC is the implementation language of LCC [FRS01], a concurrent constraint programming language relying upon linear logic. It is a single-paradigm logical language, enjoying concurrency, imperative traits, and a clean module system [HFS07].

We welcome any feedbacks and comments: Thierry.Martinez@inria.fr

Download

The current version is 0.0.0.

Browse distribution: distrib/0.0.0
Sources + documentation: [tar.gz] [tar.bz2]
Binaries for Linux + sources + documentation: [tar.gz] [tar.bz2]
Binaries for Darwin (Mac OS X) + sources + documentation: [tar.gz] [tar.bz2]

Documentation

Browse documentation.

History

0.0.0 released on 14 April 2010

Bibliography

[FRS01] François Fages, Paul Ruet, Sylvain Soliman, Linear concurrent constraint programming: operational and phase semantics, Information and Computation (2001)
[HFS07] Rémy Haemmerlé, François Fages, Sylvain Soliman, Closures and Modules within Linear Logic Concurrent Constraint Programming, Proceedings of FSTTCS 2007, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science