第条

定点提升轻量化融合

作者:

Atsushi公司大濠和

真面目屋佐佐野作者信息和声明

POPL'07：第34届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录

2007年1月

页143-154

https://doi.org/10.1145/1190216.1190241

出版:2007年1月17日出版历史记录

获取访问权限

摘要

本文提出了一种通用递归函数定义的轻量级融合方法。与现有的建议相比，我们的方法有几个重要的实际特点：它适用于一般代数数据类型上的一般递归函数；它不会产生额外的运行时开销（除了由于融合成功而可能导致代码大小增加）；它很容易被纳入标准的内联优化中。这是通过使用一个新的融合法则来扩展普通的内联过程来实现的，该融合法则转换了形式的一个项（f）o（修复克λx。E类)到一个新的不动点术语fix小时λx。E类'通过提升功能（f）通过不动点算子。这是一个合理的语法转换规则，对类型不敏感（f）和克这一特性使我们的方法适用于广泛的函数，包括那些具有curried和uncarried形式的多参数函数。尽管此方法不保证任何形式的完整性，但它融合了文献中讨论的典型示例和其他涉及累积参数的示例，无论是以tt折叠特定形式还是一般递归形式，都不需要任何额外的机制。为了证实我们的说法，我们在编译器中实现了我们的方法。虽然这是初步的，但它证明了这种方法的实际可行性。

工具书类

[1]

R.Burstall和J.Darlington。用于开发递归程序的转换系统。美国医学会杂志，24（1）：44-671977。

数字图书馆

[2]

M.Chakravarty和G.Keller。功能阵列融合。程序中。ACM函数编程国际会议，第205-216页，2001年。

数字图书馆

[3]

W-N.中国。功能表达的安全融合。程序中。ACM Lisp和函数编程会议，第11-20页，1992年。

数字图书馆

[4]

O.奇蒂尔。类型推断为毁林开辟了捷径。程序中。ACM函数编程国际会议，第249-260页，1999年。

数字图书馆

[5]

N.Ghani、P.Johann、T.Uustalu和V.Vene。一元增强和广义捷径融合。程序中。ACM函数编程国际会议，第294-305页，2005年。

数字图书馆

[6]

A.Gill、J.Launchbury和S.Peyton Jones。砍伐森林的捷径。程序中。函数式编程语言和计算机体系结构国际会议，第223-232页，1993年。

数字图书馆

[7]

A.吉尔。非标准函数语言的廉价砍伐。格拉斯哥大学博士论文，1996年。

[8]

M.Hasegawa和Y.Kakutani。按调用值递归的公理。高阶和符号计算，15（2-3）：235--2642002。

数字图书馆

[9]

Z.Hu、H.Iwasaki和M.Takeichi。从递归定义中导出结构体形。程序中。ACM函数编程国际会议，第73-821996页。

数字图书馆

[10]

P.Johann和E.Visser。Stratego中的热融合：程序转换系统生成的案例研究。数学与人工智能年鉴，29（1-4）：1-342000。

数字图书馆

[11]

胜本S.和西村S。累加参数函数的代数融合及其改进。程序中。ACM函数编程国际会议，第227-238页，2006年。

数字图书馆

[12]

J.Launchbury和T.Sheard。热融合：从递归定义派生出构建类。程序中。ACM函数编程语言和计算机体系结构会议，第314-3231995页。

数字图书馆

[13]

G.马尔科姆。同态和可推广性。程序中。程序构造数学，第335-347页，1989年。

数字图书馆

[14]

E.Meijer、M.Fokkinga和R.Paterson。用香蕉、镜头、信封和铁丝网进行功能编程。程序中。函数式编程语言和计算机体系结构国际会议（FPCA’91），计算机科学讲义523，第124-144页，1991年。

数字图书馆

[15]

L.Nemeth和S.Peyton Jones。热熔设计。程序中。函数语言实现国际研讨会，第381-393页，1998年。

[16]

Y.Onoue、Z.Hu、H.Iwasaki和M.Takeichi。验证程序融合的实际有效性（日语）。计算机软件，17（3）：81-852000。

[17]

S.Peyton Jones、A.Tolmach和T.Hoare。按规则行事：重写是GHC中的一种实用优化技术。程序中。ACM Haskell研讨会，2001年。

[18]

D.沙子。证明基于递归的自动程序转换的正确性。理论计算机科学，167（1-2）：193-2331996。

数字图书馆

[19]

T.Sheard和L.Fegaras。适合所有季节的褶皱。程序中。函数编程语言和计算机体系结构，第233-2421993页。

数字图书馆

[20]

SML#主页。http://www.riec.tohoku.ac.jp/smlsharp/, 2006.

[21]

J.斯文宁森。用于累积参数和zip-like函数的快捷融合。程序中。ACM函数编程国际会议，第124-132页，2002年。

数字图书馆

[22]

A.Takano和E.Meijer。计算形式的快捷砍伐。ACM/IFIP函数式编程语言和计算机体系结构会议，第306-3131995页。

数字图书馆

[23]

P.Wadler。森林砍伐：改变计划以消灭树木。理论计算机科学，73:231--2481990。第二届欧洲编程研讨会精选论文专刊。

数字图书馆

引用人

张X谢瑞（Xie R）郭GHe X公司赞·T胡Z(2024)将直接操作融入函数程序美国计算机学会程序设计语言会议录10.1145/36328838：POPL(1211-1238)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632883
丹维·O(2023)折叠左右事务：直接样式、累加器和延续函数编程杂志10.1017/S095679682200015633在线发布日期：2023年2月14日
https://doi.org/10.1017/S0956796822000156
丹佛O(2022)组合有限列表的龟兔算法程序设计语言与系统学报10.1145/356461945:1(1-35)在线发布日期：2022年9月26日
https://dl.acm.org/doi/10.1145/3564619
显示更多引用者

索引术语

定点提升轻量化融合
1. 软件及其工程
  1. 软件符号和工具
    1. 编译器
    2. 通用编程语言
      1. 语言特点
        递归
2. 计算理论
  1. 语义和推理
    1. 程序构造
      1. 项目计划

建议

定点提升轻量化融合
2007年POPL会议记录

本文提出了一种通用递归函数定义的轻量级融合方法。与现有的建议相比，我们的方法有几个重要的实际特点：它适用于一般代数数据类型上的一般递归函数；。。。
阅读更多信息
一些不动点定理的两个推广

本文的目的是推广Bogin[J.Bogin，Goebel，Kirk和Shimi，Canad.Math.Bull.19（1976）7-12]和Gregus[M.Gregus，…中的不动点定理。。。
阅读更多信息
FC-空间中模糊映射的连续选择定理和不动点定理
FSKD'09：第六届模糊系统和知识发现国际会议记录-第6卷

连续选择定理在数学和应用科学中出现的非线性问题中起着关键作用。Michael（1956）首先建立了一个著名的连续选择定理。Browder（1968）证明了连续选择定理。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

POPL'07：第34届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录

2007年1月

400页

国际标准图书编号：1595935754

内政部：10.1145/1190216

总主席：
马丁·霍夫曼
德国慕尼黑路德维希·马克西米利安斯大学
,
项目主席：
马提亚斯·费莱森
马萨诸塞州波士顿东北大学

ACM SIGPLAN通知第42卷第1期
2007年POPL会议记录
2007年1月
379页
国际标准编号：0362-1340
EISSN公司：1558-1160
内政部：10.1145/1190215
期刊目录

版权所有©2007 ACM。

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

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史记录

出版：2007年1月17日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

第条

会议

POPL07系列

赞助商：

POPL07：第34届ACM SIGPLAN-SIGACT编程语言原理年会

2007年1月17日至19日

法国尼斯

接受率

4130份提交文件的总体接受率为824份，20%

即将召开的会议

流行乐'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

42
引文总数
查看引文
492
总下载次数

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

其他指标

查看作者指标

引文

引用人

张X谢瑞（Xie R）郭GHe X公司赞·T胡Z(2024)将直接操作融入函数程序美国计算机学会程序设计语言会议录10.1145/36328838：POPL(1211-1238)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632883网址
丹维·O(2023)折叠左右事务：直接样式、累加器和延续函数编程杂志10.1017/S095679682200015633在线发布日期：2023年2月14日
https://doi.org/10.1017/S0956796822000156
丹佛O(2022)组合有限列表的龟兔算法程序设计语言与系统学报10.1145/356461945:1(1-35)在线发布日期：2022年9月26日
https://dl.acm.org/doi/10.1145/3564619
卡拉查利亚斯Koprivec F公司Pretnar M公司施里杰弗斯T(2021)代数效果处理程序的高效编译美国计算机学会程序设计语言会议录10.1145/34854795：OOPSLA公司(1-28)在线发布日期：2021年10月15日
https://dl.acm.org/doi/10.1145/3485479
魏G甲板JRompf T公司(2018)抽象抽象机器的功能化：弥合抽象抽象机器和抽象定义解释器之间的鸿沟（功能珍珠）美国计算机学会程序设计语言会议录10.1145/32368002：ICFP(1-28)在线发布日期：2018年7月30日
https://dl.acm.org/doi/10.1145/3236800
松田KAsada K公司舒尔茨大学亚洛普J(2017)UnCAL图形变换的函数重述：或将图形变换作为图形约简2017年ACM SIGPLAN部分评估和程序操作研讨会会议记录10.1145/3018882.3018883(71-82)在线发布日期：2017年1月2日
https://dl.acm.org/doi/10.1145/3018882.3018883
加西亚·佩雷斯诺盖拉·P谢尔盖一世下巴W黑格·J(2014)渐进型lambda演算的推导2014年ACM SIGPLAN部分评估和程序操作研讨会会议记录10.1145/2543728.2543742(157-168)在线发布日期：2014年1月11日
https://dl.acm.org/doi/10.1145/2543728.2543742
加藤HHIDAKA S公司胡Z内卡诺K伊斯哈拉Y(2014)上下文保护XQuery融合计算机科学中的数学结构10.1017/S096012951300008X号25:4(916-941)在线发布日期：2014年11月10日
https://doi.org/10.1017/S096012951300008X
丹佛OZerny一号佩尼亚R施里杰弗斯T(2013)呼叫需求评估的综合操作说明第十五届声明式编程原理与实践研讨会论文集10.1145/2505879.2505898(97-108)在线发布日期：2013年9月16日
https://dl.acm.org/doi/101145/2505879.2505898
加西亚·佩雷斯诺盖拉·P莫里诺·纳瓦罗J佩尼亚R施里杰弗斯T(2013)从正态序的小步操作语义导出全还原Krivine机第十五届声明式编程原理与实践研讨会论文集10.1145/2505879.2505887(85-96)在线发布日期：2013年9月16日
https://dl.acm.org/doi/10.1145/2505879.2505887
显示更多引用者

视图选项

获取访问权限

登录选项

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

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

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

电子阅读器

媒体

数字

其他

桌子