Please use this identifier to cite or link to this item:
Title: Continuity as a computational effect
Author: Neves, Renato
Barbosa, Luis S.
Hofmann, Dirk
Martins, Manuel A.
Keywords: Monads
Hybrid systems
Control theory
Issue Date: 15-Aug-2016
Publisher: Elsevier
Abstract: 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.
Peer review: yes
DOI: 10.1016/j.jlamp.2016.05.005
ISSN: 2352-2208
Appears in Collections:CIDMA - Artigos
AGG - Artigos

Files in This Item:
File Description SizeFormat 
1507.03219v2.pdfDocumento principal463.42 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.