摘要
阿霍和乌尔曼，1979年。 数据检索语言的普遍性。 In：程序。 第六种ACM糖浆。 《编程语言原理》，第110-120页。 谷歌学者 
Aho等人，1974年。 In:《计算机算法的设计与分析》，Addison-Wesley，纽约。 谷歌学者 Aho等人，1986年。 地址：Compilers，Addison-Wesley，New York。 谷歌学者 Allen等人，1981年。 操作员强度降低。 收录于：Muchnick，S.，Jones，N.（编辑），《程序流分析》，普伦蒂斯·霍尔，纽约，第79-101页。 谷歌学者 阿姆斯特朗，1974年。 数据库关系的依赖结构。 收录于：1974年荷兰阿姆斯特丹IFIP大会。 第580-583页。 谷歌学者 巴斯托，1979年。 位于：阿姆斯特丹Elsevier North-Holland，基于知识的项目建设。 谷歌学者 贝茨和康斯特布尔，1985年。 作为程序的证据。 ACM TOPLAS 7，（2）。 113-136. 谷歌学者 Bauer和Wossner，1982年。 位于：柏林施普林格-弗拉格算法语言和程序开发。 谷歌学者 Beeri和Bernstein，1979年。 与规范形式关系方案设计相关的计算问题。 ACM TODS 4（1）。 30-59之间。 谷歌学者 比伯，1980年。 语法导向、语义支持的程序合成。 Artif公司。 赫尔特尔。 14, (3). 243-262. 谷歌学者 比尔曼，1984年。 摘自：Biermann，A.、Guiho，G.、Kodratoff，Y.（编辑），《自动程序构造技术》，纽约麦克米伦出版社。 谷歌学者 伯德，1984年。 转型规划中的促进和积累策略。 ACM TOPLAS 6，（4）。 487-504. 谷歌学者 博伊尔，1970年。 编程语言语法的转换组件。 In:技术报告ANL-7640， 谷歌学者 Buchberger，1983年。 收录于：Buchberger，B.，Collins，G.，Loos，R.，Albrecht，R.（编辑），《计算机代数符号和代数计算》，柏林斯普林格-弗拉格出版社。 谷歌学者 伯斯托尔和达林顿，1977年。 用于开发递归程序的转换系统。 J.联合公司。 机器。 24, (1). 44-67. 谷歌学者 Cai和Paige，1987年。 In：通过定点计算进行程序推导， 谷歌学者 Cheatham等人，1981年。 摘自：通过转换对程序进行细化，第430-437页。 谷歌学者 科德，1970年。 大型共享数据库的数据关系模型。 CACM 13，（6）。 377-387. 谷歌学者 科恩，1982年。 计算机辅助程序微观分析。 CACM 25，（10）。 724-733. 谷歌学者 德肖维茨，1983年。 摘自：《使用重写系统进行计算》，第269-298页。 谷歌学者 Dewar等人，1979年。 通过精化编程，如SETL表示子语言所示。 托拉斯I，（1）。 27-49. 谷歌学者 迪克斯特拉，1976年。 摘自：《编程学科》，纽约普伦蒂斯·霍尔出版社。 谷歌学者 Driscoll等人，1986年。 在：使数据结构持久化，第109-121页。 谷歌学者 厄利，1974年。 自动编程中的高级操作。 SIGPLAN通知。 第9版i4。 34-42. 谷歌学者 Earley，1976年。 高级迭代器和自动设计数据结构表示的方法。 J.公司。 语言，1，（4）。 321-342. 谷歌学者 弗洛伊德，1967年。 In：给程序赋值，XIX。 美国数学学会，普罗维登斯，R.I.，第19-32页。 谷歌学者 方，1977年。 摘自：消除高级语言中的常见子表达式，第48-57页。 谷歌学者 方，1979年。 在：非常高级语言中的归纳可计算结构，第21-28页。 谷歌学者 Fong和Ullman，1976年。 在：非常高级语言中的归纳变量，第104-112页。 谷歌学者 弗洛伊登伯格等人，1983年。 使用SETL Optimizer的经验。 顶点顶部5，（1）。 26-45之间。 谷歌学者 格哈特，1975年。 在：保持正确性的程序转换，第54-66页。 谷歌学者 Goad，1980年。 In：形式证明操作的计算用途， 谷歌学者 Goldberg和Paige，1984年。 摘自：流处理，第53-62页。 谷歌学者 戈德斯汀，1972年。 收录：《从帕斯卡到冯·诺依曼的计算机》，普林斯顿大学出版社，新泽西州普林斯顿。 谷歌学者 戈德斯汀，1977年。 收录于：《数值分析史》，纽约斯普林格-弗拉格出版社。 谷歌学者 后藤，1979年。 摘自：自然演绎证明的程序合成，第339-341页。 谷歌学者 古里维奇，1983年。 收录：Richter，M.（Ed.），《面向为计算复杂性量身定制的逻辑》，第175-216页。 谷歌学者 古里维奇，1987年。 逻辑与计算机科学的挑战。 收录：Boerger，E.（编辑），《理论计算机科学的当前趋势》，计算机科学出版社。 谷歌学者 Gurevich和Shelah，1985年。 在：一阶逻辑的定点扩展，IEEE计算机学会出版社。 第346-353页。 谷歌学者 Guttag和Horowitz，1978年。 抽象数据类型和软件验证。 CACM，21，（12）。 1048-1064. 谷歌学者 霍尔，1969年。 计算机编程的公理基础。 CACM 12，（10）。 576-581. 谷歌学者 霍夫曼和奥唐纳，1982年。 用方程式编程。 ACM TOPLAS 4，（1）。 83-112. 谷歌学者 休特，1980年。 汇流减少：抽象属性和术语重写系统的应用，或。 关联公司。 机器。 27, (4). 797-821页。 谷歌学者 伊曼，1982年。 摘自：可在多项式时间内计算的关系查询，第147-152页。 谷歌学者 康德，1981年。 In：《程序合成效率》，UMI研究出版社。 谷歌学者 肯尼迪，1981年。 编译器优化技术综述。 摘自：Mucknick，S.，Jones，N.（编辑），《程序流分析》，纽约普伦蒂斯·霍尔出版社，第5-54页。 谷歌学者 Knuth，1968-1972年。 在：计算机编程的艺术，3。 Addison-Wesley，纽约。 谷歌学者 Knuth和Bendix，1970年。 在：《泛代数中的简单单词问题》，佩加蒙出版社，牛津。 第263-297页。 谷歌学者 科瓦尔斯基，1974年。 在：谓词逻辑作为编程语言，第569-574页。 谷歌学者 莱斯坎，1983年。 收录：REVE术语重写系统生成器的计算机实验，第99-108页。 谷歌学者 洛夫曼，1977年。 通过源到源转换改进程序。 J.联合公司。 机器。 24, (1). 121-145. 谷歌学者 Low，1974年。 摘自：《自动编码：数据结构的选择》，斯坦福大学博士论文。 谷歌学者 Manna和Waldinger，1980年。 程序综合的演绎方法。 ACM TOPLAS 2，（1）。 90-121. 谷歌学者 麻省理工学院，1977年。 收录于：MACSYMA参考手册， 谷歌学者 梅霍恩，1984年。 排序和搜索。 In：数据结构和算法，1。 柏林斯普林格·弗拉格。 谷歌学者 Naqvi和Henschen，1983年。 在：将最小不动点查询合成为非递归迭代程序，第25-28页。 谷歌学者 佩奇，1981年。 《形式差异》，麻省理工学院研究出版社，密歇根州安娜堡。 谷歌学者 佩奇，1983年。 转换编程？算法和系统的应用。 程序。 第十种ACM糖浆。 《程序设计语言原理》，1983年1月，第73-87页。 谷歌学者 佩奇，1984年。 超级编译器？摘录摘要。 摘自：Pepper，P.（Ed.），《程序转换和编程环境》，柏林斯普林格-Verlag出版社。 第331-340页。 谷歌学者 佩奇，1984年。 有限差分在数据库完整性控制和查询/事务优化中的应用。 摘自：Gallaire，H.，Minker，J.，Nicolas，J.-M.（编辑），《数据库理论进展》，第2页。 Plenum出版社，纽约，第171-210页。 谷歌学者 佩奇，1986年。 使用不变量编程。 IEEE软件3，（1）。 56-69. 谷歌学者 Paige和Henglein，1985年。 在：Caviness，B.（Ed.），集理论问题规范到有效RAM代码的机械翻译？案例研究，2。 第554-567页。 谷歌学者 Paige和Koenig，1982年。 可计算表达式的有限差分。 ACM TOPLAS 4，（3）。 402-454. 谷歌学者 Paige和Schonberg，1987年。 In：在RAM上实时模拟设定机器， 谷歌学者 Paige等人，1985年。 单函数最粗划分问题的线性时间解。 TCS 40，（1）。 67-84. 谷歌学者 拉姆肖，1979年。 将算法分析形式化。 收件人：施乐帕洛阿尔托研究中心技术报告SL-79-5。 谷歌学者 Reif和Scherlis，1982年。 导出有效的图形算法。 In:技术报告CMU-CS-82-155，卡内基梅隆大学。 谷歌学者 罗宾逊，1965年。 基于解析原理的面向机器的逻辑。 3“.助理压缩机马赫数，12，（1）.23-41。 谷歌学者 罗夫纳，1977年。 关联数据结构的自动表示选择。 收录：罗切斯特大学计算机科学系技术报告TR10。 哈佛大学博士论文。 谷歌学者 谢利斯，1981年。 摘自：《通过内部专业化改进计划》，第41-49页。 谷歌学者 谢利斯和斯科特，1985年。 收录：基于语义的编程工具，见第52-59页。 谷歌学者 Schonberg等人，1981年。 在SETL程序中选择数据表示的一种自动技术。 ACM TOPLAS 3，（2）。 第126-143页。 谷歌学者 施瓦茨，1975年。 高级语言中的自动数据结构选择。 CACM 18，（12）。 722-728. 谷歌学者 施瓦茨等人，1986年。 收录于：《用集合编程：SETL简介》，Springer-Verlag，纽约。 谷歌学者 谢里尔，1982年。 关于形式分化的一些观察。 ACM TOPLAS 4，（2）。 196-225. 谷歌学者 辛佐夫，1972年。 通过对特定模型的估价计算程序属性。 ACM SIGPLAN通知7，（1）。 203-207. 谷歌学者 斯坦迪什等人，1976年。 欧文程序转换目录。 收录：加州大学欧文分校信息与计算机科学系技术报告。 谷歌学者 Suppes，1972年。 摘自：公理集合理论，纽约多佛。 谷歌学者 塔尔扬，1985年。 分摊的计算复杂性。 SlAM J.阿尔及尔。 光盘。 方法。 6, (2). 306-318. 谷歌学者 塔斯基，1955年。 一个格理论不动点定理及其应用。 太平洋数学杂志。 5.第285-309页。 谷歌学者 Tenenbaum，1974年。 In：高级语言的类型确定， 谷歌学者 乌尔曼，1980年。 摘自：《数据库系统原理》，计算机科学出版社。 谷歌学者 瓦尔迪，1982年。 摘自：关系查询语言的复杂性，第137-146页。 谷歌学者 威拉德，1978年。 In:面向谓词的数据库搜索算法，哈佛大学博士论文。 谷歌学者 威拉德，1983年。 抽象谓词检索理论。 在：技术报告中， 谷歌学者 威拉德，1984年。 内容：使用范围查询理论高效处理关系演算表达式，第164-175页。 谷歌学者 沃思，1971年。 通过逐步细化进行程序开发。 CACM 14，（4）。 221-227. 谷歌学者
