[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: ACL2 seminar

From: Camm Maguire
Subject: [Gcl-devel] Re: ACL2 seminar
Date: 10 May 2005 11:23:33 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

[ cc: gcl-devel as readers there might be interested in this
information too.]


OK, didn't know a talk was desired in the end, but if everyone doesn't
mind it being rather informal and quickly put together, how about

GNU Common Lisp (GCL) is arguably the open source common lisp system
with the longest continuous history of production use.  It is also one
of the most portable, and most powerful.  GCL compiles lisp to native
object code with the help of the system's C compiler; loads native
code interactively into the running image; is able to write an exact
replica of the running memory image to disk, implements conservative
garbage collection with page-type memory balancing, fast copy
collecting of relocatable pages, and generational stratification of
the heap into read-only pages; implements function calls with the
speed of the underlying C via a function pointer, with the runtime
option of a slower call mechanism for debugging purposes; supports two
code profiling modes; provides facile access to arbitrary external C
or Fortran libraries; carries maxima, acl2, and axiom to all 12 Debian
GNU/Linux platforms, Windows, *BSD, and MacOSX; is performance
competitive with other high performance lisp systems; supports both
CLtL1 and ANSI dialects, the latter of which is a work in progress;
has developed an ANSI regression test suite which is regarded as the
most definitive openly available; and is licensed under the LGPL
guaranteeing its availability to users in the future.

Matt Kaufmann <address@hidden> writes:

> Hi, Camm --
> Warren Hunt tells me you'll be in Austin this Wednesday, through Friday
> morning, and at the UT seminar Wednesday afternoon.  I'm including Jared Davis
> on this email, since he organizes the ACL2 seminar at this time; I'm sure he'd
> be interested if you'd care to send a short abstract (and I'll post it on the
> seminar web page).
> It occurs to me that you might not be familiar with the depth of general
> ignorance most of us have about GCL.  Warren and Bob (Boyer) are the
> exceptions; I suspect most of the other dozen or so people at the seminar 
> won't
> know much about GCL other than that they use an ACL2 build that runs on it.
> I'm personally very much looking forward to learning some basics on Wednesday!
> Thanks --
> -- Matt

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]