EN FR
EN FR


Section: New Software and Platforms

Lucy-n

Lucy-n: an n-synchronous data-flow programming language

Functional Description: 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.