%0 Journal Article
%T 传名调用演算的二值传递cps变换
%A 喻钢？
%A 柳欣欣？
%J 软件学报
%P 2508-2516
%D 2008
%X 为plotkin带常数传名调用(演算定义了一个新的cps(continuation-passing-style)变换方法.方法基于求值上下文变换,新颖之处在于,每次传递二值给继续而不是常规的一值.先给出二值cps变换编码,再在此基础上定义cps语言,最后建立源语言和cps语言的一一映射关系并证明plotkin的模拟定理.与plotkin的工作比较,工作特点在于,给出了一个cps归约闭语言,该语言中所有继续都可以用函数形式表达,且模拟定理的可靠性和完备性方向证明更为简单.
%K 程序演算
%K 形式语义
%K 传名调用
%K cps(continuation-passing-style)
%K 归约
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20081003&flag=1