))
Céu is a reactive language targeted at embedded systems, aiming to offer a higher-level and safer alternative to C. It can be described as a reactive, imperative, concurrent, synchronous, and deterministic language.
Céu has a memory footprint of around 3Kb of ROM and 100b of RAM (on a 16bits platform). Currently, it is restricted to static-only applications.
Website: http://ceu-lang.org (you can try Céu online!)
Git project: https://github.com/fsantanna/ceu
I'm looking for embedded systems developers interested in using Céu.
I can help with all support (i.e. coding) to integrate Céu with your platform.
LuaGravity is a reactive language that implements the synchronous approach for
concurrency.
It is roughly based on Esterel and FrTime, two synchronous reactive languages,
the former having an imperative style, the latter being functional.
LuaGravity is implemented as a set of runtime extensions to the Lua language.
For an introductory video about LuaGravity, click
here.
I have developed LuaGravity during my MSc and currently maintain it.
See Reactive Server Pages (RSP), a project that brings the concepts of LuaGravity to the realm of server-side web development.
2009: SBLP conference paper --- "LuaGravity: a Reactive Language based on Implicit Invocation" --- [ pdf | bibtex ]
2009: MSc dissertation --- "A Synchronous Reactive Language based on Implicit Invocation" --- [ pdf | bibtex ]
/ NCLua
NCL is declarative language that provides several facilities for authoring a complete hypermedia document with synchronization relationships among its components. NCL is used on Brazilian Digital TV middleware Ginga.
NCL was created by Prof. Luiz Fernando Gomes Soares, and is maintained by the TeleMidia Laboratory at PUC-Rio.
NCL is scriptable in Lua through the so called NCLua objects.
I have created the NCLua specification with Prof. Renato Cerqueira and Prof. Luiz Fernando Gomes Soares, and have implemented the first public release.
2009: DocEng conference paper --- "Relating Objects with Imperative Code and Objects with Declarative Code through NCL Glue Language" --- [ pdf | bibtex | site ]
2009: Book chapter --- "Programando com Objetos NCLua (Programando em NCL 3.0)" --- [ bibtex | site ]
2009: Webmedia short course (book chapter) --- "Desenvolvimento de Aplicações Declarativas para TV Digital no Middleware Ginga com Objetos Imperativos Lua" --- [ pdf | bibtex | site ]
2008: Webmedia conference paper --- "NCLua - Objetos Imperativos Lua na Linguagem Declarativa NCL" --- [ slides | pdf | bibtex | site ]
2008: Norma ABNT --- "Digital terrestrial television, Data coding and transmission specification for digital broadcasting, Part 2: Ginga-NCL for fixed and mobile receivers, XML application language for application coding" --- [ bibtex | site ]
2008-2011: PUC-Rio/CCE postgraduate --- "Desenvolvimento de Aplicações e Conteúdo para TV Digital em Ginga-NCL" --- [ site ]
2009: Lua Workshop --- "Aplicações interativas para a TV digital brasileira" --- [ slides | video | site ]
Lua is a powerful, fast, lightweight, embeddable scripting language.
Lua combines simple procedural syntax with powerful data description constructs based on associative arrays and extensible semantics. Lua is dynamically typed, runs by interpreting bytecode for a register-based virtual machine, and has automatic memory management with incremental garbage collection, making it ideal for configuration, scripting, and rapid prototyping.
The Lua language is designed, implemented, and maintained at PUC-Rio by Profs. Roberto Ierusalismchy, Waldemar Celes, and Luiz Henrique de Figueiredo.
Most of my researching and teaching is related to the Lua language.