Lisp

Lisp（历史上，LISP）是一个具有悠久历史和独特的、完全括号的波兰前缀表示法的计算机编程语言家族。（1）最初在1958中指定，LISP是当今广泛使用的第二个最古老的高级编程语言；只有FORTRAN是较老的（一年）。与FORTRAN一样，LISP自成立以来就发生了很大的变化，在其历史上也存在着许多方言。今天，最广泛使用的通用LISP方言是常见的LISP和方案。Lisp最初被创建为计算机程序的实用数学符号，受阿隆佐教堂的lambda演算的符号影响。它很快成为人工智能（AI）研究的首选编程语言。作为最早的编程语言之一，LISP开创了计算机科学的许多思想，包括树数据结构、自动存储管理、动态分型、条件句、高阶函数、递归和自托管编译器。〔2〕名称LISP源于“列表处理”。链表是LISP语言的主要数据结构之一，LISP源代码本身是由列表组成的。因此，LISP程序可以将源代码作为数据结构来操作，从而产生允许程序员在Lisp中嵌入新语法或甚至新领域特定语言的宏系统。代码和数据的互换性也使LISP具有即时可识别的语法。所有的程序代码都被写为S表达式或括号化的列表。函数调用或语法形式首先被写为具有函数或运算符名称的列表，并且参数如下；例如，使用三个参数的函数f可以使用（f ARG1 ARG2 ARG3）调用。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（125篇）1标准条款）

显示结果1至20的125。
按年份排序（引文）
  1. Kaufmann，Matt；穆尔，J. Strother：一阶设置中的有限二阶泛函（2020）
  2. 格林曼，本；泷川，阿苏穆；新，Max S.；Feltey，丹尼尔；Findler，Robert Bruce；维特克，简，Felleisen，马蒂亚斯：如何评价渐进式系统的性能（2019）
  3. 穆尔，J. Strother：从纯LISP定理证明者到ACL2（2019）的里程碑
  4. Reigod，Edward M.；德肖维茨，NACHUM：计算器计算。终极版（2018）
  5. 毕比，Nelson H. F.：数学函数计算手册。使用Mthcw便携式软件库编程（2017）
  6. W·托马斯，威默，克里斯蒂安；斯塔德勒，卢卡斯：Java的无限制安全动态代码演化（2013）伊波尔特
  7. Ducournau，罗兰；PrimaT，Je:多元继承的元语义（2011）
  8. 查德威克，布莱恩；Lieberherr，卡尔：使用自适应遍历的泛型编程的功能方法（2010）
  9. Culpepper，瑞安；Felleisen，马蒂亚斯：调试卫生宏（2010）
  10. 德米恩，Erik D.；郎耳满，斯特凡；价格，埃里克：持续有效的版本控制尝试（2010）
  11. Langmaack，汉斯：汤普森Goeligk型特洛伊木马的产生、入侵、检测与预防（2010）
  12. Medina Bulo，Inmaculada；Palomo Lozano，弗朗西斯科；Ruiz Reina，Jos -路易斯：ACL2（2010）中ToE算法的一个验证的公共LISP实现
  13. Pirkelbauer，彼得；SooDykyy，Yuriy；Struoutrup，BjARNE: C++开放式多方法的设计与评价（2010）
  14. 树桩，亚伦：直接反射元编程（2010）
  15. 布列松，姬恩；Agon，卡洛斯；阿萨亚格，G·雷拉德：OpenISPLE中的Visual Lisp/Culs程序设计（2009）伊波尔特
  16. Des Sa，Leonardo Bruno；MeSiga，安东尼奥：利用邻接矩阵进化合成低灵敏度数字滤波器（2009）
  17. Kaufmann、Matt、穆尔、J. Strother、瑞、桑迪、瑞伯、埃里克：将外部演绎工具与ACL2（2009）结合起来
  18. Francisco Jesus，Rubio，胡里奥；Ruiz Reina，Jose Luis：高田贤三系统中单纯退化程序的ACL2验证（2009）
  19. Sperber，米迦勒；Dybvig，R. Kent；Palt，马修；van Straaten，Anton；Findler，RoBuy；Fig，Y:修改（^ 6）算法语言方案的报告（2009）
  20. 韦塞尔，米迦勒；Mulle，Ralf:基于本体的信息系统的灵活软件体系结构（2009）