Aho，Sethi，Ullman 1986年。 A.V.Aho、R.Sethi和J.D.Ullmano编译器：原理、技术和工具。 Addison-Wesley 1986年。 谷歌学者 
数字图书馆 
布洛斯，哈达克，1988年。 A.B.损失和P.Hudak。 路径语义。 In’M.Main等人（编辑）：《程序设计语言语义的数学基础》，第三次研讨会，路易斯安那州新奥尔良，1987年4月。 计算机科学课堂讲稿298（1988）476-489。 谷歌学者 数字图书馆 约翰逊1985。 T.约翰逊。 Lambda提升：将程序转换为递归方程。 J.-P.Jouannaud（编辑）：《函数式编程语言与计算机体系结构》，法国南希，1985年。 计算机科学讲义201（1985）190-203。 谷歌学者 数字图书馆 Jones，Sestoft，Söndergaard 1988年。 N.D.Jones、P.Sestoft和H.Sundergaard。 Mix：用于编译器生成实验的自应用部分求值器。 Lisp和符号计算2，1（1989）9-50。 谷歌学者 交叉引用 
Kastens 1987年。 U.Kastens公司。 属性的生命周期分析。 《信息学报》24（1987）633-651。 谷歌学者 数字图书馆 Hutt Kastens，Zimmermann 1982年。 U.Kastens、B.Hutt和E.Zimmermann。 花絮：一个实用的编译器生成器。 Corr~uter Science课程讲稿141（1982）156页。 谷歌学者 Kastens，Schmidt 1986年。 U.Kastens和M.Schmidt。 程序参数的寿命分析。 在B.Robinet和R.Wilhelm（编辑）中：ESOP 86。 欧洲编程研讨会，德意志联邦共和国萨尔布里肯，1986年3月。 计算机科学课堂讲稿213（1986）53-69。 谷歌学者 数字图书馆 迈克罗夫特1981年。 A.迈克罗夫特。 应用程序的抽象解释和优化转换。 1981年，苏格兰爱丁堡大学计算机科学系，博士论文，报告CST-15-81180页。 谷歌学者 佩顿·琼斯1987年。 S.L.佩顿-琼斯。 函数式编程语言的实现。 普伦蒂斯·霍尔1987。 谷歌学者 数字图书馆 Plotkin 1981年。 G.D.Plotkin。 操作语义的结构方法。 DAIMI报告FN-19，172页，DAIMI，丹麦奥胡斯大学，1981年。 谷歌学者 施密特1985年。 D.A.施密特。 在指称规范中检测全局变量，ACM编程语言和系统事务7，2（1985年4月）299-310。 谷歌学者 数字图书馆 施密特1986a。 D.A.施密特。 在表示定义中检测基于堆栈的环境。 （扩展版本）。 报告TR-CS-86-3，36页，美国计算机与电子科学部； 信息科学，堪萨斯州立大学，堪萨斯州，1986年。 谷歌学者 施密特1986b。 D.A.施密特。 指称语义学。 语言发展方法论。 Allyn和Bacon，1986年。 谷歌学者 数字图书馆 Sestoft 1988年。 P.塞斯托夫特。 用全局变量替换函数参数。 理科硕士论文88-7-2，107页，丹麦哥本哈根大学D IKU，1988年。 谷歌学者
建议
一种新的改进的全局-局部最优参数粒子群优化算法 本文提出了一种新的、改进的粒子群优化算法（PSO），该算法结合了全局最优和局部最优模型，称为GLBest-PSO。 GLBest PSO结合了全局-局部最佳惯性权重（GLBest IW）和全局-局部。。。 一种新的全局优化辅助函数构造方法 基于此思想，提出了一种新的辅助函数方法，该方法对全局优化进行两阶段确定性搜索。 具体地说，首先求出原始函数的局部极小值，然后再利用拉伸函数技术求出原函数的局部最小值。。。
