丹尼尔·弗里德曼（Daniel P.Friedman）。;大卫·S·怀斯。 递归程序的输出驱动解释，或写入创建和破坏数据结构。 （英语） Zbl 0359.68024号 信息处理。莱特。 5, 155-160 (1976). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 68号01 软件理论的一般主题 68瓦30 符号计算和代数计算 软件：阿尔戈60 PDF格式BibTeX公司 XML格式引用 \textit{D.P.弗里德曼}和\textit{D.S.怀斯}，Inf.过程。莱特。5155-160（1976年；Zbl 0359.68024） 全文： DOI程序 参考文献： [1] Burge，W.H.，递归编程技术（1975），Addison Wesley:Addison Wesley Reading，马萨诸塞州·Zbl 0321.68002号 [2] R.M.伯斯托尔。；柯林斯，J.S。；Popplestone，R.J.，《POP-2编程》（1975），爱丁堡大学出版社：爱丁堡学院出版社·兹比尔0216.49903 [3] R.M.伯斯托尔。；Darlington，J.，《开发递归程序的一些转换》，Proc。可靠软件国际会议，6465-472（1975年6月），ACM SIGPLAN通知10 [4] A.Chandra，线性递归程序的高效编译，STAN-CS-72-282，斯坦福人工智能项目。；A.Chandra，线性递归程序的高效编译，STAN-CS-72-282，斯坦福人工智能项目。 [5] Collins，G.E.，《列表重叠和删除方法》，美国通信协会，第3655-657页（1960年）·Zbl 0106.11202号 [6] J.达林顿。；Burstall，R.M.，一个自动改进程序的系统，Acta Informat。，6, 41-60 (1976) ·Zbl 0323.68008号 [7] Flacher，M.J.，Lambda微积分图式，Proc。ACM Conf.on Proving Assertions about Programs，7，104-109（1972），ACM SIGPLAN Notices [8] 弗里德曼，D.P。；Wise，D.S.，CONS不应评估其论点，（Michaelson，S.；Milner，R.，Automata，Languages and Programming（1976），爱丁堡大学出版社：爱丁堡学院出版社），257-284·Zbl 0461.68023号 [9] 弗里德曼，D.P。；怀斯，D.S。；Wand，M.，通过表锁定的递归编程，Proc。ACM交响乐团。符号和代数计算，85-89（1976） [10] 亨德森，P。；Morris，J.，《懒惰的评估者》，Proc。第三交响乐团。《程序设计语言原理》，95-103（1976） [11] 休伊特，C。；Bishop，P。；Steiger，R。；悲伤，I。；B.史密斯。；Matson，T。；Hale，R.，非递归控制结构的行为语义，（Proc.Colloq.sur la programmation（1974），Springer-Verlag:Springer-Verlag Berlin），385-407·Zbl 0316.68013号 [12] 休伊特，C.E。；Smith，B.，面向编程学徒，IEEE Trans。软件工程SE-1，26-45（1975） [13] Jensen，K。；Wirth，N.，PASCAL用户手册和报告（1975），Springer-Verlag:Springer-Verlag纽约·Zbl 0296.68004号 [14] Knuth，D.E.，《基本算法》，（1975年），Addison Wesley:Addison Wesley Reading，马萨诸塞州），562，第二版·兹比尔0191.17903 [15] Landin，P.J.，ALGOL 60和Church的lambda符号之间的通信，第一部分，通信ACM。，8, 89-101 (1965) ·Zbl 0134.33403号 [16] 麦卡锡，J。；亚伯拉罕，P.W。；爱德华兹·D·J。；哈特·T·P。；Levin，M.E.，《LISP 1.5程序员手册》（1962年），麻省理工出版社：麻省理工大剑桥出版社，第1章。 [17] Mayer，A.R。；Ritchie，D.M.，《循环程序的复杂性》（Proc.ACM Natl.Conf.（1967），汤普森：汤普森-华盛顿），465-469 [18] Risch，T.，REMREC-一个用于在LISP（1973）中自动删除递归的程序，Comp部门。科学。，乌普萨拉大学：计算机系。科学。，瑞典乌普萨拉大学 [19] 肖尔，H。；Waite，W.M.，《在各种列表结构中进行垃圾收集的高效机器相关过程》，美国通信协会，10，501-506（1967）·Zbl 0149.12608号 [20] 斯蒂尔，G.L。；Sussman，G.J.，《LAMBDA——终极命令》（A.I.Memo 353（1976），麻省理工学院人工智能实验室） [21] 苏斯曼，G.J。；Steele，G.L.，SCHEME:扩展lambda演算的解释器（A.I.MeMo 349（1976），M.I.T.人工智能实验室）·Zbl 0929.68045号 [22] Walker，S.A。；Strong，H.R.，《可流程图递归的特征》，J.Comput。系统科学。，7, 404-447 (1973) ·Zbl 0266.68011号 [23] Weizenbaum，J.，《对称列表处理器》，通信ACM，6524-544（1963）·Zbl 0116.09606号 [24] 怀斯，D.S。；弗里德曼，D.P。；夏皮罗，S.C。；Wand，M.，布尔值循环，BIT，15，431-451（1975）·Zbl 0324.68013号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。