×
雅克·卡雷特;库切拉，迈克尔

枫叶的部分评估。 （英语） Zbl 1215.68277号

科学。计算。程序。 76，第6号，469-491（2011）.
小结：在确信部分求值的潜在好处之后，我们希望将这些技术应用于用Maple（我们选择的计算机代数系统）编写的代码。Maple是一种非常庞大的语言，具有许多非标准功能。当我们试图为其实现部分评估器时，我们遇到了一些在文献中找不到解决方案的困难。我们毫不气馁地坚持了下来，并最终实现了一个有效的部分评估器，通过它我们能够非常成功地进行实验，首先是小代码，现在是从Maple自己的库中提取的实际例程。在这里，我们记录了为实现这些结果而必须发明或调整的技术。

引用于2文件

MSC公司：

68瓦30 符号计算和代数计算
68甲15 编程语言理论

关键词：

枫树;符号计算;部分评估;剩余定理

软件：

枫树;幼儿保育和教育
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{M.Kucera}，科学。计算。程序。76，No.6，469--491（2011；Zbl 1215.68277）
全文： 内政部

参考文献：

[1] Carette，J.：高斯消去：metaocaml有效泛型的案例研究，《计算机编程科学》62，第1期，3-24（2006）·Zbl 1100.68130号 ·doi:10.1016/j.scico.2005.10.012
[2] J.Carette，O.Kiselyov，《使用functor和monad的多级编程：消除泛型代码的抽象开销》，载于：GPCE，2005年，第256-274页·Zbl 1215.68059号
[3] C.Anand，J.Carette，A.Korobkine，采用Maple代码生成的目标识别算法，载于：Maple Summer Workshop，2004年，13页。
[4] C.K.Anand，J.Carette，A.Curtis，D.Miller，《COG-PETS：时间序列中参数估计的代码生成》，载于：Maple Conference 2005 Proceedings，Maplesoft，2005年，第198–212页·Zbl 1344.65017号
[5] M.Kucera，J.Carette，计算机代数中的部分求值和剩余定理，收录于：Ranise和Bigatti[34]，14页·Zbl 1215.68277号
[6] M.Kucera，枫树项目的部分评估，硕士论文，麦克马斯特大学，2006年5月。
[7] 琼斯，N.D。；Gomard，C.K。；Sestoft，P.：部分评估和自动程序生成（1993）·Zbl 0875.68290号
[8] Elphick，D。；Leuschel，M。；Cox，S.：Matlab的部分评估，344-363（2003）
[9] 苏米，E。；小林，N.：《动态类型语言的在线类型定向部分评估》，《计算机软件》，岩手县，日本17，第3期，38-62（2000）
[10] 苏米，E。；Kobayashi，N.：在线和离线部分评估的混合方法，高阶和符号计算14，第2–3号，101-142（2001）·Zbl 0994.68037号 ·doi:10.1023/A:1012984529382
[11] P.Thiemann，《六行Cogen》，摘自：Proc。ACM SIGPLAN功能编程国际会议，1996年，第180–189页·Zbl 1345.68077号
[12] P.Thiemann，D.Dussart，带状态的高阶语言的部分评估，可从第一作者的网页获得，1999年7月。
[13] J.Carette，S.Forrest，《采矿合同的枫树代码》，收录于：Ranise和Bigatti[34]。14页。
[14] S.Forrest，枫树的属性推断：抽象解释的应用，硕士论文，麦克马斯特大学，2007年9月。
[15] 穆瑟，D.R。；Stepanov，A.A.：通用编程，计算机科学课堂讲稿358，13-25（1989）
[16] 格伦茨，D。；莫纳根，M.：高斯简介，SIGSAM公告，计算机代数通信28，第2期，第3-19页（1994）
[17] P.Thiemann，《PGG系统-用户手册》，2000年3月。
[18] J.Carette，M.Kucera，枫树的部分评估，载于：ACM SIGPLAN 2007部分评估和程序操作研讨会，2007年，第41-50页。
[19] 莫纳根，M.B。；Geddes，K.O。；Heal，K.M。；拉巴恩，G。；Vorkoetter，S.M。；Mccarron，J。；Demarco，P.：Maple 10高级编程指南（2005）
[20] Appel，A.W.：ML中的现代编译器实现，（1998）·Zbl 0888.68035号
[21] Stoutemeyer，D.：计算机交易中的犯罪和轻罪，AMS通告，701-785（1991）
[22] L.O.Andersen，C程序专业化，哥本哈根大学DIKU技术代表，1992年5月。
[24] Schreye，D.D。；吕克，R。；Jörgensen，J。；Leuschel，M。；马滕斯，B。；Sörensen，M.H.：《合取部分演绎：基础、控制、算法和实验》的勘误表，《逻辑编程杂志》第43期，第3期，第265页（2000年）·Zbl 0944.68025号
[25] Leuschel，M。；Bruynooghe，M.：《通过部分演绎实现逻辑程序专业化：控制问题》，第2期，第4-5期，461-515页（2002年）·Zbl 1105.68331号 ·文件编号：10.1017/S147106840200145X
[26] 瑟伦森，M.H。；吕克，R。；Jones，N.D.：一个积极的超级编译器，《函数编程杂志》6，第6期，811-838（1996）·Zbl 0870.68040号 ·doi:10.1017/S09567968000002008
[27] E.Albert，M.Hanus，G.Vidal，《多参数声明语言的实用部分评估方案》，《函数与逻辑编程杂志》，2002年·Zbl 1037.68011号
[28] Andersen，L.O.：C语言的部分评估和自动编译器生成（扩展摘要），计算机科学课堂讲稿641251-257（1992）
[29] L.O.Andersen，绑定时间分析和c指针的驯化，收录于：PEPM，1993年，第47-58页。
[30] 新罕布什尔州克里斯滕森。；Glück，R.：离线部分评估可以与在线部分评估一样准确，《编程语言和系统的ACM事务》26，第1期，191-220（2004）
[31] Ballarin，C。；Kauers，M.：求解参数线性系统：约束代数编程实验，SIGSAM公告38，第2期，33-46（2004）·Zbl 1341.68310号
[32] S.Lo，M.Monagan，R.Pearce，泛型线性代数和商环，收录于：Maple Conference 2006 Proceedings，2006年，第179-188页，ISBN 1-897310-13-7·Zbl 1107.65030号
[34] ，《理论计算机科学电子笔记》（2006）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。