×
罗伯特·格莱克

多项式时间内的最大多元部分求值。 （英语） Zbl 1461.68055号

Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 130-148 (2016).
摘要：最大多元部分求值是程序专业化的一种策略，它传播尽可能准确的静态值。这里提出的在线部分求值器在部分求值配置数的时间多项式中实现了这种精度。这是一个显著的改进，因为传统的部分求值器可能需要指数时间，并且没有已知的快速算法可以实现最大多变量专门化。对于一类重要的拟确定性专门化问题，我们的算法在线性时间内执行，即使是将原始字符串匹配器线性时间专门化为线性时间匹配器，这也是Futamura长期面临的开放挑战。我们的结果是使用递归流程图语言给出的。
关于整个系列，请参见[Zbl 1347.68011号].

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68周27 在线算法；流式算法
68瓦40 算法分析

软件：

WSDFU公司
PDF格式BibTeX公司 XML格式引用
\textit{R.Glück}，莱克特。注释计算。科学。9609、130-148（2016年；Zbl 1461.68055）
全文： 内政部

参考文献：

[1] Ager，M.S.，Danvy，O.，Rohde，H.K.：字符串中模式匹配的快速部分评估。ACM TOPLAS 28（4），696–714（2006）·数字对象标识代码：10.1145/1146809.1146812
[2] Aho，A.V.、Hopcroft，J.E.、Ullman，J.D.：下推自动机语言的时间和磁带复杂性。信息控制13（3），186-206（1968）·Zbl 0257.68065号 ·doi:10.1016/S0019-9958（68）91087-5
[3] Aho，A.V.，Hopcroft，J.E.，Ullman，J.D.：计算机算法的设计与分析。Addison-Wesley，雷丁（1974）·Zbl 0326.68005号
[4] Alur，R.，Bouajjani，A.，Esparza，J.：模型检查程序程序。摘自：Clarke，E.M.，Henzinger，T.A.，Veith，H.（编辑）《模型检查手册》。斯普林格，海德堡（2016）·Zbl 1392.68226号
[5] Amtoft-Hansen，T.、Nikolaysen，T.，Träff，J.L.、Jones，N.D.：两种理论结构的实验。收录：Meyer，A.R.，Taitslin，M.A.（编辑）1989年博蒂克逻辑。LNCS，第363卷，第119-133页。斯普林格，海德堡（1989）·Zbl 0673.03035号 ·doi:10.1007/3-540-51237-3_11
[6] Bulyonkov，M.A.：分析器程序的多元混合计算。信息学报21（5），473-484（1984）·Zbl 0544.68005号 ·doi:10.1007/BF002171642
[7] Bulyonkov，M.A.：从多变量专精器中提取多变量结合时间分析。在：部分评估和程序操作，第59-65页。ACM（1993）·数字对象标识代码：10.1145/154630.154637
[8] Christensen，N.H.，Glück，R.：离线部分评估与在线部分评估一样准确。ACM TOPLAS 26（1），191-220（2004）·doi:10.1145/963778.963784
[9] Consel，C.，Danvy，O.：字符串中模式匹配的部分计算。信息处理。莱特。30(2), 79–86 (1989) ·doi:10.1016/0020-0190（89）90113-0
[10] Cook，S.A.：确定性双向下推自动机的线性时间模拟。收录人：Freiman，C.V.、Griffith，J.E.、Rosenfeld，J.L.（编辑）《信息处理》71，第75-80页。荷兰北部，阿姆斯特丹（1972年）·Zbl 0255.68015号
[11] Ershov，A.P.：关于部分计算原理。信息处理。莱特。6(2), 38–41 (1977) ·Zbl 0384.68006号 ·doi:10.1016/0020-0190（77）90078-3
[12] Futamura，Y.，Konishi，Z.，Glück，R.：通过广义部分计算自动生成有效的字符串匹配算法。摘自：亚洲部分评估和程序操作研讨会，第1-8页。ACM（2002）·Zbl 0994.68132号 ·doi:10.1145/568173.568174
[13] Futamura，Y.，Konishi，Z.，Glück，R.：基于广义部分计算的程序转换系统。新一代。计算。20（1），75–99（2002）·Zbl 0994.68132号 ·doi:10.1007/BF03037260
[14] Futamura，Y.，Nogi，K.：广义部分计算。收录于：比约纳·D、埃尔肖夫·A·P、琼斯·N·D（编辑）《部分评估和混合计算》，北荷兰，第133-151页（1988年）
[15] Glück，R.：递归流程图语言的自应用在线部分求值器。柔和。实际。经验42（6），649–673（2012）·doi:10.1002/spe.1086
[16] Glück，R.：双向下推自动机的一个实际模拟结果。作者：Han，Y.-S.，Salomaa，K.（编辑）《自动化的实现和应用》。LNCS，第9705卷。斯普林格，海德堡（2016）·Zbl 1475.68153号
[17] Glück，R.，Jörgensen，J.：为森林砍伐和超级编译生成变压器。收录：LeCharlier，B.（编辑）SAS 1994。LNCS，第864卷，第432–448页。斯普林格，海德堡（1994）·doi:10.1007/3-540-58485-4_57
[18] Glück，R.，Klimov，A.V.：元计算中的Occam剃刀：完美过程树的概念。收录人：Cousot，P.，Falaschi，M.，Filé，G.，Rauzy，A.（编辑）WSA 1993。LNCS，第724卷，第112-123页。斯普林格，海德堡（1993）·doi:10.1007/3-540-57264-3_34
[19] Gomard，C.K.，Jones，N.D.：通过部分评估生成编译器：案例研究。结构化程序。12(3), 123–144 (1991)
[20] Grune，D.，Jacobs，C.J.H.：分析技术：实用指南。计算机科学专著，第2版。施普林格，纽约（2008）·Zbl 1138.68022号 ·doi:10.1007/978-0-387-68954-8
[21] Hatcliff，J.：使用简单的流程图语言介绍在线和离线部分评估。收录人：Hatcliff，J.，Mogensen，T.Æ。，Thiemann，P.（编辑）《部分评估》1998年。LNCS，第1706卷，第20-82页。斯普林格，海德堡（1999）·doi:10.1007/3-540-47018-22
[22] Jones，N.D.：关于确定性双向下推自动机线性时间模拟的注释。信息处理。莱特。6(4), 110–112 (1977) ·Zbl 0375.68025号 ·doi:10.1016/0020-0190（77）90022-9
[23] Jones，N.D.：自动程序专业化：从基本原则重新审视。收录于：比约纳·D、埃尔肖夫·A·P、琼斯·N·D（编辑）《部分评估和混合计算》，北荷兰，第225-282页（1988年）
[24] Jones，N.D.，Gomard，C.K.，Sestoft，P.：部分评估和自动程序生成。普伦蒂斯·霍尔，恩格尔伍德悬崖（1993年）·Zbl 0875.68290号
[25] Knuth，D.E.、Morris，J.H.、Pratt，V.R.：字符串中的快速模式匹配。SIAM J.计算。6(2), 323–350 (1977) ·Zbl 0372.68005号 ·数字对象标识代码：10.1137/0206024
[26] 莫根森，T.Æ.：部分求值器的演变：删除继承的限制。收录：Danvy，O.，Glück，R.，Thiemann，P.（编辑）部分评估。LNCS，第1110卷，第303–321页。斯普林格，海德堡（1996）·doi:10.1007/3-540-61580-6_15
[27] Rytter，W.：双向下推自动机的模拟结果。信息处理。莱特。16(4), 199–202 (1983) ·Zbl 0511.68054号 ·doi:10.1016/0020-0190（83）90124-2
[28] Sörensen，M.H.，Glück，R.，Jones，N.D.：一个积极的超级编译器。J.功能。程序。6(6), 811–838 (1996) ·Zbl 0870.68040号 ·doi:10.1017/S09567968000002008
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。