Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
From MaRDI portal
Publication:5369474
DOI10.4230/LIPIcs.FSCD.2016.9zbMath1388.68021OpenAlexW4392576897MaRDI QIDQ5369474
Piotr Polesiuk, Sergueï Lenglet, Dariusz Biernacki, Andrés Aristizábal
Publication date: 17 October 2017
Full work available at URL: https://inria.hal.science/hal-01335959
contextual equivalencedelimited continuationenvironmental bisimulationup-to techniquedynamic prompt generation
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Proving soundness of extensional normal-form bisimilarities ⋮ A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc ⋮ Unnamed Item