×
卡斯滕·范尔曼;Hayo Thielecke

关于按值调用CPS变换及其语义。 （英语） Zbl 1078.68095号

Inf.计算。 188，第241-283号（2004年）.
摘要：我们在理想化的按值调用编程语言的上下文中研究延续。在语义方面，我们分析了由call-by-value语言的延续模型产生的范畴结构。在句法方面，我们将call-by-value连续传递转换作为等式理论之间的转换进行研究。这些新颖之处包括控制算子的异常简单的公理化，以及基于延迟变换的证明增强的完备性结果。

引用于2文件

MSC公司：

68问题55 计算理论中的语义学
03B70号 计算机科学中的逻辑
18个C20 单体的Eilenberg-Moore和Kleisli构造
18 C50 形式语言的范畴语义

关键词：

续;λ-微积分;语义学;类别;莫纳兹
PDF格式BibTeX公司 XML格式引用
\textit{C.Führmann}和\textit{H.Thielecke}，Inf.Comput。188，第2号，241--283（2004；Zbl 1078.68095）
全文： 内政部

参考文献：

[1] Abelson，H。；Dybvig，R。；海恩斯，C。；Rozas，G。；N.亚当斯。；弗里德曼，D。；科尔贝克，E。；斯蒂尔，G。；Bartley，D。；Halstead，R。；奥克斯利·D·。；苏斯曼，G。；布鲁克斯，G。；Hanson，C。；Pitman，K。；Wand，M.，算法语言方案报告，高阶和符号计算，11，1，7-105（1998）·Zbl 0965.68008号
[2] Appel，A.W.，《继续汇编》（1992），剑桥大学出版社：剑桥大学出版社
[3] Boudol，G.，直接风格的Pi-calculus，（编程语言原理研讨会（POPL'97）（1997），美国计算机学会：美国计算机学会纽约分会）·Zbl 0934.68037号
[4] B.Duba，R.Harper，D.MacQueen，在ML中键入一级连续体，在：Proc。ACM交响乐团。《程序设计语言原理1991》，第163-173页；B.Duba，R.Harper，D.MacQueen，用ML键入一流的延续，in：Proc。ACM交响乐团。程序设计语言原理1991，第163-173页
[5] Felleisen，M。；弗里德曼，D.P。；科尔贝克，E.E。；Duba，B.，《延续推理》，计算机科学逻辑研讨会论文集，131-141（1986）
[6] Filinski，A.，《声明性延续：编程语言语义二重性研究》（Pitt，D.H.；etal.，《范畴理论与计算机科学》，《范畴论与计算机科学，计算机科学讲义》，第389卷（1989），Springer-Verlag），224-249·Zbl 1493.68108号
[7] Filinski，A.，迭代递归，Lisp和符号计算，7，1，11-38（1994）
[8] M.J.Fischer，Lambda-calculus schemata，摘自：《关于证明程序断言的ACM会议论文集》，Los Cruces，1972年，第104-109页，sIGPLAN通知，7（1），1972年1月；M.J.Fischer，Lambda-calculus schemata，摘自：《关于证明程序断言的ACM会议论文集》，Los Cruces，1972年，第104-109页，sIGPLAN通知，7（1），1972年1月
[9] Führmann，C.，计算lambda演算的直接模型，（Proceedings MFPS XV。Proceedings MFPS XV，理论计算机科学电子笔记，第20卷（1999），爱思唯尔：爱思唯尔新奥尔良）·Zbl 0924.68029号
[10] C.Führmann，call-by-value的结构，爱丁堡大学信息学系博士论文，2000年；C.Führmann，call-by-value的结构，爱丁堡大学信息学系博士论文，2000年
[11] Führmann，C.，《效应的多样性》（2002年FOSSACS会议记录）。2002年FOSSACS会议录，计算机科学讲义，第2303卷（2002），施普林格：施普林格柏林），144-158·Zbl 1077.68554号
[12] Griffin，T.G.，控制的公式化概念，（编程语言原理（POPL’90）（1990），美国计算机学会：美国计算机学会纽约分会），47-58
[13] 长谷川，M。；Kakutani，Y.，调用值递归公理，高阶和符号计算，15，2-3，235-264（2002）·Zbl 1030.68012号
[14] 哈特克利夫，J。；Danvy，O.，Thunks和λ-演算，函数编程杂志，7，2，303-319（1997）·Zbl 0881.68025号
[15] Hofmann，M.，call-by-value控制算子的健全和完备公理化，计算机科学中的数学结构，5461-482（1995）·Zbl 0846.68066号
[16] Ingerman，P.Z.，Thunks:《汇编程序声明的方法及对程序声明的一些评论》，ACM通讯，4，1，55-58（1961）·Zbl 0098.10208号
[17] P.J.Landin，跳跃和标签的概括，报告，UNIVAC系统编程研究，1965年8月；P.J.Landin，跳转和标签的概括，报告，UNIVAC系统编程研究，1965年8月·Zbl 0934.68036号
[18] P.J.Landin，跳跃和标签的推广，高阶和符号计算11（2）；P.J.Landin，跳跃和标签的推广，高阶和符号计算11（2）·Zbl 0934.68036号
[19] Lane，S.M.，《工作数学家的类别》，《数学研究生课本卷》（1971年），柏林斯普林格出版社·Zbl 0232.18001号
[20] E.Moggi，计算lambda微积分和monads，技术报告ECS-LFCS-88-66，爱丁堡大学计算机系。科学。，1988; E.Moggi，计算lambda-calculus和monad，技术报告ECS-LFCS-88-66，爱丁堡大学，计算机系。科学。，1988 ·Zbl 0716.03007号
[21] Moggi，E.，计算lambda演算和monad，（第四届IEEE计算机科学逻辑年会论文集，LICS’89，美国加利福尼亚州太平洋格罗夫，1989年6月5-8日（1989年），IEEE计算机学会出版社：IEEE计算机学会出版社，华盛顿特区），14-23·Zbl 0716.03007号
[22] E.莫吉，《计算和单数的概念》，《信息和计算》93（1）；E.莫吉，计算和单数的概念，信息和计算93（1）·Zbl 0723.68073号
[23] Plotkin，G.D.，Call-by-name，Call-by-value和λ-演算，理论计算机科学，1,2,125-159（1975）·Zbl 0325.68006号
[24] Power，J。；Robinson，E.，前单体范畴和计算概念，计算机科学中的数学结构，7，5，453-468（1997）·Zbl 0897.18002号
[25] 鲍尔，J。；Thielecke，H.，《封闭的Freyd-和kappa-类别》（Proc.ICALP’99）。程序。ICALP’99，《计算机科学讲义》，第1644卷（1999），《施普林格：施普林格柏林》·Zbl 0938.03026号
[26] Reynolds，J.C.，《延续的发现，Lisp和符号计算》，6，3/4，233-247（1993）
[27] Sabry，A。；Felleisen，M.，《关于连续传递式程序的推理》，Lisp和符号计算，6，3/4，289-360（1993）
[28] 塞林格，P.，《控制范畴与对偶：关于lambda-mu演算的范畴语义》，《计算机科学中的数学结构》，第11期，第207-260页（2001年）·Zbl 0984.18003号
[29] G.Steele，Rabbit:Scheme的编译器，AI技术报告474，麻省理工学院，1978年5月；G.Steele，Rabbit:Scheme的编译器，AI技术报告474，麻省理工学院，1978年5月
[30] C.Strachey，C.P.Wadsworth，《续：处理跳远的数学语义》。专题论文PRG-11，牛津大学计算实验室，编程研究小组，英国牛津，1974年；C.Strachey，C.P.Wadsworth，《续：处理跳远的数学语义》。专著PRG-11，牛津大学计算实验室，编程研究小组，英国牛津，1974年·Zbl 0951.68078号
[31] 斯特拉奇，C。；Wadsworth，C.P.，《续：处理全跳的数学语义》，高阶和符号计算，13，1/2，135-152（2000），再版[30]·Zbl 0951.68078号
[32] P.Taylor，Sober空间与延续，范畴10的理论与应用；P.Taylor，Sober空间与延续，范畴10的理论与应用
[33] H.Thielecke，连续传球风格的分类结构，爱丁堡大学博士论文，1997；H.Thielecke，连续传球风格的分类结构，爱丁堡大学博士论文，1997
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。