CPS 层次中分隔保留continuations的操作基础
计算机科学中的逻辑
2023-06-27 v4 编程语言
摘要
我们提出一种抽象机器和lambda演算的化简语义，该演算扩展了控制运算符以访问CPS层次中的分隔保留continuations。该抽象机器从以continuation-passing style (CPS)编写的求值器派生而来；化简语义（即带有显式评估上下文的小步操作语义）是从抽象机器构建的；控制运算符为shift和reset族。我们还介绍了CPS层次中分隔保留continuations的新用途：查找列表前缀以及基于单位与积的层次化语言的评估归约。
引用
@article{arxiv.cs/0508048,
title = {An Operational Foundation for Delimited Continuations in the CPS Hierarchy},
author = {Malgorzata Biernacka and Dariusz Biernacki and Olivier Danvy},
journal= {arXiv preprint arXiv:cs/0508048},
year = {2023}
}
备注
39 pages