第条

免费访问

延续推理II：控制模型的完全抽象

作者:

多雷西塔拉姆,

马提亚斯费雷森作者信息和声明

LFP’90：1990年ACM LISP和函数编程会议记录

页161-175

https://doi.org/10.1145/91556.9126

出版:1990年5月1日出版历史

PDF格式电子阅读器

摘要

编程语言的完全抽象模型在且仅当两个术语具有相同的操作行为时，才将相同的含义赋予这两个术语。这种模型因函数式语言而闻名，但对于具有复杂控制结构的扩展函数式语言却知之甚少。我们表明，带有误差值的直接模型和传统的连续模型分别适用于增加了一阶和高阶控制设施的函数式语言。此外，这两种模型在向编程语言添加控制分隔符和并行条件时都变得完全抽象。

工具书类

[1]

Aiken A.、J.H.Williams和E.L.Wimmers。存在错误时的程序转换。在佩科。第17届CM编程语言原理研讨会，第210-217页，1990年。

数字图书馆

[2]

H.P.巴伦德里格特。兰姆达演算：它的语法和语义。逻辑与数学基础研究103。荷兰北部，阿姆斯特丹，1984年。修订版。

[3]

V.Breazu-Tannen、C.Gunter和A.Scedrov。使用胁迫进行计算。在Pvoc中。1990年Lisp和函数编程CM会议，1990年，本卷。

数字图书馆

[4]

O.Danvy和A.Filinski。抽象控制。程序中。1990关于Lisp和函数编程的CM会议，1990年，本卷。

数字图书馆

[5]

R.K.Dybvig和R.Hieb。延续的发动机。《计算机语言杂志》（佩加蒙出版社），14（2）：109-1241989年。

数字图书馆

[6]

M.Felleisen先生。Lambda-v-CS-转换的演算：强制性高阶程序设计语言中控制和状态的句法理论。印第安纳大学博士论文，1987年。

数字图书馆

[7]

M.Felleisen先生。A-v-CS：Scheme的扩展A-演算。程序中。1988年Lisp和函数编程会议，第72-84页，1988年。

数字图书馆

[8]

M.FeUeisen先生。一级提示的理论和实践，在Proc。第15届CM编程语言原理研讨会，第180-190页，1988年。

数字图书馆

[9]

M.Felleisen先生。关于编程语言的表达能力。程序中。欧洲规划研讨会。计算机科学课堂讲稿，1990年。出现。

数字图书馆

[10]

M.Felleisen和R.S.Cartwright。扩展的直接语义。技术报告105，莱斯大学，1990年1月。

[11]

M.Felleisen、D.P.Friedman、E.Kohlbecker和B.Dubs。顺序控制的句法理论。西奥。计算。科学。，52(3):205-237, 1987. 初步版本：继续推理，程序。计算机科学中的逻辑研讨会，1986年，131-141。

数字图书馆

[12]

D.P.Friedman、C.T.Haynes和E.Kohlbecker。使用延续进行编程。在P.Pepper，编辑，《程序转换和编程环境》，第263-274页。斯普林格·弗拉格，海德堡，1985年。

[13]

T.格里芬。公式-~s类型的控制概念。程序中。第17届CM编程语言原理研讨会，1990年出版。

数字图书馆

[14]

C.T.Haynes和D.P.Friedman。在过程对象中嵌入延续。编程语言和系统的CM汇刊，9（4）：245-2541987。

数字图书馆

[15]

C.T.Haynes、D.P.Friedman和M.Wand。从延续中获取协同程序。计算机语言杂志（佩加蒙出版社），11（3/4）：109-1211986。

数字图书馆

[16]

R.Hieb和R.K.Dybvig。连续性和并发性。在第二届CM SIG-PLAN并行编程原理与实践研讨会上，第128-136页，1990年。

数字图书馆

[17]

J.McCarthy等人，《Lisp 1.5程序员手册》。麻省理工学院出版社，剑桥，第二版，1965年。

数字图书馆

[18]

A.R.Meyer和J.R.Riecke。延续可能是不合理的。程序中。1988年Lisp和函数编程会议，第63-71页，1988年。

数字图书馆

[19]

R.Milner、M.Tofte和~nd R.Harper。《标准ML的定义》，麻省理工学院出版社，马萨诸塞州C~mbridge和英国伦敦，1990年。

数字图书馆

[20]

G.D.Plotkin。Call-by-name、Call-by-value和A-calcuhs。西奥。计算。科学。，1:125-159, 1975.

[21]

G.D.Plotkin。LCF被认为是一种编程语言。西奥。计算$ci.，5:223-2551977年。

[22]

J.Rees和W.Clinger。算法语言方案的修订报告$IGPLAN通告，21（12）：37-791986年。

数字图书馆

[23]

D.Sitaram和M.Fetleisen。控件分隔符及其层次结构。Lisp与符号计算，3（1）：67-991990。

数字图书馆

[24]

G.L.Steele Jr.通用Lisp——语言。数字出版社，1984年。

数字图书馆

[25]

C.Strachey和C.P.Wadsworth。续：处理完整跳跃的理论语义。《PRG-11技术报告》，牛津大学计算实验室，编程研究小组，1974年。

[26]

G.J.Sussman和G.L.Steele Jr.Scheme：扩展lambda微积分的解释器。备忘录349，麻省理工人工智能实验室，1975年。

数字图书馆

[27]

C.塔尔科特。Rum的本质——Lisp型计算的内涵和外延理论。斯坦福大学博士论文，1985年。

数字图书馆

[28]

C.塔尔科特。Rum：功能和控制抽象的内涵理论。程序中。1987年逻辑和函数编程基础研讨会。施普林格讲座笔记3061988。

数字图书馆

引用人

比尔纳基D丹佛O米利金K(2015)动态分隔连续符的动态连续传递样式程序设计语言与系统学报10.1145/279407838:1(1-25)在线发布日期：2015年10月16日
https://dl.acm.org/doi/10.1145/2794078
DOWNEN P公司阿里奥拉Z(2014)分隔控制和计算效果函数编程杂志10.1017/S095679681300031224:1(1-55)在线发布日期：2014年1月22日
https://doi.org/10.1017/S0956796813000312
比尔纳基DLenglet S公司(2013)有界控制算子的环境模拟第11届亚洲程序设计语言与系统研讨会论文集-第8301卷10.1007/978-3-319-03542-0_24(333-348)在线发布日期：2013年12月9日
https://dl.acm.org/doi/10.1007/978-3-319-03542-0_24
显示更多引用者

索引术语

延续推理II：控制模型的完全抽象
1. 软件及其工程
  1. 软件符号和工具
    1. 正式语言定义
    2. 通用编程语言
      1. 语言特点
        控制结构
      2. 语言类型
        函数式语言
2. 计算理论
  1. 形式语言与自动机理论
  2. 语义和推理
    1. 程序结构
      1. 控制原语
    2. 程序语义
      1. 指称语义

建议

用连续体编译
编译（续）
2007年ICFP会议记录

我们提出了一系列适用于函数式语言编译的基于CPS的中间语言，认为它们比基于A类-标准型（ANF）或单子。函数内联演示了。。。
继续编译，续
ICFP’07：第十二届ACM SIGPLAN功能编程国际会议记录

我们提出了一系列适用于函数式语言编译的基于CPS的中间语言，认为它们比基于A类-标准型（ANF）或单子。函数内联演示了。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

LFP’90：1990年ACM LISP和函数编程会议记录

1990年5月

348页

国际标准图书编号：089791368X号

内政部：10.1145/91556

主席：
吉尔斯·卡恩

版权所有©1990 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1990年5月1日

权限

请求对此文章的权限。

检查更新

限定符

第条

会议

LFP90型

赞助商：

LFP90:ACM Lisp和函数编程会议

1990年6月27日至29日

尼斯，法国

接受率

总体接受率109份提交文件中的30份，28%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章度量标准

34
引文总数
查看引文
474
总下载次数

下载次数（过去12个月）65
下载次数（最近6周）12

反映截至2024年9月18日的下载量

其他指标

查看作者指标

引文

引用人

比尔纳基D丹佛O米利金K(2015)动态分隔连续符的动态连续传递样式程序设计语言与系统学报10.1145/279407838:1(1-25)在线发布日期：2015年10月16日
https://dl.acm.org/doi/10.1145/2794078
DOWNEN P公司阿里奥拉Z(2014)分隔控制和计算效果函数编程杂志10.1017/S095679681300031224:1(1-55)在线发布日期：2014年1月22日
https://doi.org/10.1017/S0956796813000312
比尔纳基DLenglet S公司(2013)有界控制算子的环境模拟第11届亚洲程序设计语言与系统研讨会论文集-第8301卷10.1007/978-3-319-03542-0_24(333-348)在线发布日期：2013年12月9日
https://dl.acm.org/doi/10.1007/978-3-319-03542-0_24
克罗拉德T波洛诺斯基E(2012)从形式化的控制概念导出非局部跳跃的Floyd–Hoare逻辑逻辑与代数程序设计杂志2016年10月10日/j.jlap.2012.01.00481:3(181-208)在线发布日期：2012年4月
https://doi.org/10.1016/j.jlap.2012.01.04
Downen公司阿里奥拉Z(2012)使用多个提示进行分隔控制的系统方法第21届欧洲编程语言和系统会议记录10.1007/978-3-642-28869-2_12(234-253)在线发布日期：2012年3月24日
https://dl.acm.org/doi/10.1007/978-3642-28869-2_12
丹佛O菲林斯基A(2009)代表控制：CPS变换研究计算机科学中的数学结构10.1017/09601295000015352:04(361)在线发布日期：2009年3月4日
https://doi.org/10.1017/S0960129500001535
Riecke J公司(2009)功能语言之间的完全抽象翻译计算机科学中的数学结构10.1017/S0960129500000293三:4(387-415)在线发布日期：2009年3月4日
https://doi.org/10.1017/S0960129500000293
阿里奥拉Z赫伯林H萨布里A(2009)定界延拓的类型理论基础高阶和符号计算2007年10月10日/10990-007-9006-022:3(233-273)在线发布日期：2009年9月1日
https://dl.acm.org/doi/10.1007/s10990-007-9006-0
赫伯林HGhilezan S公司(2008)一种调用名分隔的延续方法ACM SIGPLAN通知10.1145/1328897.132848443:1(383-394)在线发布日期：2008年1月7日
https://dl.acm.org/doi/10.1145/1328897.1328484
赫伯林HGhilezan S公司花冠GWadler P公司(2008)一种调用名分隔的延续方法第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录10.1145/1328438.1328484(383-394)在线发布日期：2008年1月7日
https://dl.acm.org/doi/101145/1328438.1328484网址
显示更多引用者

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子