×
罗伯特·哈珀;马克·利利布里奇

使用控制运算符对\（F_\omega \）的扩展进行操作解释。 （英语） Zbl 0861.68055号

J.功能。程序。 6，第3期，393-417（1996）.
摘要：我们研究了Girard系统扩展（F_\omega）的操作语义，其中有两个控制操作符：放弃当前控制上下文的中止操作和捕获当前控制上下文（control context）的callcc操作。我们考虑了两类操作语义，每类都有一个call-by-value和一个callby-name变量，它们对多态抽象和实例化的处理不同。在标准语义下，多态抽象是值，多态实例化是一个重要的计算步骤；在类ML语义下，在多态抽象下进行评估，多态实例化在计算上不重要。针对标准语义，给出了组合的、类型保护的连续传递样式（cps）转换算法，从而得出所有四种评估策略一致的术语。这必然会导致标准评估策略下的优秀项目的健全性和终止性。相比之下，这种结果仅适用于构造函数抽象仅限于值的受限子语言的类调用值ML策略。当注意力仅限于完整的程序时，类ML调用名语义与标准调用名语义无法区分。

引用于2文件

MSC公司：

第68季度55 计算理论中的语义学

关键词：

标准语义学;多态抽象

软件：

低成本融资;哈斯克尔;福赛特
PDF格式BibTeX公司 XML格式引用
\textit{R.Harper}和\textit{M.Lillibridge}，J.Funct。程序。6，第393-417号（1996年；Zbl 0861.68055）
全文： DOI程序

参考文献：

[1] 内政部：10.1145/169701.169696·数字对象标识代码：10.1145/169701.169696
[2] 哈珀，用非参数多态性编译（1994）
[3] Reynolds，编程语言Forsyth的初步设计（1988）
[4] Reynolds，Colloq.sur la Programmation:计算机科学课堂讲稿19 pp 408–（1974）
[5] 克林格，LISP Pointers 5 pp 1–（1991）
[6] 内政部：10.1016/0304-3975（75）90017-1·兹比尔0325.68006 ·doi:10.1016/0304-3975（75）90017-1
[7] 内政部：10.1016/0890-5401（91）90055-7·Zbl 0799.68129号 ·doi:10.1016/0890-5401（91）90055-7
[8] 米尔纳，《标准ML的定义》（1990年）
[9] Appel，《用续编汇编》（1992年）
[10] Milner，《标准ML评论》（1991年）
[11] DOI:10.1016/0022-0000（78）90014-4·Zbl 0388.68003号 ·doi:10.1016/0022-0000（78）90014-4
[12] 程序哈珀。ACM SIGPLAN延续性研讨会CW92第13页–（1992年）
[13] 内政部：10.1017/S095679680000085X·doi:10.1017/S095679680000085X
[14] Gordon，Edinburgh LCF：计算的机械化逻辑：计算机科学课堂讲稿78（1979）
[15] Girard，《证明与类型：剑桥理论计算机科学丛书》7（1989）
[16] 内政部：10.1016/0890-5401（90）90018-D·Zbl 0705.68028号 ·doi:10.1016/0890-5401（90）90018-D
[17] 内政部：10.1007/BF01019461·doi:10.1007/BF01019461
[18] 斯蒂尔，拉比特：SCHEME编译器（1978）
[19] 内政部：10.1016/0304-3975（92）90014-7·Zbl 0764.68094号 ·doi:10.1016/0304-3975（92）90014-7
[20] 内政部：10.1007/BF01019459·doi:10.1007/BF01019459
[21] Meyer，《程序逻辑：计算机科学讲义》193页219–（1985）·doi:10.1007/3-540-15648-8_17
[22] Hudak，编程语言Haskell报告，1.0版（1990）
[23] 内政部：10.1016/0096-0551（86）90007-X·兹比尔0603.68005 ·doi:10.1016/0096-0551（86）90007-X
[24] 内政部：10.1007/BF01019463·doi:10.1007/BF01019463
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。