跳到主要内容
文章
免费访问

指派动议的力量

作者信息和声明
出版:1995年6月1日出版历史
跳过抽象节

摘要

分配动议(AM)表情动作(EM)是从程序中删除部分冗余代码的强大且乍一看无与伦比的技术的基础。虽然AM的目标是消除完整的赋值,这是一种总是可取的转换,但更灵活的EM需要临时性来消除部分冗余。基于一个简单的程序转换增强AM以包含EM的观察结果,我们开发了一种算法,首次捕获AM和EM转换之间的所有二阶效应。在通常的结构限制下,我们算法的最坏情况时间复杂度本质上是二次的,这一事实说明了我们实现的前景。

工具书类

  1. 1A.V.Aho、R.Sethi和J.D.Ullman。编译器:原理、技术和工具。艾迪生-卫斯理,1985年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. 2P.Briggs和K.D.Cooper。有效消除部分冗余。程序中。CM 5'IG-PLAN编程语言设计与实现会议'9J,《CM SIGPLAN通知》第29,6卷,第159-170页,佛罗里达州奥兰多,1994年6月。谷歌学者谷歌学者数字图书馆数字图书馆
  3. 3R.Cytron、A.Lowry和F.K.Zadeck。高级语言中控制结构的代码运动。1986年1月,佛罗里达州圣彼得堡,第70-85页,第13届ACM编程语言原理研讨会会议记录。谷歌学者谷歌学者数字图书馆数字图书馆
  4. 4D.M.Dhamdhere博士。代码移动优化的快速算法。CM-SIGPLAN通告,23(10):172-1801988。谷歌学者谷歌学者数字图书馆数字图书馆
  5. 5D.M.Dhamdhere博士。使用代码放置技术进行寄存器分配。计算机语言杂志,13(2):75-931988。谷歌学者谷歌学者数字图书馆数字图书馆
  6. 6D.M.Dhamdhere。使用加载和存储指令的边缘位置进行寄存器分配的通常线性算法。计算机语言杂志,15(2):83-941990。谷歌学者谷歌学者数字图书馆数字图书馆
  7. 7D.M.Dhamdhere。Morel和Renvoise全局优化算法的实际改编。编程语言和系统的CM汇刊,13(2):291-2941991。技术通信。谷歌学者谷歌学者数字图书馆数字图书馆
  8. 8D.M.Dhamdhere和H.Patil。使用边缘放置的双向数据流问题的消除算法。编程语言和系统的CM汇刊,15(2):312-3361993年4月。谷歌学者谷歌学者数字图书馆数字图书馆
  9. 9D.M.Dhamdhere、B.K.Rosen和F.K.Zadeck。如何高效、信息化地分析大型程序。程序中。92年CM-EltYPLAN编程语言设计与实现会议,CM$IGPLAN通告第27、7卷,第212-223页,加利福尼亚州旧金山,1992年6月,谷歌学者谷歌学者数字图书馆数字图书馆
  10. 10K.-H.Drechsler和M.P.Stadel。用Morel和Renvoise的“通过抑制部分冗余进行全局优化”解决问题。编程语言和系统的CM事务,10(4):635-6401988。技术通信。谷歌学者谷歌学者数字图书馆数字图书馆
  11. 11K.-H.Drechsler和M.P.Stadel。Knoop、Rfithing和Steffen的惰性代码运动的变体。ACM SIGPLAN通知,28(5):29-381993年。谷歌学者谷歌学者数字图书馆数字图书馆
  12. 12L.Feigen、D.Klappholz、R.Casazza和X.Xue。复兴转型。1994年1月,俄勒冈州波特兰,第21届CM编程语言原理研讨会会议记录,第421-434页。谷歌学者谷歌学者数字图书馆数字图书馆
  13. 13M.S.Hecht先生。计算机程序流分析。Elsevier,北荷兰人,1977年。谷歌学者谷歌学者数字图书馆数字图书馆
  14. 14J.B.Kam和J.D.Ullman。全球数据流分析和迭代算法。美国医学会杂志,23(1):158-1711976。谷歌学者谷歌学者数字图书馆数字图书馆
  15. 15肯尼迪。应用于数据流分析的节点列表。1975年,加利福尼亚州帕洛阿尔托市,第10-21页,《编程语言原理研讨会会议纪要》(Conf.Record of the gad A CM Symposium on the Principles of Programming Languages)。谷歌学者谷歌学者数字图书馆数字图书馆
  16. 16J.Knoop、O.Riithing和B.Steffen。懒惰的代码运动。程序中。1992年6月,《CM SIGPLAN通知》第27,7卷,第224-234页,加利福尼亚州旧金山。谷歌学者谷歌学者数字图书馆数字图书馆
  17. 17J.Knoop、O.Rfithing和B.Steffen。懒惰的力量减少。程序设计语言杂志,1(1):71-911993。谷歌学者谷歌学者
  18. 18J.Knoop、O.Riithing和B.Steffen。最佳代码运动:理论与实践。编程语言和系统的CM汇刊,16(4):1117-11551994。谷歌学者谷歌学者数字图书馆数字图书馆
  19. 19J.Knoop、O.Riithing和B.Steffen。部分死代码消除。程序中。CM SIGPLAN编程语言设计与实现会议,《CM SIGPLAN通知》第29卷第6页,第147-158页,佛罗里达州奥兰多,1994年6月。谷歌学者谷歌学者数字图书馆数字图书馆
  20. 20E.Morel和C.Renvoise。通过抑制部分冗余实现全局优化。A CM通讯,22(2):96-1031979。谷歌学者谷歌学者数字图书馆数字图书馆
  21. 21R.E.Tarjan。路径压缩在平衡树上的应用。美国医学杂志,26(4):690-7151979。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 指派动议的力量

        建议

        评论

        登录选项

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

        登录

        完全访问权限

        • 发布于

          封面图片ACM SIGPLAN注意事项
          ACM SIGPLAN通知 第30卷第6期
          1995年6月
          327页
          国际标准编号:0362-1340
          EISSN公司:1558-1160
          内政部:10.1145/223428
          期刊目录
          • 封面图片ACM会议
            PLDI’95:ACM SIGPLAN 1995编程语言设计和实现会议记录
            1995年6月
            335页
            国际标准图书编号:0897916972
            内政部:10.1145/207110

          版权所有©1995 ACM

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

          出版商

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:1995年6月1日

          检查更新

          限定符

          • 文章

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader在线查看。

        电子阅读器