×
贝尼亚米·阿卡托利;克劳迪奥·萨塞尔多蒂·科恩

关于变量的值。 （英语） Zbl 1372.68055号

Inf.计算。 255，第2部分，224-242（2017）.
摘要：Call-by-value和Call-by-need\（\lambda\）-calculi是使用不同的值语法类别定义的。在理论研究中，价值是变量和抽象。在更实际的工作中，值通常被简单地定义为抽象。本文表明，一旦实现的通常假设成立（术语闭合，约简不进行抽象，替换是在微观步骤中进行的，每次替换一个变量），实用值将导致更有效的替换过程，无论是按值调用还是按需调用。也就是说，替换步长的数量与（β）-键的数量成线性关系，而理论值仅提供二次界。我们通过显示相同的二次/线性边界也适用于按名称调用的理论/实践版本来完成这幅图。

引用于1文件

MSC公司：

68甲18 函数编程和lambda演算

关键词：

\（\lambda\）-微积分;函数式编程语言的实现;显式替换;成本模型
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}和\textit{C.Sacerdoti-Coen}，Inf.Comput。255，第2部分，224--242（2017；Zbl 1372.68055）
全文： 内政部 哈尔

参考文献：

[1] Accattoli，B.，显式替换的抽象因式分解定理，（第23届重写技术和应用国际会议（RTA’12）。第23届改写技术与应用国际会议（RTA’12），2012年5月28日至6月2日，日本名古屋（2012），6-21·Zbl 1437.68038号
[2] Accattoli，B.，《证明网络和按调用值lambda-calculus》，（逻辑和语义框架与应用程序第七次研讨会论文集。逻辑和语义架构与应用程序的第七次会议论文集，2012年LSFA，巴西里约热内卢，2012年9月29日至30日（2012）），11-26·Zbl 1464.68051号
[3] Accattoli，B.，《评估作为过程的功能》，（《第七届术语和图形计算国际研讨会论文集》，《第七期术语和图表计算国际研讨会文献集》，2013年3月23日，意大利罗马（2013）），41-55·Zbl 1464.68219号
[4] 阿卡托利，B。；巴伦鲍姆，P。；Mazza，D.，提取抽象机器，（第19届ACM SIGPLAN函数编程国际会议论文集。第19届AC M SIGPLAN函数编程国际大会论文集，2014年9月1日至3日，瑞典哥德堡（2014）），363-376·Zbl 1345.68036号
[5] 阿卡托利，B。；Bonelli，E。；Kesner，D。；Lombardi，C.，非标准化定理，（第41届ACM SIGPLAN-SIGCT编程语言原理年度研讨会。第41届ACM SIGPLAN-SIGCT编程语言原理年度研讨会，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月20日至21日（2014）），659-670·Zbl 1284.68121号
[6] 阿卡托利，B。；Dal Lago，U.，《关于降低水头的单一成本模型的不变性》，（第23届改写技术和应用国际会议（RTA’12）。第23届改写技术与应用国际会议（RTA’12），2012年5月28日至6月2日，日本名古屋（2012），22-37·Zbl 1437.68039号
[7] 阿卡托利，B。；Dal Lago，U.，Beta约简确实是不变的（第二十届EACSL计算机科学逻辑年会（CSL）联合会议和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）。2014年7月14日至18日（2014年），第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM/IEEE计算机科学逻辑研讨会（LICS）联合会议，CSL-LICS’14，奥地利维也纳·Zbl 1394.03020号
[8] 阿卡托利，B。；Guerreri，G.，《实施开放式call-by-value》（2016年），第七届IPM软件工程基础国际会议（FSEN 2017）接受出版·Zbl 1483.68063号
[9] 阿卡托利，B。；Sacerdoti Coen，C.，关于变量的价值，（《逻辑、语言、信息和计算学报》-第21届国际研讨会。《逻辑、语言、信息和计算学报》-第21届国际研讨会，WoLLIC 2014，智利瓦尔帕莱索，2014年9月1-4日（2014）），36-50·Zbl 1372.68054号
[10] 阿卡托利，B。；Sacerdoti Coen，C.，《关于火球的相对有用性》，（第30届ACM/IEEE计算机科学中的逻辑研讨会，2015年7月6日至10日，日本京都，2015年），141-155·Zbl 1394.68058号
[11] 阿里奥拉，Z.M。；Felleisen，M.，《随需调用的lambda演算》，J.Funct。程序。，7, 3, 265-301 (1997) ·兹比尔0887.68007
[12] Chang，S。；Felleisen，M.，call-b-need lambda演算，重温，（《编程语言和系统会议录——第21届欧洲编程研讨会》。《编程语言与系统会议录》——第21次欧洲编程研讨会，2012年ESOP，作为欧洲软件理论与实践联合会议的一部分，2012年3月24日至4月1日，爱沙尼亚塔林，ETAPS 2012（2012））， 128-147 ·Zbl 1352.68040号
[13] 曲柄，E。；Felleisen，M.，《参数传递与lambda演算》，（第十八届美国计算机学会编程语言原理研讨会会议记录，第十八届全美计算机学会程序语言原理研讨会，1991年1月21日至23日，美国佛罗里达州奥兰多市，1991年），233-244
[14] 美国达拉戈。；Martini，S.，《关于构造函数重写系统和lambda-calculus》，（第36届国际学术讨论会《自动机学报》，语言与编程，第二部分。《自动机汇编》，语言和编程，第36届世界学术讨论会，第二部分，ICALP 2009，希腊罗德斯，2009年7月5日至12日（2009）），163-174·Zbl 1248.68275号
[15] Danos，V。；Regnier，L.，《压头线性减少》（2004），技术代表。
[16] O.丹维。；Zerny，I.，《呼叫需求评估的综合操作说明》，（第15届声明性编程原则与实践国际研讨会，第15届国际声明性编程原理与实践研讨会，2013年9月16日至18日，西班牙马德里，2013年），97-108
[17] 弗里德曼，D.P。；Ghuloum，A。；Siek，J.G。；O.L.Winebarger，《改进懒惰的克里文机器》，High-订购符号。计算。，20, 3, 271-293 (2007) ·Zbl 1130.68055号
[18] Girard，J.-Y.，《线性逻辑》，Theor。计算。科学。，50, 1-102 (1987) ·Zbl 0625.03037号
[19] Kesner，D.，通过类型推理呼叫需求， （软件科学和计算结构基础会议记录——第19届国际会议。软件科学和计算机结构基础会议纪录——第19次国际会议，FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2016，Eindhoven，the Ne瑟兰，2016年4月2-8日（2016年）），424-441·Zbl 1475.68064号
[20] Landin，P.J.，表达式的力学评估，计算。J.，6，4，308-320（1964年1月）·Zbl 0122.36106号
[21] Launchbury，J.，懒惰评估的自然语义，（第二十届ACM SIGPLAN-SIGCT编程语言原理年度研讨会会议记录。第二十届ACM SIGPLAN-SIGCT编程语言原理年度研讨会会议记录，美国南卡罗来纳州查尔斯顿，1993年1月（1993年）），144-154
[22] Maraist，J。；Odersky，M。；Wadler，P.，《呼叫者需要的lambda演算》，J.Funct。程序。，8, 3, 275-317 (1998) ·Zbl 0918.03019号
[23] Milner，R.，局部双图与合流：两个猜想，电子。注释Theor。计算。科学。，175，3，65-73（2007年）·Zbl 1277.68197号
[24] 莫兰，A。；Sands，D.，《惰性环境下的改进：呼叫需求的操作理论》，（POPL’99，第26届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'99，第二十六届ACM SI GPLAN-SI GACT编程编程语言原理会议论文集，美国德克萨斯州圣安东尼奥，1999年1月20日至22日（1999）），43-56
[25] Pfenning，F。；Simmons，R.J.，《作为有序逻辑编程的子结构操作语义》，（第24届IEEE计算机科学逻辑研讨会论文集。第24届计算机科学逻辑IEEE研讨会论文集，2009年8月11日至14日，美国加利福尼亚州洛杉矶（2009）），101-110
[26] Pierce，B.C.，《类型和编程语言》（2002），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥，美国·兹比尔0995.68018
[27] Plotkin，G.D.，Call-by-name，Call-by-value和lambda-calculus，Theor。计算。科学。，1, 2, 125-159 (1975) ·Zbl 0325.68006号
[28] Ronchi Della Rocca，S。；Paolini，L.，《参数微积分》（The Parametric\（λ\）-Calculus）（2004），施普林格-柏林-海德堡出版社·Zbl 1082.68015号
[29] Sands，D。；古斯塔夫森，J。；Moran，A.，Lambda calculi and linear speedups，（计算、复杂性、分析、转换的本质。献给Neil D.Jones的文章[在他60岁生日之际]（2002）），60-84·Zbl 1026.68020号
[30] Sestoft，P.，《派生懒惰的抽象机器》，J.Funct。程序。，7, 3, 231-264 (1997) ·兹伯利0881.68049
[31] Wadsworth，C.P.，《一些不寻常的（λ）微积分数字系统》，（Seldin，J.；Hindley，J.，To H.B.Curry：《组合逻辑论文》，Lambda微积分和形式主义（1980），学术出版社），215-230
[32] Wand，M.，关于Krivine机器的正确性，High-订购符号。计算。，20, 3, 231-235 (2007) ·Zbl 1130.68060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。