Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/24650
Título: | Towards a linear algebra of programming |
Autor(es): | Oliveira, José Nuno Fonseca |
Palavras-chave: | Algebra of programming Quantitative formal methods Probabilistic reasoning |
Data: | 2012 |
Editora: | Springer |
Revista: | Formal Aspects of Computing |
Citação: | Ol12 |
Resumo(s): | The Algebra of Programming (AoP) is a discipline for programming from specifications using relation algebra. Specification vagueness and nondeterminism are captured by relations. (Final) implemen- tations are functions. Probabilistic functions are half way between relations and functions: they express the propensity, or like- lihood of ambiguous, multiple outputs. This paper puts forward a basis for a Linear Algebra of Programming (LAoP) extending standard AoP towards probabilistic functions. Because of the quantitative essence of these functions, the allegory of binary relations which supports the AoP has to be extended. We show that, if one restricts to discrete probability spaces, categories of matrices provide adequate support for the extension, while preserving the pointfree reasoning style typical of the AoP. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/24650 |
DOI: | 10.1007/s00165-012-0240-9 |
ISSN: | 0934-5043 |
Versão da editora: | http://dx.doi.org/10.1007/s00165-012-0240-9 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
facsj11-r5.pdf | 440,7 kB | Adobe PDF | Ver/Abrir |