口齿不清

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)调用。


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 下一个