摘要
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-5011993页。 谷歌学者 数字图书馆 6 W.Dowling和J.Gallier。 用于测试命题Horn公式可满足性的线性时间算法。 逻辑编程，1（3）：267-2841984。 谷歌学者 交叉引用 
7 D.Goyal和R.Paige。 Willard关系演算子集的线性时间片段的形式化重建和改进，出现在Proc中。 IFIP TC2算法语言和微积分工作会议，1997年。 网址“ 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-2181975。 谷歌学者 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处理器可以访问。。。
