[en] CÉU: EMBEDDED, SAFE, AND REACTIVE PROGRAMMING

[pt] FRANCISCO PEDRO C SANTANNA

[pt] ROBERTO IERUSALIMSCHY

[pt] NOEMI DE LA ROCQUE RODRIGUEZ

[en] STATIC ANALYSIS

[en] CONCURRENCE

[en] SYNCHRONOUS

[en] EMBEDDED SYSTEM

[en] DETERMINISM

[en] 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.

2015-09-28

[pt] TEXTO

application/pdf

INGLÊS

https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=25258@2

https://doi.org/10.17771/PUCRio.DImcc.25258