Applicative Bisimulations for Delimited-Control Operators

Details Applicative Bisimulations for Delimited-Control Operators Applicative Bisimulations for Delimited-Control Operators

2012-01-04

arxiv.org/abs/1201.0874v1

Computer Science

Programming Languages

A long version of an article accepted at FoSSaCS 2012

Scientific paper

We develop a behavioral theory for the untyped call-by-value lambda calculus extended with the delimited-control operators shift and reset. For this calculus, we discuss the possible observable behaviors and we define an applicative bisimilarity that characterizes contextual equivalence. We then compare the applicative bisimilarity and the CPS equivalence, a relation on terms often used in studies of control operators. In the process, we illustrate how bisimilarity can be used to prove equivalence of terms with delimited-control effects.

Affiliated with

Also associated with

No associations

Rating

Applicative Bisimulations for Delimited-Control Operators 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 Applicative Bisimulations for Delimited-Control Operators, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Applicative Bisimulations for Delimited-Control Operators will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-156424