Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/43242
Título: | Continuity as a computational effect |
Autor(es): | Neves, Renato Barbosa, L. S. Hofmann, Dirk Martins, Manuel A. |
Palavras-chave: | Monads Components Hybrid systems Control theory |
Data: | 12-Jul-2016 |
Editora: | Elsevier 1 |
Revista: | Journal of Logical and Algebraic Methods in Programming |
Citação: | Neves, R., Barbosa, L. S., Hofmann, D., & Martins, M. A. (2016). Continuity as a computational effect. Journal of Logical and Algebraic Methods in Programming, 85(5), 1057-1085. doi: 10.1016/j.jlamp.2016.05.005 |
Resumo(s): | The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes prevalently intertwined with (continuous) physical processes. A possible way to accommodate the latter in component calculi relies on a suitable encoding of continuous behaviour as (yet another) computational effect. This paper introduces such an encoding through a monad which, in the compositional development of hybrid systems, may play a role similar to the one played by 1+, powerset, and distribution monads in the characterisation of partial, nondeterministic and probabilistic components, respectively. This monad and its Kleisli category provide a universe in which the effects of continuity over (different forms of) composition can be suitably studied. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/43242 |
DOI: | 10.1016/j.jlamp.2016.05.005 |
ISSN: | 2352-2208 |
Versão da editora: | http://www.sciencedirect.com/science/article/pii/S2352220816300475 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
NBHM16.pdf | 721,94 kB | Adobe PDF | Ver/Abrir |