摘要
1 A.M.Ben-Amram先生。 什么是“指针机器”? SIGACT新闻,26(2):88-951995年6月。 谷歌学者 数字图书馆 2 J.Cai、P.Facon、F.Henglein、R.Paige和E.Schonberg。类型转换和数据结构选择。 在B.Moeller编辑的《从规范构建程序》中,第126-124页。 荷兰北部,阿姆斯特丹,1991年。 谷歌学者 三。 J.Cai和R.Paige。 使用多集判别法解决语言处理问题,无需散列。 理论计算机科学,145(1-2):189-2281995年7月。 网址:http://cs.nyu.edu/cs/castery/paige/papers/hash,ps。 谷歌学者 数字图书馆 4 J.Cai和R.Paige。 提高算法实现的生产率。 程序中。 ACM SIGSOFT,第71-78页,1993年12月。 谷歌学者 数字图书馆 5 C.Consel和O.Danvy。 关于部分评估的教程注释。 1993年,编程语言原理CM研讨会,第493-501页,1993年。 谷歌学者 数字图书馆 6 W.Dowling和J.Gallier。 用于测试命题Horn公式可满足性的线性时间算法。 逻辑编程,1(3):267-2841984。 谷歌学者 交叉引用 7 D.Goyal和R.Paige。 Willard关系演算子集的线性时间片段的形式化重建和改进,出现在Proc中。 IFIP TC2算法语言和微积分工作会议,1997年。 URL“ http://cs网址 ,nyu.edu/phd_stu-dents/deepak/lrcs,ps。 谷歌学者 数字图书馆 8 R.Paige。 在RAM上实时模拟一台机器。在N.Janicki和W.Koczkodaj,《计算与信息》编辑,第二卷,第69-73页。 加拿大学者出版社,多伦多,1989年5月。 谷歌学者 9. R.Paige。 以动态类型语言高效翻译外部输入,B.Pehrson和I.Simon,编辑,《技术和基础-信息处理94》,IFIP Transactions a-51第1卷,第603-608页。 荷兰北部,阿姆斯特丹,1994年9月。 IFIP大会会议记录94。 谷歌学者 10. R.Paige和F.Henglein。 将集合论问题规范机械地转换为有效的RAM代码-案例研究。 符号计算杂志,4(2):207-2321987年8月。 谷歌学者 数字图书馆 11 R.Paige和R.Tarjan。三种基于分区细化的高效算法。 SIAM计算机杂志,16(6),1987年12月。 谷歌学者 数字图书馆 12. C.帕帕迪米特里奥。 计算复杂性。 Addison-Wesley,马萨诸塞州雷丁,1994年。 谷歌学者 13. J.林坦南。 《私人通信》,1994年。 谷歌学者 14 j.施瓦茨。 高级语言中的自动数据结构选择。 CACM,18(12):722-7281975年12月。 谷歌学者 数字图书馆 15 J.施瓦茨。 高级语言的优化,第一部分,第二部分。 计算机语言杂志,1(2,3):161-21181975。 谷歌学者 16 R.雪草。 接口描述语言。 计算机科学出版社,1989年。 谷歌学者 数字图书馆 17 K·斯奈德。 SETL2编程语言。 技术报告490,Courant Institute,纽约大学,1990年。 谷歌学者 18 R.Tarjan,《数据结构和网络算法》。 SIAM,1984年。 谷歌学者 数字图书馆 19 R.Wilhelm和D.Maurer。 编译器设计。 Addison-Wesley,马萨诸塞州雷丁,1995年。 谷歌学者 数字图书馆
建议
细粒度FPGA的高级编译 FCCM’97:第五届IEEE基于FPGA的定制计算机研讨会论文集 作者提出了一个集成工具集,用于从C语言子集生成高度优化的硬件计算块。 通过从算法的C语言描述开始,他们解决了使FPGA处理器可以访问。。。