Refinement by interpretation in Pi-institutions
- Citation:
- Rodrigues C, Martins M, Madeira A, Barbosa LS. 2011. Refinement by interpretation in Pi-institutions. Proceedings of 15th International Refinement Workshop - Refine . 55:53-64.
Tertiary Title:
EPTCSDate Presented:
JuneAbstract:
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.
Citation Key:
RMMB11DOI:
10.4204/EPTCS.55.4
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.