A blog about reactive programming languages.
I’m about to reach the day of my PhD defense.
The preprint for my thesis, entitled “Safe System-level Concurrency on Resource-Constrained Nodes with Céu”, can be downloaded here.
(BTW, we had a paper accepted for SenSys this year in Rome! :)
We have published a technical report entitled “Céu: Embedded, Safe, and Reactive Programming”.
Enjoy the reading!
Céu is a programming language that unifies the features found in dataflow and imperative synchronous reactive languages, offering a high-level and safe alternative to event-driven and multithreaded systems for embedded systems.
Céu supports concurrent lines of execution that run in time steps and are allowed to share variables. However, the synchronous and static nature of Céu enables a compile time analysis that can enforce deterministic and memory-safe programs.
Céu also introduces first-class support for “wall-clock” time (i.e. time from the real world), and offers seamless integration with C and simulation of programs in the language itself.
The Céu compiler generates single-threaded code comparable to handcrafted C programs in terms of size and portability.
Written by francisco
September 23, 2012 at 11:19 pm