×
福村义彦;曾次郎科尼西;罗伯特·格莱克

基于广义部分计算的程序转换系统。 （英语） Zbl 0994.68132号

新一代计算。 20，第1期，75-99（2002）.
概要：广义部分计算（GPC）是一种程序转换方法，它利用有关输入数据的部分信息、辅助函数的抽象数据类型和源程序的逻辑结构。GPC使用推理机（如定理证明器）和经典的部分求值器来优化程序。因此，GPC比经典的部分求值器更强大，但更难实现和控制。我们实现了一个名为WSDFU（早稻田Simplify-Distribute-Fold-Unfold）的实验性GPC系统。本文论证了程序转换系统及其定理证明器的强大功能，并讨论了一些未来的工作。

引用于1文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

广义部分计算

软件：

WSDFU（WSDFU）;Refal公司
PDF格式BibTeX公司 XML格式引用
\textit{Y.Futamura}等人，《新一代计算》。20，第1号，75--99（2002；Zbl 0994.68132）
全文： 内政部

参考文献：

[1] Amtoft，T.、Consel，C.、Danvy，O.和Malmkjaer，K.，“字符串匹配程序的抽象和实例化”，《个人通信》，2001年5月·Zbl 1026.68508号
[2] Bird，R.S.，“通过引入递归改进程序”，通信。ACM 20，11，第856-863页，1977年·兹比尔0361.68023 ·doi:10.1145/359863.359889
[3] Boyer，R.S.和Moore，J.S.，“快速字符串搜索算法”，通信。ACM 20,10，第761-7721977页·Zbl 1219.68165号 ·doi:10.1145/359842.359859
[4] Burstall，R.M.和Darlington，J.A.，“开发递归程序的转换系统”，JACM，24，1，pp.44-671977·Zbl 0343.68014号 ·数字对象标识代码：10.1145/321992.321996
[5] 张庆良；李，理查德·查·通，赫伯兰德定理，45-69（1973）·Zbl 0263.68046号 ·doi:10.1016/B978-0-08-091728-3.50009-6
[6] Cormen，T.H.，Leiserson，C.E.和Rivest，R.L.，《算法导论》，麻省理工学院出版社，1990年·Zbl 1158.68538号
[7] 《程序》中的“部分评估”。《计算机科学1110讲稿》（Danvy，O.，Glück，R.和Thiemann，P.编辑）Springer-Verlag，1996年。
[8] Futamura，Y。；Nogi，K。；比约纳，D.（编辑）；Ershov，A.P.（编辑）；Jones，N.D.（编辑），广义部分计算，133-151（1988），阿姆斯特丹
[9] Futamura，Y.、Nogi，K.和Takano，A.，“广义部分计算的本质”，《理论计算机科学》，第90期，第61-79页，1991年·Zbl 0731.68074号 ·doi:10.1016/0304-3975（91）90299-H
[10] Futamura，Y.和Nogi，K.，基于广义部分计算的程序转换，5241678，美国专利，1993年8月31日。
[11] Futamura，Y.和Otani，H.，“线性递归程序的递归删除规则及其有效性”，《计算机软件》，JSSST 15，3，第38-49页，1998年。（日语）
[12] Futamura，Y.，“计算过程的部分评估-编译器的方法”，《高阶和符号计算》，第12、4页，第381-3911999页·Zbl 1009.68504号 ·doi:10.1023/A:101095604496
[13] Futamura，Y.，“重新审视计算过程的部分评估”，《高阶和符号计算》，第12、4页，第377-380页，1999年·Zbl 1050.68516号 ·doi:10.1023/A:101043619517
[14] Futamura，Y.、Konishi，Z.和Glück，R.，“基于广义部分计算的自动程序转换实验系统的实现”，第三届智能软件工程国际研讨会，爱尔兰利默里克，2000年6月·Zbl 1026.68510号
[15] Robert Glück；Klimov，Andrei V.，《元计算中的奥卡姆剃刀：完美过程树的概念》，112-123（1993），柏林，海德堡·doi:10.1007/3-540-57264-3_34
[16] Graham，R.L.，Knuth，D.E.和Patashnik，O.，《混凝土数学》，艾迪森·韦斯利出版社，1989年·Zbl 0668.00003号
[17] Hearn，A.C.，“REDUCE-代数系统开发中的一个案例研究”，《计算机科学讲义》，144年，柏林斯普林格-弗拉格出版社，1982年。
[18] Jones，N.D.，“部分评估简介”，《ACM计算调查》，第28、3页，第480-503页，1996年·数字对象标识代码：10.1145/243439.243447
[19] Konishi，Z.和Futamura，Y.，“广义部分计算（GPC）的定理证明系统和终止过程”，RIMS程序转换、符号计算和代数操作研讨会，第59-64页，1999年。（日语）
[20] Konishi，Z.和Futamura，Y.，“广义部分计算（GPC）上的递归去除”，in Proc。第十七届全国代表大会，C5-2，JSSST，2000年。（日语）
[21] Matsuya，M.和Futamura，Y.，“程序转换和代数操作”，RIMS程序转换、符号计算和代数操作研讨会，第115-122页，1999年。（日语）
[22] Pettorossi，A.和Proietti，M.，“转换功能和逻辑程序的规则和策略”，《ACM计算调查》，第28、2页，第360-414页，1996年·doi:10.1145/234528.234529
[23] Sørensen，M.H.，Glück，R.和Jones，N.D.，“一个正的超级编译器”，《函数编程杂志》，6，6，第811-8381996页·Zbl 0870.68040号 ·doi:10.1017/S09567968000002008
[24] Takano，A.、Nogi，K.和Futamura，Y.，“广义部分计算的终止条件”，《程序》。第七届全国会议，C8-1，JSSST，1990年。（日语）
[25] Turchin，V.F.，“超级编译器的概念”，ACM TOPLAS，8，3，第292-325页，1986年·兹比尔0598.68016 ·doi:10.1145/5956.5957
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。