Environmental bisimulations for delimited-control operators with dynamic prompt generation

DOI10.4230/LIPICS.FSCD.2016.9MaRDI QIDQ5369474zbMATH OpenOpenAlexFDO

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

Publication date 17 October 2017

Full work available at URL https://inria.hal.science/hal-01335959

zbMATH Keywords

contextual equivalencedelimited continuationdynamic prompt generationenvironmental bisimulationup-to technique

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Cited in

(6)

• Proving soundness of extensional normal-form bisimilarities
• Environmental bisimulations for delimited-control operators
• A sound and complete bisimulation for contextual equivalence in -calculus with call/cc
• scientific article; zbMATH DE number 7407797 (Why is no real title available?)
• Environmental bisimulations for delimited-control operators with dynamic prompt generation
• Bisimulations for delimited-control operators

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 Q5369474)