Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15255
Título: | Refinement by interpretation in φ-institutions |
Autor(es): | Rodrigues, César J. Martins, Manuel A. Madeira, A. Barbosa, L. S. |
Palavras-chave: | Refinement Theory of institutions |
Data: | 2011 |
Editora: | Open Publishing Association |
Revista: | Electronic Proceedings in Theoretical Computer Science (EPTCS) |
Resumo(s): | The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of π-institutions. This leads to a smooth generalization of the “refinement by interpretation” approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary π-institutions. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/15255 |
DOI: | 10.4204/EPTCS.55.4 |
ISSN: | 2075-2180 |
Versão da editora: | http://dx.doi.org/10.4204/EPTCS.55.4 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
OriginalRMMB11-Refine11.pdf | 195,58 kB | Adobe PDF | Ver/Abrir |