LISP公司 swMATH ID: 7201 软件作者： 约翰·麦卡锡 描述： Lisp（历史上称为Lisp）是一个计算机编程语言家族，具有悠久的历史和独特的全括号波兰前缀符号。[1] Lisp最初于1958年指定，是当今广泛使用的第二古老的高级编程语言；只有Fortran更老（一年）。与Fortran一样，Lisp自诞生之初就发生了很大变化，在其历史上存在着许多方言。今天，最广为人知的通用Lisp方言是Common Lisp和Scheme。Lisp最初是作为计算机程序的一种实用数学符号创建的，受到Alonzo Church的lambda微积分符号的影响。它很快成为人工智能（AI）研究中受欢迎的编程语言。作为最早的编程语言之一，Lisp开创了计算机科学的许多思想，包括树数据结构、自动存储管理、动态类型、条件、高阶函数、递归和自托管编译器。[2]LISP这个名称来源于“LISt处理”。链表是Lisp语言的主要数据结构之一，Lisp源代码本身由列表组成。因此，Lisp程序可以将源代码作为数据结构进行操作，从而产生宏系统，允许程序员创建新的语法，甚至是嵌入Lisp中的新的特定于域的语言。代码和数据的可互换性也为Lisp提供了即时可识别的语法。所有程序代码都写为s表达式或带括号的列表。函数调用或语法形式被写成一个列表，函数或运算符的名称在前，参数在后；例如，可以使用（f arg1 arg2 arg3）调用具有三个参数的函数f。 主页： https://en.wikipedia.org/wiki/Lisp_%28programming_language%29 相关软件： ACL2型；NQTHM公司；哈斯克尔；毫升；Coq公司；减少；Smalltalk公司；伊斯兰教；DrScheme博士；塞西尔；HOL公司；蟒蛇；阿达95；欧兹；迪伦；公共回路；艾菲尔；方案；EAT（吃）；肯佐 引用于： 115文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 通用LISP。语言。第2版。 Zbl 0757.68008号盖·利·朱·斯蒂尔（Guy L.jun Steele）。 1990 全部的 前5名189位作者引用 9 J Strother摩尔 7 马特·考夫曼 6 何塞·路易斯·鲁伊斯·雷纳 5 马提亚斯·费莱森 5 鲁比奥·加西亚、朱利奥·杰苏斯 4 Martín-Mateos，Francisco-Jesüs 三 阿隆索、何塞·安东尼奥 三 纳鸿·德肖维茨 三 玛丽亚·何塞·伊达尔戈 三 爱德华·马丁·莱因戈尔德 2 罗伯特·博伊尔。 2 罗伯特·布鲁斯，芬德勒 2 马修·弗拉特 2 尼尔·D·琼斯。 2 Laureano Lambán 2 雅各布·菲利普斯·梅贾德 2 格雷格·迈克尔森 2 维科·帕斯夸尔 2 桑迪普·雷 2 大卫·鲁西诺夫。 2 弗朗西斯·谢尔盖拉特 2 克里斯托夫·沃尔特 1 马丁·阿巴迪 1 阿尔特·卡奇，哈桑 1 美国P.H.M。 1 F.奥尔尼。 1 爱德华·艾瓜德 1 亨德里克·彼得·巴伦德雷格特 1 克里斯蒂安·鲍尔（Christian W.Bauer）。 1 尼尔森·H·F·毕比。 1 Ted Bohdan Belytschko 1 阿米尔·本·阿姆拉姆。 1 毛里齐奥·比埃利 1 吉尔赫梅·比腾古特 1 波莉，哈罗德 1 艾伦·H·伯宁。 1 弗雷德·布雷克斯（Fred F.Brackx）。 1 品牌，Per 1 布莱恩·查德威克 1 夏尔马·查克拉瓦蒂 1 钱伯斯，克雷格 1 A.N.克拉克。 1 迈克尔·克拉克森。 1 丹尼斯·康塔莱斯 1 罗伯特·马尔科姆·科尔利斯 1 胡安·何塞·科斯塔 1 瑞安·库佩普 1 罗伯特·坎宁安。 1 詹姆斯·哈罗德·达文波特 1 Oege de Moor公司 1 莱昂纳多·布鲁诺·德·萨 1 埃里克·D·德曼。 1 德布里特，安德烈 1 艾蒂安·德布里特 1 塞萨尔·多明格斯 1 加里·德雷舍尔（Gary L.Drescher）。 1 迪尼斯·杜契尔 1 罗兰·杜库瑙 1 亚历杭德罗·杜兰 1 Dybvig，R.肯特 1 瑞希德·埃哈希德 1 理查德·J·法特曼。 1 丹尼尔·费尔蒂 1 罗杰·费雷尔 1 雅各布，鱼 1 凯萨琳·费希尔 1 比约恩弗里曼-本森 1 亚历山大·弗林克 1 雅克·加里格 1 安斯特·迪特尔·吉尔斯（Ernst Dieter Gilles） 1 马丁·金克尔 1 马克·冈萨雷斯 1 本·格林曼 1 大卫·A·格雷夫。 1 吉奥瓦尼·吉达 1 Masami Hagiya 1 凯文·哈蒙德 1 赛义夫·哈里迪 1 阿米·哈普特曼 1 马丁·亨茨 1 罗伯特·希布 1 Yuuji Ichisugi 1 M.Kemal伊南 1 丹尼斯·杰斯佩森。 1 Jean-Pierre Jouannaud 1 皮埃尔·朱弗洛特 1 川谷义彦 1 Yukiyoshi Kameyama 1 克洛德·基什内尔 1 赫莱内·基什内尔 1 理查德·克雷克尔 1 亚基拉·库里哈拉 1 罗伯特·P·库尔珊（Robert P.Kurshan）。 1 杰苏斯·拉巴特 1 斯特凡·兰格曼 1 汉斯·朗马克 1 克里翁·利未 1 卡尔·J·利伯海尔。 1 大卫·J·N·莱姆比尔。 1 格斯·洛佩兹 …还有89位作者 全部的 前5名48篇连载文章中引用 8 函数编程杂志 7 符号计算杂志 5 计算机程序设计科学 5 自动化推理杂志 4 理论计算机科学 2 人工智能 2 计算机和结构 2 计算的形式方面 2 高阶和符号计算 2 应用逻辑杂志 2 计算机科学课堂讲稿 1 信息学报 1 计算机与数学及其应用 1 计算机物理通信 1 信息处理信件 1 东京数学杂志 1 SIAM科学与统计计算杂志 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 新一代计算 1 算法 1 国际并行程序设计杂志 1 信息与计算 1 数据与知识工程 1 国际高速计算杂志 1 离散事件动态系统 1 尤约。南斯拉夫运筹学杂志 1 ACM通信 1 欧洲运筹学杂志 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 数学科学公报 1 符号逻辑公报 1 数学与人工智能年鉴 1 多体系统动力学 1 非线性动力学 1 动力系统的数学和计算机建模 1 伦敦皇家学会会刊。系列A.数学、物理和工程科学 1 LMS计算与数学杂志 1 逻辑程序设计理论与实践 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲：马特马斯 1 复杂系统研究进展 1 CWI拖拉机 1 人工智能及其应用的前沿 1 数学及其应用（多德雷赫特） 1 北约ASI系列。F.系列计算机与系统科学 1 进化情报 1 概率与数理统计中的威利级数 全部的 前5名在20个字段中引用 98 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 5 总体主题；集合（00-XX） 5 数值分析（65-XX） 三 历史和传记（01-XX） 三 代数拓扑（55-XX） 三 粒子和系统力学（70-XX） 2 代数几何（14-XX） 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 非结合环与代数（17-XX） 1 范畴理论；同调代数（18-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文