Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69204| Título: | On the generation of equational dynamic logics for weighted imperative programs |
| Autor(es): | Gomes, Leandro Rafael Moreira Madeira, Alexandre Jain, Manisha Barbosa, L. S. |
| Palavras-chave: | Weighted computations Dynamic logic |
| Data: | Out-2019 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Citação: | Gomes, L., Madeira, A., Jain, M., & Barbosa, L. S. (2019). On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. In International Conference on Formal Engineering Methods (pp. 154-169). Springer |
| Resumo(s): | Dynamic logic is a powerful framework for reasoning about imperative programs. This paper extends previous work [9] on the systematic generation of dynamic logics from the propositional to the equational case, to capture `full- edged' imperative programs. The generation process is parametric on a structure specifying a notion of `weight' assigned to programs. The paper introduces also a notion of bisimilarity on models of the generated logics, which is shown to entail modal equivalence with respect to the latter. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/69204 |
| ISBN: | 978-3-030-32408-7 |
| e-ISBN: | 978-3-030-32409-4 |
| DOI: | 10.1007/978-3-030-32409-4_10 |
| ISSN: | 0302-9743 |
| Versão da editora: | https://link.springer.com/chapter/10.1007/978-3-030-32409-4_10 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| GMB19a.pdf | 353,56 kB | Adobe PDF | Ver/Abrir |
