Predicate Transformers and Linear Logic, yet another denotational model

Details Predicate Transformers and Linear Logic, yet another denotational model Predicate Transformers and Linear Logic, yet another denotational model

2009-05-25

arxiv.org/abs/0905.3998v1

Computer Science and Logic 2004, Karpacz : Pologne (2004)

Computer Science

Logic in Computer Science

Scientific paper

In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this structure to make predicate transformers into a de notational model of full linear logic: all the logical constructions have a natural interpretation in terms of predicate transformers (i.e. in terms of specifications). We then interpret proofs of a formula by a safety property for the corresponding specification.

Affiliated with

Also associated with

No associations

Rating

Predicate Transformers and Linear Logic, yet another denotational model 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 Predicate Transformers and Linear Logic, yet another denotational model, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Predicate Transformers and Linear Logic, yet another denotational model will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-294542