奥利维尔·丹维;凯文·米利金 工作中的重新功能化。 (英语) Zbl 1192.68115号 科学。计算。程序。 74,第8期,534-549(2009). 小结:我们展示了雷诺兹非功能化的左逆,并展示了它与编程和编程语言的相关性。我们提出了两种方法来将几乎是非功能化形式的程序转换为实际是非功能性形式的程序,并用Dyck单词识别器和Dijkstra的分流算法对其进行了说明。 引用于9文件 MSC公司: 68号01 软件理论中的一般主题 关键词:非功能化;重新功能化;抽象机器;延续;连续传递样式;调车场算法 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{K.Millikin},科学。计算。程序。74,第8号,534--549(2009;Zbl 1192.68115) 全文: 内政部 参考文献: [1] M.S.Ager,字符串匹配器的部分评估和抽象机器的构造,博士论文,金砖国家,奥胡斯大学,2006年 [2] Ager,M.S。;Biernacki,D。;O.丹维。;Midtgaard,J.:评估器和抽象机器之间的函数通信,8-19(2003) [3] Ager,M.S。;O.丹维。;Midtgaard,J.:调用-需要计算器和惰性抽象机器之间的函数通信,Inform。过程。莱特。90,第5期,223-232(2004)·Zbl 1178.68249号 ·doi:10.1016/j.ipl.2004.02012 [4] Ager,M.S。;O.丹维。;Midtgaard,J.:具有计算效果的语言的一元计算器和抽象机器之间的函数对应关系,Theoret。计算。科学。342,第1期,149-172(2005)·Zbl 1077.68029号 ·doi:10.1016/j.tcs.2005.06.008 [5] Banerjee,A。;海因策,N。;Riecke,J.G.:基于控制流分析的程序转换的设计和正确性,Lect。计算机中的注释。科学。2215420-447(2001年)·Zbl 1087.68540号 [6] 贝尔,J.M。;贝尔加德,F。;胡克,J.:类型驱动的非功能化,25-37(1997)·Zbl 1369.68087号 [7] 比尔纳卡,M。;Biernacki,D。;Danvy,O.:CPS层次结构中分隔连续的操作基础,逻辑方法计算。科学。2005年第1号第2条·兹比尔1125.68050 ·doi:10.2168/LMCS-1(2:5)2005年 [8] 比尔纳卡,M。;Danvy,O.:环境机器的具体框架,ACM trans。计算。《逻辑9》,第1期(2007年)·Zbl 1111.68065号 [9] 比尔纳卡,M。;Danvy,O.:上下文敏感计算和抽象机器之间的句法对应,Theoret。计算。科学。375,编号1-3,76-108(2007)·Zbl 1111.68065号 ·doi:10.1016/j.tcs.2006.12.028 [10] D.Biernacki,《带分隔连续符的编程语言的理论与实践》,博士论文,金砖国家,奥胡斯大学,2005年 [11] Biernacki,D。;Danvy,O.:通过非功能化从解释器到逻辑引擎,Lect。计算机中的注释。科学。3018, 143-159 (2004) ·Zbl 1099.68546号 ·数字对象标识代码:10.1007/b98080 [12] D.Biernacki,O.Danvy,K.Millikin,《动态定界连续的动态连续传递样式》,ACM Trans。程序。语言系统。(已接受) [13] Biernacki,D。;O.丹维。;Shan,C.:《关于定界连续体的静态和动态范围》,《科学》。计算。程序。60,第3期,274-297(2006)·Zbl 1101.68442号 ·doi:10.1016/j.scico.2006.01.002 [14] A.Bondorf,自适用部分评估,博士论文,DIKU Rapport 90/17,哥本哈根大学计算机科学系,1990年 [15] U.Boquist,《惰性函数语言的代码优化技术》,查尔默斯理工大学和哥德堡大学计算科学系博士论文,1999年 [16] Burge,W.H.:递归编程技术(1975)·Zbl 0321.68002号 [17] Cejtin,H。;Jagannathan,S。;Weeks,S.:类型语言的流导向闭包转换,Lect。计算机中的注释。科学。1782, 56-71 (2000) ·Zbl 0971.68600号 [18] 克莱门茨,J。;Felleisen,M.:堆栈检查的尾部递归语义,ACM trans。程序。语言系统。26,第6期,1029-1052(2004) [19] 克林格·W。;弗里德曼,D.P。;Wand,M.:高级语义代数的方案,语义学中的代数方法,237-250(1985)·Zbl 0609.68014号 [20] Consel,C.:分裂之旅:高阶应用语言的部分评估系统,145-154(1993) [21] Crégut,P.:克里文抽象机的强还原变体,高阶符号。计算。20,第3号,209-230(2007)·兹比尔1130.68052 ·doi:10.1007/s10990-007-9015-z [22] Curien,P.-L.:分类组合子、序列算法和函数编程,《理论计算机科学进展》(1993)·Zbl 0814.68085号 [23] 丹维:回到直接风格,科学。计算。程序。22,第3期,183-195(1994)·Zbl 0808.68051号 ·doi:10.1016/0167-6423(94)00003-4 [24] Danvy,O.:对landin的SECD机器的理性解构,Lect。计算机中的注释。科学。3474, 52-71 (2005) ·Zbl 1119.68330号 ·doi:10.1007/11431664_4 [25] O.Danvy,将程序作为数据对象的分析方法,奥胡斯大学计算机科学系DSc论文,2006年 [26] O.丹维。;Dzafic,B。;Pfenning,F.:关于证明CPS程序的语法属性,Electron。理论上的注释。计算。科学。26,21-33(1999年)·Zbl 0958.68022号 [27] O.丹维。;Filinski,A.:抽象控制,151-160(1990) [28] O.丹维。;Filinski,A.:代表控制,CPS变换研究,数学。结构。计算。科学。2,第4期,361-391(1992)·Zbl 0798.68102号 ·doi:10.1017/S0960129500001535 [29] O.丹维。;戈德伯格(Goldberg,M.):基金会。通知。66,第4期,397-413(2005)·Zbl 1098.68021号 [30] O.丹维。;Lawall,J.L.:《回到直接风格II:一级续集》,299-310(1992) [31] O.丹维。;Millikin,K.:对landin的J算子的理性解构,逻辑方法计算。科学。2008年第4号第4条·Zbl 1161.68012号 [32] O.丹维。;尼尔森,L.R.:《工作中的失能》,162-174(2001) [33] O.丹维。;Nielsen,L.R.:重新聚焦于约简语义,研究报告BRICS RS-04-26,DAIMI,奥胡斯大学计算机科学系,2004,电子。理论上的注释。计算。科学。59,第4期,358-374(2001) [34] O.丹维。;舒尔茨,U.P.:二次时间中的Lambda-lifting,J.funct。逻辑程序(2004)·Zbl 1084.68516号 [35] E.W.Dijkstra,反对GO TO声明的案件,EWD 2151968,在线阅读:http://www.cs.utexas.edu/users/EWD/ ·Zbl 0167.46002号 [36] Dijkstra,E.W.:进入被认为有害的声明,Commun。ACM 11,第3号,147-148(1968) [37] E.W.Dijkstra,《来自我的生活》,EWD 11661993,在线阅读:http://www.cs.utexas.edu/users/EWD/ [38] Dutchyn,C.J.:《专业化延续:动态连接点模型》,ACM int.Conf.prc。206、45-57系列(2007年) [39] Felleisen,M.:关于landin的J操作符的思考:部分历史注释,计算。lang.12,第3-4期,197-207(1987)·Zbl 0628.68008号 ·doi:10.1016/0096-0551(87)90022-1 [40] Felleisen,M.:一级提示的理论与实践,180-190(1988) [41] Felleisen,M。;Friedman,D.P.:控制操作符、SECD机器和({\lambda})演算,编程概念的形式化描述III,193-217(1987) [42] Filliâtre,J.-C.(菲力)。;Pottier,F.:生成森林的所有理想,功能上,J.funct。编程13,第5期,945-956(2003)·Zbl 1110.68359号 ·网址:10.1017/S0956796803004763 [43] Floyd,R.W.:《句法分析和运算符优先性》,J.ACM 10,第3期,316-333(1963)·Zbl 0133.25504号 ·doi:10.1145/321172.321179 [44] Graunke,P.T。;芬德勒,R.B。;克里希纳穆尔西,S。;Felleisen,M.:自动重组网络程序,Autom。柔软。Eng.11,No.4,337-364(2004) [45] 格雷戈里,B。;Leroy,X.:大幅度削减的汇编实施,235-246(2002)·Zbl 1322.68053号 [46] Harper,R.:证明定向调试,J.funct。编程9,第4期,463-469(1999)·Zbl 0948.68038号 ·doi:10.1017/S0956796899003378 [47] 亨德森,P。;Jr.,J.H.Morris:懒惰的评估者,95-103(1976) [48] Hughes,J.:列表的新表示及其在函数反转中的应用,Inform。过程。莱特。22,第3期,141-144(1986) [49] Johnsson,T.:Lambda提升:将程序转换为递归方程,Lect。计算机中的注释。科学。201, 190-203 (1985) ·Zbl 0568.68013号 [50] Kluge,W.E.:抽象计算机器:lambda微积分观点,理论计算机科学中的文本:EATCS系列(2005)·兹比尔1075.68003 [51] Lescanne,P.:从({\lambda}{\sigma})到({\lambda})v显式替换计算之旅,60-69(1994) [52] Mccarthy,J.:另一个同样的边缘,SIGART通讯61(1977) [53] J.Midtgaard,《高阶程序程序的转换、分析和解释》,博士论文,金砖国家,奥胡斯大学,2007年 [54] K.Millikin,《计算机程序转换、规范化和执行的结构化方法》,博士论文,金砖国家,奥胡斯大学,2007年 [55] J.Munk,《句法和语义伪影及其在lambda可定义性、强规范化和弱规范化中的应用研究》,奥胡斯大学计算机科学系硕士论文,2007年 [56] L.R.Nielsen,非功能化的指称性调查,研究报告BRICS RS-00-47,奥胡斯大学计算机科学系,2000年 [57] Plotkin,G.D.:Call-by-name,Call-by-value和\({\lambda}\)-演算,理论。计算。科学。1, 125-159 (1975) ·Zbl 0325.68006号 ·doi:10.1016/0304-3975(75)90017-1 [58] Pottier,F。;Gauthier,N.:多态型去功能化和具体化,高阶符号。计算。19,第1期,125-162(2006)·Zbl 1105.68018号 ·doi:10.1007/s10990-006-8611-7 [59] Reynolds,J.C.:高阶编程语言的定义解释器,717-740(1972) [60] Reynolds,J.C.:《延续的发现》,Lisp symb。计算。6,第3–4号,233-247(1993) [61] 雷诺兹,J.C.:重访定义口译员,高阶符号。计算。11,第4期,355-361(1998)·兹比尔0934.68033 ·doi:10.1023/A:101007532053 [62] Reynolds,J.C.:编程语言理论(1998)·Zbl 0972.68507号 [63] Schmidt,D.A.:lambda演算表达式的状态转移机,Lect。计算机中的注释。科学。94 (1980) ·Zbl 1130.68040号 [64] Schmidt,D.A.:lambda-calculus表达式的状态转换机器,高阶符号。计算。20,第3号,319-332(2007)·Zbl 1130.68040号 ·doi:10.1007/s10990-007-9012-2 [65] Schmidt,D.A.:状态转换机器,重温,高阶符号。计算。20,第3号,333-335(2007)·Zbl 1129.68411号 ·doi:10.1007/s10990-007-9017-x [66] O.Shivers,高阶语言或驯化lambda的控制流分析,博士论文,技术报告CMU-CS-91-145,卡内基梅隆大学计算机科学学院,宾夕法尼亚州匹兹堡,1991年 [67] G.L.Steele Jr.,Rabbit:Scheme编译器,硕士论文,技术报告AI-TR-474,马萨诸塞州剑桥市麻省理工学院人工智能实验室,1978年 [68] 托尔马赫,A.P。;Oliva,D.P.:从ML到ada:通过源代码翻译实现的强类型语言互操作性,J.funct。编程8,编号4,367-412(1998)·Zbl 0917.68038号 ·doi:10.1017/S0956796898003086 [69] Wadsworth,C.P.:《一些不寻常的({\lambda})-演算数字方案》,致H.B.Curry:关于组合逻辑、lambda演算和形式主义的论文,215-230(1980) [70] Warren,D.H.D.:PROLOG的高阶扩展:是否需要?,机器智能10,441-454(1982) [71] Yi,K.:针对一阶版本J.funct,重温了“Proof-directed debugging”。编程16,No.6,663-670(2006)·Zbl 1107.68427号 ·doi:10.1017/S0956796806006149 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。