XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: CÉU: EMBEDDED, SAFE, AND REACTIVE PROGRAMMING Autor: FRANCISCO PEDRO C SANTANNA
NOEMI DE LA ROCQUE RODRIGUEZ
ROBERTO IERUSALIMSCHY
Instituição: -
Colaborador(es):
-
Nº do Conteudo: 25258
Catalogação: 28/09/2015 Idioma(s): ENGLISH - UNITED STATES
Tipo: TEXT Subtipo: RESEARCH REPORT
Natureza: SCHOLARLY PUBLICATION
Nota: This report was originally published as 12/2012.
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=25258@2
Referência DOI: https://doi.org/10.17771/PUCRio.DImcc.25258
Resumo:
Título: CÉU: EMBEDDED, SAFE, AND REACTIVE PROGRAMMING Autor: FRANCISCO PEDRO C SANTANNA
Nº do Conteudo: 25258
Catalogação: 28/09/2015 Idioma(s): ENGLISH - UNITED STATES
Tipo: TEXT Subtipo: RESEARCH REPORT
Natureza: SCHOLARLY PUBLICATION
Nota: This report was originally published as 12/2012.
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=25258@2
Referência DOI: https://doi.org/10.17771/PUCRio.DImcc.25258
Resumo:
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.
Descrição | Arquivo |
COMPLETE |