文章基本信息

标题：Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
本地全文：下载
作者：Polesiuk, Piotr ; Lenglet, Sergueï ; Biernacki, Dariusz 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2017
卷号：13
期号：3
语种：English
出版社：Technical University of Braunschweig
摘要：We present sound and complete environmental bisimilarities for a variant ofDybvig et al.'s calculus of multi-prompted delimited-control operators withdynamic prompt generation. The reasoning principles that we obtain generalizeand advance the existing techniques for establishing program equivalence incalculi with single-prompted delimited control. The basic theory that wedevelop is presented using Madiot et al.'s framework that allows for smoothintegration and composition of up-to techniques facilitating bisimulationproofs. We also generalize the framework in order to express environmentalbisimulations that support equivalence proofs of evaluation contextsrepresenting continuations. This change leads to a novel and powerful up-totechnique enhancing bisimulation proofs in the presence of control operators.
关键词：Computer Science - Programming Languages