摘要
1 Atkinson,R.和Hewitt,C.,“演员系统中的同步”,第四届ACM交响乐会会议记录。 《程序设计语言原理》(1977),267-280 谷歌学者 数字图书馆 2 Brinch Hansen,P.,《操作系统原理》,Prentice-Hall,Englewood Cliffs,NJ,1973年。]] 谷歌学者 数字图书馆 三。 Brinch Hansen,P.,《并发程序的体系结构》,普伦蒂斯·霍尔出版社,新泽西州恩格尔伍德克利夫斯,1977年。]] 谷歌学者 数字图书馆 4. Brinch Hansen,P.,“分布式进程:并发编程概念”,通信ACM 21,(1978),934-941 谷歌学者 数字图书馆 5 Church,A.,The Calculi of Lambda-Conversion,《数学研究年鉴》,普林斯顿大学出版社,新泽西州普林斯顿,1941年。]] 谷歌学者 数字图书馆 6 Dahl,O-J.和Hoare,C.A.R.,“分层程序结构”,摘自Dahl、O-J.、Dijkstra,E.W.和Hoare.,C.A.R,结构化程序设计,伦敦学术出版社,1972年,第175-220页。]] 谷歌学者 数字图书馆 7 Demers,A.J.和Donahue,J.E.,“数据类型参数和类型检查”Conf.Rec.7 Ann.ACM Symp。 《程序设计语言原理》(1980),12-23 谷歌学者 数字图书馆 8 Dijkstra,E.W.,“转到被视为有害的声明”,《美国海关总署公告》第11卷(1968年),第147-148页。]] 谷歌学者 数字图书馆 9. Gordon,M.J.C.,《编程语言的外延描述》,Springer,1979年。]] 谷歌学者 数字图书馆 10. Hewitt,C.E.,“将控制结构视为传递消息的模式”,《人工智能》第8期(1977年),第323-364页。]] 谷歌学者 数字图书馆 11 Hoare,C.A.R.,“监视器:操作系统结构概念”,《通信ACM》17(1974),549-557。]] 谷歌学者 数字图书馆 12. Holloway,J.、Steele,G.L.、Sussman,G.J.和Bell,A.,“SCHEME-79芯片”,麻省理工学院艺术与智能。 备忘录。 第559号(1979年12月) 谷歌学者 13. James,J.S.,“微型计算机FORTH”,SIGPLAN通告13,10(1978年10月),33-39。]] 谷歌学者 数字图书馆 14 Landin,P.J.,“ALGOL 60和Church’s Lambda标记之间的通信:第一部分”,《美国医学会通讯》第8卷(1965年),第89-101页。]] 谷歌学者 数字图书馆 15 P.J.Landin,“未来700种编程语言”,通信ACM 9(1966)157-166。]] 谷歌学者 数字图书馆 16 McCarthy,J.等人,《LISP 1.5程序员手册》,麻省理工学院出版社,马萨诸塞州剑桥,1965年。]] 谷歌学者 数字图书馆 17. Milne,R.和Strachey,C.,《编程语言语义理论》,查普曼和霍尔,伦敦,威利,纽约,1976年。]] 谷歌学者 数字图书馆 18 Minsky,M.,“计算机科学中的形式和内容”,J.ACM 17(1970),197-215。]] 谷歌学者 数字图书馆 19. Morris,J.H.,“编程语言中的保护”,《通信ACM》第16卷(1973年),第15-21页。]] 谷歌学者 数字图书馆 20 Reynolds,J.C.,“GEDANKEN——一种基于完整性原则和参考概念的简单无类型语言”,《美国通信管理委员会》第13卷(1970年),第308-319页。]] 谷歌学者 数字图书馆 21 Reynolds,J.C.,“高阶程序设计语言的定义解释器”,Proc。 ACM全国大会(1972年),717-740。]] 谷歌学者 数字图书馆 22 Shaw,A.C.,《操作系统的逻辑设计》,新泽西州恩格尔伍德克利夫斯市普伦蒂斯·霍尔出版社。 1974.]] 谷歌学者 数字图书馆 23 Steele,G.L.,“LAMBDA:终极宣言”,麻省理工学院艺术与情报。 第379号备忘录(1976年10月) 谷歌学者 数字图书馆 24 Steele,G.L.和Sussman,G.J.,《SCHEME修订报告》,麻省理工学院艺术情报。 第452号备忘录(1978年1月)。]] 谷歌学者 25 Steele,G.L.和Sussman,G.J.,“口译员的艺术,或模块情结”,麻省理工学院艺术与智能。 第453号备忘录(1978年5月) 谷歌学者 数字图书馆 26 Wand,M.,“SCHEME 3.1版参考手册”,印第安纳大学计算机科学系,技术报告第93号,1980年6月。]] 谷歌学者 27 Wirth,N.,“模块化:模块化多程序设计语言”,《软件——实践与经验》第7期(1977年),第3-35页。]] 谷歌学者 交叉引用 28 W.A.Wulf、D.B.Russell和A.N.Habermann,“BLISS:系统编程语言”,美国通信协会14(1971),780-790.]] 谷歌学者 数字图书馆
建议
通过相互通信的LISP系统进行多处理 LFP’80:1980年ACM LISP和函数编程会议记录 由于LISP语言的某些基本特性,由几个相互通信的LISP系统组成的多进程环境很容易实现。 建立必要沟通的四种方法的经验。。。 MULTI-基于LISP的多处理系统 LFP’80:1980年ACM LISP和函数编程会议记录 提出了一个LISP函数包,统称为MULTI,它将LISP 1.5扩展到多道程序设计。 MULTI使用函数调用作为唯一的控制原语来定义LISP实现中的进程概念。 流程是。。。