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)