Lucy-n: an n-synchronous data-flow programming language
Participants : Louis Mandel [contact] , Adrien Guatto, Marc Pouzet.
Lucy-n is a language to program in the n-synchronous model. The language is similar to Lustre with a buffer construct. The Lucy-n compiler ensures that programs can be executed in bounded memory and automatically computes buffer sizes. Hence this language allows to program Kahn networks, the compiler being able to statically compute bounds for all FIFOs in the program.
The language compiler and associated tools are available in a binary form at http://www.lri.fr/~mandel/lucy-n .
In 2012, a first version of the code generator has been distributed. The typing algorithms has been improved.