GNU Common Lisp

✍ dations ◷ 2025-07-28 01:23:18 #GNU Common Lisp

GNU Common Lisp(GCL),是GNU计划的ANSI Common Lisp编译器,它是Kyoto Common Lisp(英语:Kyoto Common Lisp)的演化发展。它通过首先生成C代码并接着调用C编译器,产生本机目标代码。

GCL是一些大型项目所选择的实现,包括数学工具Maxima、AXIOM(英语:Axiom (computer algebra system))、HOL88(英语:HOL (proof assistant))和ACL2。GCL运行在Linux上的十一种架构下,还有FreeBSD、Solaris、Mac OS X和Microsoft Windows。

相关

  • 王占国王占国(1938年12月29日—),河南镇平人,中国半导体材料物理学家。1962年毕业于南开大学物理系。中国科学院半导体所研究员。1995年当选为中国科学院院士。
  • 斯蒂芬岛异鹩斯蒂芬岛异鹩(Xenicus (Traversia) lyalli)是新西兰斯蒂芬岛的一种雀,主要吃昆虫。它们都是岛内的居民,且已经灭绝。斯蒂芬岛异鹩的学名是为纪念灯塔的助理David Lyall,因为是他
  • 耿庆国耿庆国(1941年1月-),中国地质学家,北京市人,满族。耿庆国在1965年毕业于中国科技大学地球物理系地震专业,分配到中华人民共和国地质部物探研究所工作。1970年调北京地震队从事地震
  • 平方反比定律反平方定律是一个物理学定律,又称平方反比定律、逆平方律、反平方律;如果任何一个物理定律中,某种物理量的分布或强度,会按照距离源的平方反比而下降,那么这个定律就可以称为是一
  • 大安水蓑衣大安水蓑衣(学名:;拉丁语:pogon = 髯毛,calyx = 花萼),又称毛萼水蓑衣,为爵床科水蓑衣属的多年生水生挺水植物,为台湾特有种。本种在1917年由岛田弥市采得,最初描述是由早田文藏于1920
  • 笭菁笭菁,台湾爱情、恐怖小说作家,近年以恐怖小说广为人知。早期以爱情题材创作,后渐渐转变为以恐怖题材创作为主。曾受邀替台湾知名游戏《返校》创作外传小说《返校-恶梦再续-》。
  • 京川舞京川舞(1993年12月28日-),日本足球运动员,日本国家女子足球队成员。从2012年到2015年,他共为日本国家女子足球队出场5次。
  • 别德马火山别德马火山(西班牙语:Volcán Viedma),是南美洲的火山,位于阿根廷和智利有主权争议的地区,海拔高度1,500米,北面是劳塔罗火山,南面是阿吉莱拉火山,最近一次火山喷发在1988年11月发生
  • 王小波、李顺起义王小波、李顺起义发生在北宋初期。因蜀地赋税过重,当地农民王小波以“均贫富”为口号率众起义,此后不久王小波战死,由李顺接管起义队伍并一度攻下成都,并在成都及其周边范围建立了李蜀政权。但由于后期出现重大指挥失误等多方面原因,起义最终失败。早在孟氏蜀国时期,由于四川盆地本身十分富饶,后蜀的国库也日益充盈起来。后蜀被灭的时候,其国库悉数被收缴。此后当地的主要官员为了刮地皮,除了在成都收取常规赋税之外,还置办了博买务,当地居民所有的纺织品不许商旅私自买卖,全部由官方统一“收买”,名为收买实为征收,每次收走的纺织物都
  • 威廉·D·马修威廉·D·马修(英语:William Diller Matthew,1871年2月19日-1930年9月24日)是一位加拿大古生物学家,从事灵长类和其它哺乳动物化石研究,曾担任美国自然史博物馆策展人和加利福尼亚大学柏克莱分校的古生物学博物馆馆长。