有界连续的模块化结构操作语义
A Modular Structural Operational Semantics for Delimited Continuations
摘要：
模块化结构操作语义框架能否表达call/cc的动态语义一直是一个悬而未决的问题。本文证明了它可以表示更一般的定界控制算子控制和移位。
英文摘要：
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
