第条

免费访问

推导等式的离线和在线算法

作者:

哈南萨米特,

拉维塞提作者信息和声明

POPL’78：第五届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

页158-170

https://doi.org/10.1145/512760.512777

出版:1978年1月1日出版历史

PDF格式电子阅读器

摘要

程序优化中经典的通用子表达式问题是相同子表达式的检测。假设我们有一些额外的信息，并且有一对表达式e_i1号机组=e_i2类必须具有相同的值和表达式f_j1公司≠f_j2公司必须具有不同的值。我们问，如果结果是h₁=小时₂，或h₁≠h₂这被称为有限表示代数的统一词问题，在理论证明和代码优化中有应用。我们证明了这样的问题可以在O（nlogn）时间内得到回答，其中n是所有相关表达式的图表示中的节点数。导出了一种检测公共子表达式的线性时间算法。讨论了在线处理等式、不等式和演绎的算法。

工具书类

[1]

{A} W.Ackermann，《决策问题的可解决案例》，北荷兰，阿姆斯特丹（1954）。

[2]

{AHU}A.V.Aho，J.E.Hopcroft，J.D.Ullman，《计算机算法的设计与分析》，艾迪森·韦斯利，马萨诸塞州雷丁，（1974）。

数字图书馆

[3]

{AU}A.V.Aho和J.D.Ullman，直线程序的优化，SIAM J.Computing 1，1（1972年3月）1-19。

[4]

{B} M.S.Breuer，通过因子分解为表达式生成最佳代码，CACM 12,6（1969年6月）333-340。

数字图书馆

[5]

{CLM}E.Cardoza，R.Lipton和A.R.Meyer，Petri网和交换半群的指数空间完备问题，Proc。ACM交响乐团（Ann.8 Ann.ACM Symp.）。《计算理论》，宾夕法尼亚州赫尔希（1976年5月）50-54页。

数字图书馆

[6]

{CS}约翰·科克（John Cock）和J.T.施瓦茨（J.T.Schwartz），《编程语言及其编译器初步注释》，第二修订版，纽约大学数学科学学院（Courant Institute of Mathematical Sciences），纽约（1970年4月）。

[7]

{Cu}Karel Culik，简单计算机无圈算法网复杂性理论中的组合问题，Aplikace Matematiky 16（1971）188-202。

[8]

{DS}P.J.Downey和Ravi Sethi，赋值命令和数组结构，Proc。年第17届计算机科学基础研讨会，（1976年10月）57-66。

[9]

{Go}D.I.Good，R.L.London和W.W.Bledsoe，交互式程序验证系统，IEEE Trans。关于软件工程SE-1（1975年3月）59-67。

[10]

{H} J.E.Hopcroft，《有限自动机中最小化状态的n log n算法》，载于Z.Kohavi和a.Paz（编辑）《机器与计算理论》，纽约学术出版社（1971）189-196年。

[11]

{HK}J.E.Hopcroft和R.M.Karp，测试有限自动机等价性的算法，TR-71-114，康奈尔大学计算机科学系（1971）；参见Aho等人（1974）143-145中的描述。

[12]

{Ki}J.C.King，《符号执行和程序测试》，C.ACM 19（1976年7月）385-394。

数字图书馆

[13]

{Kn}D.E.Knuth，《计算机编程的艺术：第3卷，排序和搜索》，艾迪森·卫斯理，读，马萨诸塞州（1973）。

数字图书馆

[14]

{KB}D.E.Knuth和P.B.Bendix，泛代数中的简单单词问题。J.Leech编辑，《抽象代数中的计算问题》，佩加蒙出版社，（1970年）。

[15]

{Ko1}D.Kozen，有限呈现代数的复杂性，Proc。第9届美国机械工程师协会研讨会。《计算理论》，Boulder，Co.（1977年5月）164-177。

数字图书馆

[16]

{Ko2}D.Kozen，自然证明系统的下限，Proc。第18届Ann.Symp。《计算机科学基础》（1977年10月），第254-266页。

[17]

{五十} D.S.Lankford，计算逻辑中的标准代数简化，西南大学数学系报告，德克萨斯州乔治敦（1975）。

[18]

{NO1}G.Nelson和D.Oppen，基于联合和查找的快速决策算法，Proc。安18号交响乐团。《计算机科学基础》（1977年10月），114-119。

数字图书馆

[19]

{NO2]G.Nelson和D.Oppen，程序操作的简化程序，本程序。

[20]

{PW}M.S.Paterson和M.N.Wegman，线性统一，Proc。ACM交响乐团（Ann.8 Ann.ACM Symp.）。《计算理论》，宾夕法尼亚州赫尔希（1976年5月）181-186。

数字图书馆

[21]

{Sa1}H.Samet，编译器测试过程的标准形式。交响乐团。《人工智能和编程语言》，纽约州罗切斯特市（1977年8月）。

数字图书馆

[22]

{Sa2}H.Samet，证明启发式优化代码的正确性，ACM的通信，即将出现。

数字图书馆

[23]

{Se1}Ravi Sethi，《Church Rosser地产测试》，JACM 21,4（1974年10月）671-679；errata JACM 22，3（1975年7月）424。

数字图书馆

[24]

{Se2}Ravi Sethi，《两个处理器上的调度图》，SIAM J.Computing 5，1（1976年3月）73-82。

[25]

{Sh}R.E.Shostak，关于等式推理的算法，Proc。交响乐团。关于人工智能和编程语言，SIGPLAN通告12（1977年8月），155-162。

[26]

{Tarj1}R.E.Tarjan，深度优先搜索和线性图算法，SIAM J.Computing 1,2（1972年6月）146-160。

[27]

{Tarj2}R.E.Tarjan，关于一种好的但不是线性的集合合并算法的效率，JACM 22，2（1975年4月）215-225。

数字图书馆

[28]

{Tarj3}R.E.Tarjan，私人通信。

[29]

{Tars}A.Tarski、A.Mostowski和R.M.Robinson，《不可判定的理论》，北霍兰德出版公司，阿姆斯特丹（1953）。

引用人

阿曼多A博纳西纳MRanise S公司舒尔茨S(2009)基于重写的可满足性过程的新结果ACM计算逻辑事务10.1145/1459010.145901410:1(1-51)在线发布日期：2009年1月23日
https://dl.acm.org/doi/10.1145/1459010.1459014
斯奈德W(2005)高效地面竣工重写技术与应用10.1007/3-540-51081-8_123(419-433)在线发布日期：2005年5月31日
https://doi.org/10.1007/3-540-51081-8_123
普拉特V(2005)公理或算法1979年计算机科学数学基础10.1007/3-540-09526-8_12(160-169)在线发布日期：2005年5月26日
https://doi.org/10.1007/3-540-09526-8_12
显示更多引用者

推导等式的离线和在线算法
1. 计算数学

建议

利用NCI-60细胞系基因表达谱进行基因功能分类

NCI 60个细胞系的基因表达模式用于训练神经网络模型，以将基因分类为通路。该模型为京都百科全书指定的21条模拟路径中的每一条指定了每个基因的概率。。。
行最大公共子图
逻辑性、双线规则和模式

本文从证明理论的角度研究模态逻辑的逻辑性问题。有人认为如果Dos？en对逻辑常数作为标点符号的分析，可以表明。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

POPL’78：第五届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

1978年1月

264页

国际标准图书编号：9781450373487

内政部：10.1145/512760

会议主席：
阿尔弗雷德·阿霍
新泽西州默里山贝尔实验室
,
斯蒂芬·N·齐尔斯
IBM，加利福尼亚州圣何塞
,
项目主席：
托马斯·希曼斯基
普林斯顿大学，新泽西州普林斯顿

版权所有©1978 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1978年1月1日

权限

请求对此文章的权限。

检查更新

限定符

第条

接受率

POPL’78论文接受率135份提交中的27份，20%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

流行乐'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

6
引文总数
查看引文
286
总下载次数

下载量（最近12个月）36
下载次数（最近6周）13

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

引用人

阿曼多A博纳西纳MRanise S公司舒尔茨S(2009)基于重写的可满足性过程的新结果ACM计算逻辑事务10.1145/1459010.145901410:1(1-51)在线发布日期：2009年1月23日
https://dl.acm.org/doi/101145/145910.1459014网址
斯奈德W(2005)高效地面竣工重写技术与应用10.1007/3-540-51081-8_123(419-433)在线发布日期：2005年5月31日
https://doi.org/10.1007/3-540-51081-8_123
普拉特V(2005)公理或算法1979年计算机科学数学基础10.1007/3-540-09526-8_12(160-169)在线发布日期：2005年5月26日
https://doi.org/10.1007/3-540-09526-8_12
霍夫曼C奥唐纳M(1982)树中的模式匹配美国医学会杂志10.1145/322290.32229529:1(68-95)在线发布日期：1982年1月1日
https://dl.acm.org/doi/10.1145/322290.322295
普拉特五世白色J利普顿RGoldberg P公司(1981)没有绑定的程序逻辑是可判定的第八届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录10.1145/567532.567550(159-163)在线发布日期：1981年1月26日
https://dl.acm.org/doi/10.1145/567532.567550
萨梅特H马库斯·L(1980)在相等数据库中清除信息处理信件10.1016/S0020-0190（80）90081-210:2(89-95)在线发布日期：1980年3月
https://doi.org/10.1016/S0020-0190(80)90081-2

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子