Refinement by interpretation in π-institutions

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.

In John Derrick, Eerke Boiten and Steve Reeves: Proceedings 15th International Refinement Workshop (Refine 2011), Limerick, Ireland, 20th June 2011, Electronic Proceedings in Theoretical Computer Science 55, pp. 53–64.
Published: 17th June 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.55.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org