Martins, Manuel A. and Madeira, Alexandre and Barbosa, Luis S. - The role of logical interpretations in program development

lmcs:706 - Logical Methods in Computer Science, January 3, 2014, Volume 10, Issue 1
The role of logical interpretations in program development

Authors: Martins, Manuel A. and Madeira, Alexandre and Barbosa, Luis 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.


Source : oai:arXiv.org:1311.7090
DOI : 10.2168/LMCS-10(1:1)2014
Volume: Volume 10, Issue 1
Published on: January 3, 2014
Submitted on: March 12, 2011
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 48 times.
This article's PDF has been downloaded 16 times.