On the generation of equational dynamic logics for weighted imperative programs

doi:10.1007/978-3-030-32409-4_10

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/69204

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Gomes, Leandro Rafael Moreira	por
dc.contributor.author	Madeira, Alexandre	por
dc.contributor.author	Jain, Manisha	por
dc.contributor.author	Barbosa, L. S.	por
dc.date.accessioned	2021-01-14T10:07:58Z	-
dc.date.available	2021-01-14T10:07:58Z	-
dc.date.issued	2019-10	-
dc.identifier.citation	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	por
dc.identifier.isbn	978-3-030-32408-7	-
dc.identifier.issn	0302-9743	por
dc.identifier.uri	https://hdl.handle.net/1822/69204	-
dc.description.abstract	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.	por
dc.description.sponsorship	POCI-01-0145-FEDER-030947. ERDF—European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-030947. The second author is supported in the scope of the framework contract foreseen in the numbers 4, 5 and 6 of the article 23, of the Decree-Law 57/2016, of August 29, changed by Portuguese Law 57/2017, of July 19 and by UID/MAT/04106/2019 at CIDMA	por
dc.language.iso	eng	por
dc.publisher	Springer	por
dc.rights	openAccess	por
dc.subject	Weighted computations	por
dc.subject	Dynamic logic	por
dc.title	On the generation of equational dynamic logics for weighted imperative programs	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	https://link.springer.com/chapter/10.1007/978-3-030-32409-4_10	por
oaire.citationStartPage	154	por
oaire.citationEndPage	169	por
oaire.citationVolume	Springer Lecture Notes Computer Science (11852)	por
dc.identifier.doi	10.1007/978-3-030-32409-4_10	por
dc.identifier.eisbn	978-3-030-32409-4	-
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
sdum.journal	Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	por
sdum.conferencePublication	LNCS: Proc 11th ICFEM (21st International Conference on Formal Engineering Methods), Shenzhen, China, 5-9 November, 2019.	por
sdum.bookTitle	Formal Methods and Software Engineering	por
Aparece nas coleções:	HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
GMB19a.pdf		353,56 kB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas

Citations

Altmetrics