Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35137
Título: | The role of logical interpretations on program development |
Autor(es): | Martins, Manuel A. Madeira, Alexandre Barbosa, L. S. |
Palavras-chave: | refinement algebraic specification; deductive system logical interpretation |
Data: | 2014 |
Editora: | Technischen Universitat Braunschweig |
Revista: | Logical Methods in Computer Science |
Resumo(s): | Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in the context of software design, reuse, and adaptation. This paper proposes a new approach to refinement in which signature morphisms are replaced by logical interpretations as a means to witness refinements. The approach is first presented in the context of equational logic, and later generalised to deductive systems of arbitrary dimension. This allows, for example, refining sentential into equational specifications and the latter into modal ones. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/35137 |
DOI: | 10.2168/LMCS-10(1:1)2014 |
ISSN: | 1860-5974 |
Versão da editora: | www.lmcs-online.org |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |