Utilize este identificador para referenciar este registo: http://hdl.handle.net/1822/26351

TítuloA coalgebraic perspective on logical interpretations
Autor(es)Martins, M. A.
Madeira, A.
Barbosa, L. S.
Palavras-chaveAbstract logic
Program refinement
EditoraSpringer Verlag
RevistaStudia Logica
Resumo(s)In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics.
Versão da editorahttp://dx.doi.org/10.1007/s11225-013-9498-z
Arbitragem científicayes
Aparece nas coleções:HASLab - Artigos em revistas internacionais

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
MMBStudiaLogica2013.pdfpdf (preprint)402,39 kBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu Currículo DeGóis