Environmental bisimulations for delimited-control operators with dynamic prompt generation

DOI10.23638/LMCS-13(3:27)2017zbMATH Open1421.68009arXiv1611.09626MaRDI QIDQ5367066FDOQ5367066

Authors: Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk 

Publication date: 12 October 2017

Full work available at URL: https://arxiv.org/abs/1611.09626

Recommendations

• Environmental bisimulations for delimited-control operators with dynamic prompt generation
• Environmental bisimulations for delimited-control operators
• Bisimulations for delimited-control operators
• Applicative bisimulations for delimited-control operators
• Normal form bisimulations for delimited-control operators

zbMATH Keywords

contextual equivalencedelimited continuationenvironmental bisimulationup-to techniquedynamic prompt generation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (6)

• Bisimulation and coinduction enhancements: a historical perspective
• Environmental bisimulations for delimited-control operators
• Environmental bisimulations for delimited-control operators with dynamic prompt generation
• Bisimulations for delimited-control operators
• Complete trace models of state and control
• Diacritical companions

This page was built for publication: Environmental bisimulations for delimited-control operators with dynamic prompt generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5367066)