Refinement by interpretation in π-institutions

Details Refinement by interpretation in π-institutions Refinement by interpretation in π-institutions

2011-06-21

arxiv.org/abs/1106.4093v1

EPTCS 55, 2011, pp. 53-64

Computer Science

Logic in Computer Science

In Proceedings Refine 2011, arXiv:1106.3488

Scientific paper

10.4204/EPTCS.55.4

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.

Affiliated with

Also associated with

No associations

Rating

Refinement by interpretation in π-institutions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Refinement by interpretation in π-institutions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Refinement by interpretation in π-institutions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-177853