César Rodrigues (DI-CCTC, Minho University) |
Manuel A. Martins (Dep. Mathematics, Aveiro University,) |
Alexandre Madeira (DI-CCTC, Minho University, Dep. Mathematics, Aveiro University and Critical Software, SA) |
Luis S. Barbosa (DI-CCTC, Minho University) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.55.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |