×

一种具有多种编程范例的列表处理语言TAO。 (英语) Zbl 0603.68007号

本文描述了一种以解释器为中心的列表处理语言TAO,它在Lisp语言的框架内支持逻辑编程范式、面向对象编程范式以及传统的过程编程范式。TAO允许用户在解决复杂和多方面的AI问题时混合使用这些编程范例。这些编程范式的基本原理,即统一、消息传递和函数调用可以相互嵌套在表达式中。因此,用户可以直接在统一中使用函数调用或消息传递的结果,反之亦然。TAO还支持并发编程。TAO解释器在名为ELIS的Lisp机器上的实现取得了显著的效率。

MSC公司:

68号01 软件理论的一般主题
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Bobrow,D.G.,Kahn,K.和Kizales,G.等人,“COMMONLOOPS,合并公共Lisp和面向对象编程”,Xerox Parc ISL-85-81985年8月。
[2] Bobrow,D.G.和Stefik,M.,“回路手册(初版)”,备忘录KB-VLSI-85-13,施乐PARC,1983年1月。
[3] Chikayama,T.,“ESP参考手册”,ICOT TR-0441984年2月。
[4] Gabriel,R.P.,《Lisp系统的性能和评估》,麻省理工学院出版社,1985年。
[5] Goldberg,A.和Robson,D.,Smalltalk-80:The Language and Its Implementation,马萨诸塞州Reading,Addison-Wesley,1983年·Zbl 0518.68001号
[6] Goto,S.,“DURAL:一种扩展的Prolog语言”,《计算机科学课堂讲稿》147,Springer-Verlag,1983年·Zbl 0506.68012号
[7] Hibino,Y.、Watanabe,K.和Ohsato,N.,“Lisp Machine ELIS no Architecture–Memory Register no Han-Youka to Sono Kouka”(Lisp Machane ELIS的体系结构–记忆寄存器的泛化及其影响)[日语],IPSJ WGSYM,24-3,Junuary,1983年6月。
[8] Kernighan,B.W.和Richie,D.M.,《C语言编程》,普伦蒂斯·霍尔出版社,1978年。
[9] Krasner,G.ed.,Smalltalk-80:Bits of History,Words of Advice,Reading,马萨诸塞州,Addison-Wesley,1983年·兹比尔0537.68008
[10] Nakashima,H.,“Prolog/KR用户手册”,METR 82-4,东京大学,1982年。
[11] Okuno,H.G.、Takeuchi,I.、Ohsato,N.、Hibino,Y.和Watanabe,K.,“TAO:Lisp机器ELIS上的快速口译员中心系统”,Conf。1984年ACM Lisp和函数编程研讨会记录,(ACM,德克萨斯州奥斯汀)第140–149页,1984年8月。
[12] Okuno,H.G.,“第三次Lisp比赛和第一次Prolog比赛的报告”,IPSJ WGSYM 33-41985年9月。
[13] Pitman,K.M.,《修订的MacLisp手册》,麻省理工学院人工智能实验室,1983年5月。
[14] Robinson,J.和Sibert,E.,《LOGLISP用户手册》,雪城大学,1981年12月。
[15] 斯蒂尔,盖伊·L·编,《常见Lisp》,数字出版社,1984年·Zbl 0757.68008号
[16] Takeuchi,I.、Okuno,H.G.和Ohsato,N.,“TAO–Lisp、Prolog和Smalltalk的调和平均值”,ACM SIGPLAN通告,第18卷,第7期,1983年7月。
[17] Takeuchi,I.,“关于TAO/ELIS上通用Lisp的实现”,IPSJ WGSYM 37-7,1986年6月。
[18] 沃伦,D.H.D.,“实现Prolog——编译谓词逻辑程序”,D.A.I.研究报告,39和40,1997年5月。
[19] Weinreb,D.、Moon,D.和Stallman,R.,《Lisp机器手册》,第五版,系统版本92,LMI,1983年1月。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。