Full abstraction for nominal general references

Details Full abstraction for nominal general references Full abstraction for nominal general references

2009-07-26

arxiv.org/abs/0907.4477v2

LMCS 5 (3:8) 2009

Computer Science

Programming Languages

Scientific paper

10.2168/LMCS-5(3:8)2009

Game semantics has been used with considerable success in formulating fully abstract semantics for languages with higher-order procedures and a wide range of computational effects. Recently, nominal games have been proposed for modelling functional languages with names. These are ordinary, stateful games cast in the theory of nominal sets developed by Pitts and Gabbay. Here we take nominal games one step further, by developing a fully abstract semantics for a language with nominal general references.

Affiliated with

Also associated with

No associations

Rating

Full abstraction for nominal general references 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 Full abstraction for nominal general references, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Full abstraction for nominal general references will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-357414