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

lmcs:706 - Logical Methods in Computer Science, January 3, 2014, Volume 10, Issue 1 - https://doi.org/10.2168/LMCS-10(1:1)2014
The role of logical interpretations in program developmentArticle

Authors: Manuel A. Martins ORCID; Alexandre Madeira ORCID; Luis S. Barbosa

    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.


    Volume: Volume 10, Issue 1
    Published on: January 3, 2014
    Imported on: March 12, 2011
    Keywords: Computer Science - Logic in Computer Science
    Funding:
      Source : OpenAIRE Graph
    • Generalizing Truth-Functionality; Funder: European Commission; Code: 318986
    • Strategic Project - UI 4106 - 2011-2012; Funder: Fundação para a Ciência e a Tecnologia, I.P.; Code: PEst-C/MAT/UI4106/2011

    2 Documents citing this article

    Consultation statistics

    This page has been seen 1592 times.
    This article's PDF has been downloaded 333 times.