传名调用演算的二值传递CPS变换

• 作者: 喻钢 柳欣欣
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 程序演算 形式语义 传名调用 CPS(continuation-passing-style) 归约
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 2508-2516
• 页数: 9页
• 分类号: TP301
• 字数: 6259字
• 语种: 中文

摘要

为Plotkin带常数传名调用(演算定义了一个新的CPS(continuation-passing-style)变换方法.方法基于求值上下文变换,新颖之处在于,每次传递二值给继续而不是常规的一值.先给出二值CPS变换编码,再在此基础上定义CPS语言,最后建立源语言和CPS语言的一一映射关系并证明Plotkin的模拟定理.与Plotkin的工作比较,工作特点在于,给出了一个CPS归约闭语言,该语言中所有继续都可以用函数形式表达,且模拟定理的可靠性和完备性方向证明更为简单.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	柳欣欣		1	0	0.0	0.0