摘要
1 A.D.Aho、R.Sethi和J.D.Ullman。 编译器：原理、技术和工具。 艾迪森·韦斯利，1986年。 谷歌学者 
数字图书馆 
2 A.V.Aho、J.E.Hopcroft和J.D.Ullman。 计算机算法的设计与分析。 Addison-Wesley，1974年。 谷歌学者 数字图书馆 三。 L.O.Andersen。 自我适用的C程序专业化。 在Consel{26}中，第54-61页。 谷歌学者 4 A.W.Appel公司。 用连续体编译。 剑桥大学出版社，1992年。 谷歌学者 数字图书馆 5 W.Au和D.Weise。 通过程序专门化自动生成编译器模拟。 IEEE设计自动化会议，第205-210页，1991年。 谷歌学者 数字图书馆 6 丹尼斯·贝切特。 交互网络的部分评估。 在WSA'92{109}中，第331-338页。 谷歌学者 7 L.Beckman、A.Haraldsson、O.Oskarsson和E.Sandewall。 部分求值器及其作为编程工具的使用。 人工智能，7（4）：319-3571976。 谷歌学者 交叉引用 
8 A.柏林。 部分评估适用于数值计算。 关于Lisp和函数编程的CM会议~第139-150页，1990年。 谷歌学者 数字图书馆 9. D.Bj0rner、A.P.Ershov和N.D.Jones，编辑。 部分评估和混合计算。 北荷兰，1988年。 谷歌学者 10. C.英国夏令时。 抑制自我应用。 在第16届国际自动化、语言和编程学术讨论会上，计算机科学讲义第372卷。 施普林格-维拉格，1989年。 谷歌学者 数字图书馆 11 A.Bondorf。面向术语重写系统的自应用部分求值器。 在Bj0rner等人{9}中。 谷歌学者 12. A.Bondorf.自我适用部分评估。 哥本哈根大学博士论文，DIKU，丹麦哥本哈根，1990年。 DIKU报告90-17。 谷歌学者 13. 高阶递归方程的自动投影。 《计算机程序设计科学》，17:3-341991年。 谷歌学者 数字图书馆 14 A.Bondorf.Similix手册，系统版本3.0。 《技术报告91/9》，哥本哈根大学计算机科学系，1991年。 谷歌学者 15 A.Bondorf。在没有明确CPS转换的情况下提高绑定时间。 在1992年关于Lisp和函数编程的CM会议上，第1-10页。 谷歌学者 数字图书馆 16 A.Bondorf和O.Danvy。 具有全局变量和抽象数据类型的递归方程的自动投影。 《计算机程序设计科学》，16:151-1951991年。 谷歌学者 数字图书馆 17 R.S.Boyer和J.S.Moore。 一种快速字符串搜索算法。 ACM通讯，20（10）：62-721976。 谷歌学者 数字图书馆 18 M.A.Bulyonkov先生。 分析器程序的多元混合计算。 《信息学报》，21:473-4841984年。 谷歌学者 数字图书馆 19 R.M.Burstall和J.Darlington。 用于开发递归程序的转换系统。 CM杂志，24（1）：44-671977。 谷歌学者 数字图书馆 20 C.Chambers和D.Ungar。 定制：为SELF优化编译器技术，SELF是一种动态类型的面向对象编程语言。 在CM-SIGPLAN编程语言设计和实现会议上，SIGPLAN通知，第24卷，第7期，第146-160页，1989年。 谷歌学者 数字图书馆 21 W.Clinger和J.Rees（编辑）。 关于算法语言方案的修订报告。 LISP指针，IV（3）：1'-551991年7月至9月。 谷歌学者 数字图书馆 22 C.科尔比和P.李。 参数化部分求值的实现。 在WSA'91{108}中，第82-89页。 谷歌学者 23 C.咨询。 部分评估的新见解：分裂实验。 在ESOP’88，第二届欧洲编程研讨会，《计算机科学讲义》第300卷，第236-246页。 Springer-Verlag，1988年。 谷歌学者 24 C.咨询。 分析计划、评估部分和计算结果。 1989年6月，法国巴黎第六大学博士论文。 谷歌学者 25 C.咨询。 高阶非类型化函数语言的绑定时间分析。 在关于Lisp和函数编程的CM会议上，第264-272页，1990年。 谷歌学者 数字图书馆 26 C.Consel，编辑。 关于部分评估和基于语义的程序操作的CM研讨会。 《研究报告909》，耶鲁大学计算机科学系，1992年。 谷歌学者 27 C.咨询。 92年分裂报告。 研究报告，太平洋软件研究中心，俄勒冈州科学技术研究生院，比弗顿，俄勒冈，美国，1992年。 谷歌学者 28 C.Consel和O.Danvy。 字符串中模式匹配的部分计算。 信息处理快报，30（2）：79-861989。 谷歌学者 数字图书馆 29 C.Consel和O.Danvy。 从解释到编译绑定时间。 在ESOP’90，第三届欧洲编程研讨会，计算机科学讲义第432卷，第88-105页。 Springer-Verlag，1990年。 谷歌学者 30 C.Consel和O.Danvy。 为了更好地支持静态数据流。 休斯{63}，第496-519页。 谷歌学者 31 C.Consel和O.Danvy。 静态和动态语义处理。 在1991年第14-23页的CM编程语言原理研讨会上。 谷歌学者 数字图书馆 32 C.Consel和S.C.Khoo。 参数化部分求值。 研究报告865，耶鲁大学，美国康涅狄格州纽黑文，1991年。 出现在《编程语言和系统事务》中。 {33}的扩展版本。 谷歌学者 数字图书馆 33 C.Consel和S.C.Khoo。 参数化部分评估。 1991年，在ACM SIGPLAN编程语言设计与实现会议上，第92-106页。 谷歌学者 数字图书馆 34 C.Consel和S.C.Khoo。 Prolog编译器的语义导向生成。 在第三届编程语言实现和逻辑编程国际研讨会上，计算机科学讲义第528卷，第135-146页。 Springer-Verlag，1991年。 谷歌学者 交叉引用 35 C.Consel和S.C.Khoo。 在线&； 离线部分评估：语义规范和正确性证明。 研究报告896，耶鲁大学，美国康涅狄格州纽黑文，1992年。 谷歌学者 36 C.康塞尔和S.普西。 基于绑定时间的部分求值器的编程环境。 在Consel{26}中，第62-66页。 谷歌学者 37 C.Consel、C.Pu和J.Walpole。 增量专业化：操作系统中高性能、模块化和可移植性的关键。 研究报告，太平洋软件研究中心，俄勒冈州科学技术研究生院，比弗顿，俄勒冈，美国，1992年。 谷歌学者 38 K.D.Cooper、M.W.Hall和K.Kennedy。 程序克隆，第四届IEEE国际计算机语言会议，第96-105页，1992年。 谷歌学者 交叉引用 39 Pierre Cr~内脏。 机器环境、生产符号和估价部分。 巴黎第七大学博士论文，1991年。 谷歌学者 40. O.丹维。 非hnear模式的语义导向编译。 信息处理信件，37:315-3221991年3月。 谷歌学者 数字图书馆 41. L.P.德国。 交互式程序验证器。 技术报告CSL-73-1，施乐PARC，1973年5月。 谷歌学者 42 A.P.Ershov、D.Bjorner、Y.Futamura、K.Furukawa、A.Haraldsson和W.L.Scherlis，编辑。 部分评估和混合计算研讨会论文选集，新一代计算第6卷（2,3）。 俄亥俄州。 有限公司和Springer-Verlag，1988年。 谷歌学者 43 D.P.Friedman、M.Wand和C.T.Haynes。 编程语言基础。 麻省理工学院出版社和McGraw-Hill，1991年。 谷歌学者 数字图书馆 44 D.A.Fuller和S.Abramsky。 Prolog的混合计算。 在Bjorner等人{9}中。 谷歌学者 45 Y.Futamura。 计算过程的部分求值是编译程序的一种方法。 系统、计算机、控制P，5，第45-50页，1971年。 谷歌学者 46 Y.Futamura和K.Nogi。 广义部分计算。 在Bjorner等人{9}中。 谷歌学者 47 J.Gallager和M.Codish。 使用抽象解释对Prolog和FCP程序进行专门化。 在Bjorner等人｛9｝中。 谷歌学者 48 M.Gengler和B.Rytz。 处理部分已知值的多变量绑定时间分析。 在WSA'92｛109｝中，第322-330页。 谷歌学者 49 R.Glück。 走向多重自我应用。 在Hudak和Jones[61]中，第309-320页。 谷歌学者 50 D.Golub、R.Dean、A.Forin和R.Rashid。 Unix作为应用程序。 《USENIX夏季会议记录》，1990年。 谷歌学者 51 C.K.戈马尔。 高阶部分求值-lambda演算的HOPE。 1989年丹麦哥本哈根哥本哈根大学DIKU硕士论文。 谷歌学者 52 C.K.戈马尔。 非类型化函数程序的部分类型推断。 在1990年关于Lisp和函数编程的CM会议上。 谷歌学者 数字图书馆 53 C.K.戈马尔。 lambda-calculus的一个自我评价部分评价器：正确性和语用学。 编程语言和系统的CM汇刊，14（2）：147-1721992。 谷歌学者 数字图书馆 54 C.K.Gomard和N.D.Jones。 通过部分求值生成编译器：案例研究。 结构化编程，12:123-1441991。 谷歌学者 55 古佐夫斯基（M.A.Guzowski）。 为Lisp的一个有趣子集开发一个自反式部分求值器。 1988年，俄亥俄州克利夫兰凯斯西储大学计算机工程与科学系硕士论文。 谷歌学者 56 T·A·汉森。 将简单的模式匹配器转换为高效的模式匹配程序。 技术报告，DAIMI，1991年。 谷歌学者 57 A.哈拉尔德森。 基于部分求值的程序操作系统。 瑞典LinkSping大学博士论文，1977年。 LinkSping科技论文研究N~14。 谷歌学者 58. S.Harnett和M.Montenyohl。 实现动态面向对象语言的高效编译。 在Consel{26}中，第82-89页。 谷歌学者 59 F.ttenglein（塔坦格林）。 用于高阶绑定时间分析的有效类型推断。 休斯{63}，第448-472页。 谷歌学者 60 C.K.霍尔斯特。 语言三元组：AMIX方法。 在比约纳等人{9}中，第167-185页。 谷歌学者 61 编辑P.Hudak和N.D.Jones。 部分求值和基于语义的程序操作。 第26卷，第9期。 ACM SIGPLAN通告，1991年。 谷歌学者 62 J.休斯。 功能程序的反向分析。 谷歌学者 63 约翰·休斯，编辑。 FPCA’91，第五届函数式编程语言和计算机体系结构国际会议，计算机科学讲义第523期，1991年。 谷歌学者 数字图书馆 64 S.Jagannathan和J.Philbin。高效多线程Scheme系统的基础。 在1992年关于Lisp和函数编程的CM会议上，第345-357页。 谷歌学者 数字图书馆 65 N.D.琼斯。 部分评估、自我应用和类型。 在第17届国际自动化、语言和编程学术讨论会上，《计算机科学讲义》第443卷，第639-659页。 Springer-Verlag，1990年。 谷歌学者 66. N.D.Jones、C.K.Gomard和P.Sestoft。 部分评估和自动化程序生成。 普伦蒂斯·霍尔国际，1993年。 出现。 谷歌学者 数字图书馆 67 N.D.Jones、P.Sestoft和H.Sundergaard。 部分求值实验：编译器生成器的生成。 《重写技术与应用》编辑J.-P.Jouannaud，法国第戎，《计算机科学讲义》第202卷，第124-140页。 斯普林格·弗拉格，1985年。 谷歌学者 数字图书馆 68 N.D.Jones、P.Sestoft和H.Sendergaard。 Mix：用于编译器生成实验的自适用部分求值器。 LISP与符号计算，2（1）：9-501989。 谷歌学者 交叉引用 69 J.J0rgensen。 通过部分求值生成模式匹配编译器。 西蒙·佩顿·琼斯（Simon L.Peyton Jones）、盖·赫顿（Guy Hutton）和卡斯滕·凯勒（Carsten Kehler），《函数编程》（Functional Programming）编辑，格拉斯哥，1990年，第177-195页。 Springer-Verlag，1991年。 谷歌学者 70 J·约根森。 通过部分求值为惰性语言生成编译器，见《编程语言原理CM研讨会》，第258-268页，1992年。 谷歌学者 71 M.Katz和D.Weise。 从新的角度看待部分评价。 在Consel{26}中，第29-37页。 谷歌学者 72 S.C.Khoo。 参数化部分评价：理论与实践。 耶鲁大学博士论文，1992年。 即将到来。 谷歌学者 数字图书馆 73 S.C.Khoo和R.S.Sundaresh。 使用部分求值编译继承。 在Hudak和Jones{61}中，第211-222页。 谷歌学者 74 S.C.克莱恩。 元数学导论。 Van Nostrand，1952年。 谷歌学者 75 D.E.Knuth、J.H.Morris和V.R.Pratt。 字符串中的快速模式匹配。 SIAM，6（2）：323-3501977年。 谷歌学者 数字图书馆 76 H.J.Komorowski。 部分求值作为在应用语言中推断数据结构的一种方法：Prolog的理论和实现。 在1982年美国计算机学会编程语言原理研讨会上。 谷歌学者 数字图书馆 77 A.Lakhotia和L.Sterling。 ProMiX：Prolog部分评估系统，L.Sterling主编，《Prolog实践》，第5章，第137-179页。 麻省理工学院出版社，1991年。 谷歌学者 78. J.L&； unchbury公司。 部分评估中的投影因子分解。 1990年，苏格兰格拉斯哥大学计算科学系博士论文。 谷歌学者 79 L.A.Lombardi和B.Raphael。 Lisp作为增量计算机的语言。 在E.C.Berkeley和D.G.Bobrow的编辑中，《编程语言Lisp：它的操作和应用》，第204-219页。 麻省理工学院出版社，马萨诸塞州剑桥，1964年。 谷歌学者 80 K·马尔姆基姆。 关于专用程序的静态属性。 WSA’91{108}，第234-241页。 谷歌学者 81 K·马尔姆贾尔。 预测剩余程序的属性。 在Consel{26}中，第8-13页。 谷歌学者 82 U.梅耶。 命令式语言的部分评估技术。 在Hudak和Jones{61}中，第94-105页。 谷歌学者 83 T.莫根森。 部分求值在光线追踪中的应用。 哥本哈根大学硕士论文，丹麦哥本哈根DIKU，1986年。 谷歌学者 84 T.莫根森。 将时间特性绑定到}部分求值。 哥本哈根大学博士论文，丹麦哥本哈根DIKU，1989年。 谷歌学者 85. P.莫斯。 SIS——语义实现系统、参考手册和用户指南。 奥尔胡斯大学，丹麦奥尔胡斯，1979年。 1.0版。 谷歌学者 86 C.摩辛。 Similix绑定时间调试器手册。 哥本哈根大学技术报告，丹麦哥本哈根，1991年。 谷歌学者 87 F.尼尔森和H.R.尼尔森。 两级函数语言。 剑桥大学出版社，1992年。 谷歌学者 数字图书馆 88 H.R.尼尔森和F.尼尔森。 类型化），-演算的自动绑定时间分析。 1988年，第98-106页，CM编程语言原理研讨会。 谷歌学者 89 V.Nirkhe和W.Pugh。 用硬实时系统中的应用程序对高级命令式程序语言进行部分评估。 1992年，在CM编程语言原理研讨会上，第269-280页。 谷歌学者 数字图书馆 90 J.Palsberg和M.I.Schwartzbach。 绑定时间分析：抽象解释与类型推断。 技术报告，DAIMI，1992年。 谷歌学者 91 C.Pu、H.Massalin和J.Ioamnidis。 合成内核。 ACM计算系统，1（1）：11-321988。 谷歌学者 92 C.Queinnec和J.M.Geffroy。 部分评估应用于智能回溯模式匹配。 在WSA'92{109}中，第109-117页。 谷歌学者 93. E.鲁夫。 在线部分评估主题。 斯坦福大学计算机科学系博士论文，1993年。 （准备中）。 谷歌学者 数字图书馆 94 E.Ruf和D.Weise。 使用类型来避免多余的专门化。 在Hudak和Jones{61}中，第321-333页。 谷歌学者 95 E.Ruf和D.Weise。 使用控制流分析提高高阶专门化的准确性。 在Consel{26}中，第67-74页。 谷歌学者 96 B.Rytz和M.Gengler。 多变量结合时间分析。 在Consel{26}中，第21-28页。 谷歌学者 97 W.L.舍里斯。 表达式过程和程序派生。 斯坦福大学计算机科学系博士论文，1980年。 报告编号STAN-CS-80-818。 谷歌学者 数字图书馆 98 D.A.施密特。 部分评估的静态属性。 在Bjcrner等人{9}中，第465-483页。 谷歌学者 99 R.肖勒。 部分求值作为语言可扩展性的一种手段。 硕士论文，M.I.T.（LCS），美国马萨诸塞州，1984年。 TR-324。 谷歌学者 数字图书馆 100 P.塞斯托夫特。 在部分求值器中自动展开调用。 在Bj0rner等人{9}中。 谷歌学者 101 D.Sherman、It、Strandh和I.Durand。 使用部分求值优化方程程序。 在Hudak和Jones{61}中，第72-82页。 谷歌学者 102 D.A.史密斯。 CLP域中模式匹配的部分评估。 在Hudak和Jones{61}中，第62-71页。 谷歌学者 103. K.L.Solberg、H.It.Nielson和F.Nielsen。 绑定时间分析的推理系统。 在WSA'92{109}中，第247-254页。 谷歌学者 104 R.S.Sundaresh和P.Hudak。 通过部分求值进行增量计算，见1991年第1-13页编程语言原理CM研讨会。 谷歌学者 105 M.N.Wegman和F.K.Zadeck。 带条件分支的常量传播。 编程语言和系统的CM汇刊，3（2）：181-2101991。 谷歌学者 数字图书馆 106 P.韦纳。 线性模式匹配算法。 在第14届交换与自动机理论年度研讨会上，第1-111973页。 谷歌学者 数字图书馆 107 D.Weise、R.Conybeare、E.Ruf和S.Seligman。 自动在线部分评估。 休斯{63}，第165-191页。 谷歌学者 108 《静态分析研讨会》，Bigre Journal第74卷。 IRISA，法国伊滕内斯，1991年。 谷歌学者 109 《静态分析研讨会》，Bigre Journal第81-82卷。 IItISA，雷恩，法国，1992年。 谷歌学者
