Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

@inproceedings{AndrsAAristizbal2016EnvironmentalBF,
  title={Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation},
  author={P. A. Aristiz{\'a}bal Andr{\'e}sA.Aristiz{\'a}bal and Dariusz Biernacki and Sergue{\"i} Lenglet and Piotr Polesiuk},
  booktitle={FSCD},
  year={2016}
}
We present sound and complete environmental bisimilarities for a variant of Dybvig et al.’s calculus of multi-prompted delimited-control operators with dynamic prompt generation. The reasoning principles that we obtain generalize and advance the existing techniques for establishing program equivalence in calculi with single-prompted delimited control. The basic theory that we develop is presented using Madiot et al.’s framework that allows for smooth integration and composition of up-to… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…