Please use this identifier to cite or link to this item:
|Title:||THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT|
Alexandre Castro Madeira
Luís Soares Barbosa
|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.|
|Appears in Collections:||HASLab - Articles in International Journals|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.