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 1 |
| Revista: | Electronic Notes in Theoretical Computer Science |
| 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: |
