Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6328
Title: THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT
Authors: Martins,MA
Alexandre Castro Madeira
Luís Soares Barbosa
Issue Date: 2014
Abstract: 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,at 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, relining sentential into equational specifications and the latter into modal ones.
URI: http://repositorio.inesctec.pt/handle/123456789/6328
http://dx.doi.org/10.2168/lmcs-10(1:1)2014
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-009-AST.pdf433.77 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.