确认81。 F.E.艾伦、约翰·科克和肯·肯尼迪。 操作员强度降低。 史蒂文·穆奇尼克（Steven S.Muchnick）和内尔·琼斯（Nell D.Jones）主编，《程序流分析：理论和应用》，第79-101页，普伦蒂斯·霍尔出版社，1981年。 谷歌学者 
AM87。 A.W.Appel和D.B.MacQueen。 标准ML编译器。 《函数式编程语言与计算机体系结构》，第301-3241987页。 谷歌学者 数字图书馆 
巴尔77。 杰弗里·巴思（Jeffrey M.Barth）。 将垃圾收集开销转移到编译时。 ACM通讯，20（7）：513-5181977年7月。 谷歌学者 数字图书馆 BD85。 Hans-Juergen Boehm和Alan Demers。 实施Russell。 技术报告GOMP TR85-25，莱斯大学，1985年。 谷歌学者 BGS82。 罗德尼·A·布鲁克斯（Rodney A.Brooks）、理查德·加布里埃尔（Richard P.Gabriel）和盖伊·L·斯蒂尔（Guy L.Steele Jr.），词汇范围的LISP优化编译器。 在SIGPLAN编译器构造研讨会上，第261-275页，1982年。 谷歌学者 数字图书馆 Cha87页。 大卫·蔡斯。 垃圾收集和其他优化。 莱斯大学博士论文，1987年。 谷歌学者 数字图书馆 CLZ86型。 罗恩·塞特隆（Ron Cytron）、安迪·劳瑞（Andy Lowry）和肯·扎德克（Ken Zadeck）。 高级语言中控制结构的代码运动。 1986年第13届ACM编程语言原理研讨会会议记录，第70-85页。 谷歌学者 数字图书馆 GJ79。 迈克尔·加里（Michael R.Garey）和大卫·约翰逊（David S.Johnson）。 计算机与难处理性：NP-完备性理论指南。 W.tt.Freeman and Co.，1979年。 谷歌学者 数字图书馆 KKR*86。 大卫·克兰兹、理查德·凯尔西、乔纳森·里斯、保罗·哈达克、詹姆斯·菲尔宾和诺曼·亚当斯。 ORBIT：Scheme的优化编译器。 SIGPLAN关于Uomplier建筑的研讨会，第219-2331986页。 谷歌学者 数字图书馆 LH83。 亨利·利贝克斯曼和卡尔·休伊特。 基于对象生命周期的实时垃圾收集器。 A CM通讯，26（6）'419-4291983年6月。 谷歌学者 数字图书馆 MJ76。 史蒂文·穆奇尼克（Steven S.Muchnick）和内尔·琼斯（Nell D.Jones）。 编程语言中的绑定时间优化：关于理想语言设计的一些想法。 在CM-SjGA CT/SIGPLAN编程语言原理研讨会的Conf Record中，第77-91页，}976页。 谷歌学者 数字图书馆 MJ81型。 史蒂文·穆奇尼克（Steven S.Muchnick）和内尔·琼斯（Nell D.Jones），编辑。 类LISP结构的流动分析与优化。 普伦蒂斯·霍尔，1981年。 谷歌学者 穆尔84。 大卫·穆恩（David Moon）。 大型Lisp系统中的垃圾收集。 1984年SIGPLAN LISP和函数编程研讨会，第235-246页。 谷歌学者 数字图书馆 穆尔84。 托马斯·穆尔塔格（Thomas P.Murtagh）。 类ALGOL语言的一种不太动态的内存分配方案。 1984年第十一届美国计算机学会程序设计语言原理研讨会会议记录，第283-289页。 谷歌学者 数字图书馆 88令吉。 Christina Ruggieri和Thomas P.Murtagh。 动态分配对象的生存期分析。 第十五届美国构型管理学会项目原则年会会议纪要。 《瑞宁语言》，第285-293页，1988年。 谷歌学者 数字图书馆 图87。 Christina Ruggieri。基于Li}时间对象的动态内存分配技术。 普渡大学博士论文，1987年8月。 谷歌学者 数字图书馆 附表75。 J.T.施瓦茨。 高级语言的优化——I.价值传递及其推论。 《计算机语言杂志》，1'161-1941975年。 谷歌学者 第77页。 Guy L.Steele Jr.MacLISP中的快速算法。 1977年}VIA CSYMA用户会议记录，第215-224页，1977年。 谷歌学者 第78页。 盖伊·斯蒂尔（Guy L.Steele Jr.RABBIT:SCHEME的编译器）。 《技术报告》，麻省理工学院，1978年5月。 谷歌学者 数字图书馆 第88页。 盖伊·斯蒂尔（Guy Steele Jr.），《个人沟通》，1988年1月。 谷歌学者 联合国84。 大卫·恩加。 生成清理：一种无中断的高性能存储回收算法。 在ACM SIGSOFT/SIGPLAN实用软件开发环境软件工程研讨会论文集，第157-167页，1984年。 谷歌学者 数字图书馆
索引术语
存储分配优化的安全考虑
建议
复杂系统安全优化配置 CAR'09：2009年控制、自动化和机器人信息学国际亚洲会议记录 为了解决结构复杂、耦合紧密的系统的安全保障问题，提出了一种利用动态规划理论进行优化配置的新方法。 影响系统安全的两个关键因素，即。。。 安全完整性等级的自动分配 CARS’10：关键汽车应用第一次研讨会会议记录：鲁棒性和安全性 在本文中，我们描述了一个概念，用于将通用安全完整性级别（SIL）自动分配给提供安全关键功能集的复杂分层网络体系结构的子系统和组件。 概念是。。。
