Refinement by interpretation in {\pi}-institutions
Logic in Computer Science
2019-08-15 v1
Abstract
The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.
Keywords
Cite
@article{arxiv.1106.4093,
title = {Refinement by interpretation in {\pi}-institutions},
author = {César Rodrigues and Manuel A. Martins and Alexandre Madeira and Luis S. Barbosa},
journal= {arXiv preprint arXiv:1106.4093},
year = {2019}
}
Comments
In Proceedings Refine 2011, arXiv:1106.3488