Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/33846
Título: | State-based components made generic |
Autor(es): | Oliveira, José Nuno Barbosa, L. S. |
Data: | 2003 |
Editora: | Elsevier |
Revista: | Electronic Notes in Theoretical Computer Science |
Citação: | Barbosa, L. S., & Oliveira, J. N. (2003, July). State-based Components Made Generic. Electronic Notes in Theoretical Computer Science. Elsevier BV. http://doi.org/10.1016/s1571-0661(04)80631-5 |
Resumo(s): | Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propose a generic notion of a state-based software component, and an associated calculus, by quantifying over behavioural models specified as strong monads. This leads to the pointfree, calculational reasoning style which is typical of the so-called Bird-Meertens school. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/33846 |
DOI: | 10.1016/S1571-0661(04)80631-5 |
ISSN: | 1571-0661 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |