口齿不清

Lisp（历史上，Lisp）是一个计算机编程语言家族，有着悠久的历史和独特的、带圆括号的波兰前缀符号。[1]最初于1958年指定，Lisp是当今广泛使用的第二古老的高级编程语言；只有Fortran比它老（一年）。与Fortran一样，Lisp自早期以来已经发生了很大的变化，并且在其历史上存在着许多方言。今天，最广为人知的通用Lisp方言是通用Lisp和Scheme。Lisp最初是作为一种实用的计算机程序的数学符号而创建的，受alonzochurch的lambda演算的影响。它很快就成为人工智能（AI）研究的首选编程语言。作为最早的编程语言之一，Lisp开创了计算机科学的许多思想，包括树型数据结构、自动存储管理、动态类型、条件语句、高阶函数、递归和自托管编译器。[2]Lisp的名称来源于“列表处理”。链表是Lisp语言的主要数据结构之一，Lisp源代码本身就是由列表组成的。因此，Lisp程序可以将源代码作为数据结构进行操作，从而产生了宏系统，允许程序员在Lisp中创建新的语法，甚至是新的领域特定语言。代码和数据的可互换性也使Lisp具有了可立即识别的语法。或者用圆括号写的所有表达式。函数调用或语法形式被写成一个列表，函数或运算符的名称在前面，参数在后面；例如，接受三个参数的函数f可以使用（f arg1 arg2 arg3）调用。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献126篇,1标准件)

显示126个结果中的1到20个。
按年份排序(引用)

1 2 三 ... 5 6 7 下一个

  1. 考夫曼，马特；Moore，J Strother:一阶设置中的有限二阶功能（2020）
  2. 格林曼，本；Takikawa，阿育木；新的，Max S。；费尔泰，丹尼尔；芬德勒，罗伯特布鲁斯；维泰克，一月；Felleisen，Matthias：如何评估渐进式系统的性能（2019）
  3. Kurihara，Akira:关于Shimura曲线的同余关系和方程（2019）
  4. Moore，J.Strother:从纯Lisp定理证明者到ACL2的里程碑（2019）
  5. 莱因戈尔德，爱德华M。；德肖维茨，纳库姆：历法计算。终极版（2018）
  6. Beebe，Nelson H.F.：数学函数计算手册。使用MathCW便携式软件库编程（2017）
  7. Würthinger，托马斯；维默，基督教徒；Stadler，Lukas:Java的无限制和安全动态代码演化（2013）ioport公司
  8. 杜库诺，罗兰；Privat，Jean：多重继承的元建模语义（2011）
  9. 查德威克，布莱恩；Lieberherr，Karl:使用自适应遍历的泛型编程的函数方法（2010）
  10. 卡普珀，瑞安；Felleisen，Matthias:调试卫生宏（2010）
  11. 德梅因，埃里克·D。；兰格曼，斯特凡；Price，Eric：有效版本控制的融合持久性尝试（2010）
  12. Langmaack，Hans:关于Thompson-Goerigk类型的特洛伊木马，它们的产生，入侵，检测和预防（2010）
  13. 麦地那布鲁，英玛拉达；帕洛莫洛扎诺，旧金山；Ruiz Reina，José-Luis:ACL2中Buchberger算法的已验证的通用lisp实现（2010）
  14. 皮尔克鲍尔，彼得；索罗德基，尤里；Stroustrup，Bjarne:C++开放式多方法的设计与评估（2010）
  15. Stump，Aaron:直接反射式元编程（2010）
  16. 布列松，琼；阿贡，卡洛斯；anasaag，Gérard:OpenMusic中的visuallisp/CLOS编程（2009）ioport公司
  17. 列奥纳多·德伦纳多；梅斯基塔，安东尼奥：使用邻接矩阵的低灵敏度数字滤波器的进化合成（2009）
  18. 考夫曼，马特；摩尔，J.斯特罗瑟；雷，桑迪普；Reeber，Erik:将外部扣除工具与ACL2集成（2009）
  19. 马丁马特奥斯，弗朗西斯科耶稣；鲁比奥，朱利奥；Ruiz Reina，Jose Luis:Kenzo系统中简并程序的ACL2验证（2009）
  20. 斯珀伯，迈克尔；戴维格，R.肯特；马修·弗拉特；范斯特拉顿，安东；芬德勒，罗比；雅各布马修斯：修订（^6）算法语言方案报告（2009）

1 2 三 ... 5 6 7 下一个