gcl-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0

From: Matt Kaufmann
Subject: Re: [Gcl-devel] Re: "COMMON-LISP" package in GCL 2.5.0
Date: Fri, 23 Aug 2002 09:59:31 -0500 (CDT) 
Hi, Camm --

The page looks good to me -- I don't have anything to add.

But an email to a gcl users mailing list (if there is such a thing) could
solicit information that could be incorporated.  If you send such an email, I'd
be happy to forward it to the ACL2 mailing list in case anyone has anything to
add.

-- Matt
   cc: address@hidden
   From: Camm Maguire <address@hidden>
   Date: 23 Aug 2002 01:19:34 -0400

   Greetings!  Thank you both for your offers to look over the web page.
   I must confess not knowing much about how to write a good page, so if
   either of you could help, that would be great.

   I'm enclosing the current page at the bottom of this note.  In
   general, I think we should make some mention of the history of gcl,
   some of its major uses, (in addition to maxima and acl2, we should
   include axiom here to my understanding), the uniqueness of its design,
   its portability and good performance, the preliminary state of ansi
   compliance, and all the many years of work put in by Dr. Schelter.  If
   we could make it look 'modern' as silly as that sounds, it might help
   attract some interest.  Any other ideas most welcome.  And thanks
   again!  If it proves too burdensome, please so state -- not a
   problem.  

   Take care,


   =============================================================================
   <!-- This is a boilerplate for the web pages used in the GNU project. -->
   <!--      Please change it according to specifications -->
   <!--      and THEN DELETE THESE LINES !!!! -->
   <!DOCTYPE html PUBLIC "-//IETF//DTD HTML 2.0//EN">
   <HTML>
   <HEAD>
   <TITLE>GCL - GNU Project - Free Software Foundation (FSF)</TITLE>
   <LINK REV="made" HREF="mailto:address@hidden";>
   <META NAME="keywords" CONTENT="gcl">
   </HEAD>
   <BODY BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#1F00FF" ALINK="#FF0000" 
VLINK="#9900DD">
   <H3>GNU Common Lisp</H3>
   <!-- When using this boilerplate, remember to: -->
   <!--        -replace the "???" in both places above. -->
   <!--        -replace the "boilerplate." several places below. -->

   <!-- when you replace this graphics, make sure you change the link
        to also point to the correct html page.
        If you make a new graphics for this page, make sure it has
        a corresponding entry in /graphics/graphics.html                     -->
   <A HREF="/graphics/agnuhead.html"><IMG SRC="/graphics/gnu-head-sm.jpg"
      ALT=" [image of the Head of a GNU] "
      WIDTH="129" HEIGHT="122"></A>

   [
   <!-- Please keep this list alphabetical -->
   <!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
     <A HREF="/software/gcl/gcl.html">English</A>
   <!-- | A HREF="/boilerplate.LG.html" LANGUAGE /A  -->
   <!-- Please keep this list alphabetical -->
   <!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
   ]

   <P>
   <!-- Replace this list with the page's contents. -->
   <H4>Table of Contents</H4>
   <UL>
     <LI><A HREF="#introduction" NAME="TOCintroduction">Introduction to GCL</A>
     <LI><A HREF="#downloading" NAME="TOCdownloading">Downloading GCL</A>
   </UL>

   <P>
   <HR>
   <P>
   <H4><A HREF="#TOCintroduction" NAME="introduction">Introduction to 
GCL</A></H4>
   <P>
   GNU Common Lisp (GCL, formerly known as Austin Kyoto Common Lisp) is a
   compiler and interpreter for Common Lisp.  GCL is very portable and
   extremely efficient on a wide class of applications, and compares
   favorably in performance with commercial Lisps on several large
   theorem--prover and symbolic algebra systems.  GCL supports the CLtL1
   specification.
   <p>
   Some advantages
   <ul>
   <li>GCL compiles to C and then uses the native optimizing C compiler (e.g.,
   GCC), giving great portability.
   <li>Highly efficient.  A function call is basically the same speed
   as a C function call, in fact identical to a C function call
   via a pointer.
   <li>It has a source level Lisp debugger (dbl) for interpreted
   code, letting you step a line at a time, while displaying the your
   position in an Emacs window.  This is invaluable when trying to
   understand large systems.
   <li>Has pioneered conservative Garbage Collection schemes.
   <li>Also has a garbage collection scheme, for only recent allocations,
   based on native page fault handling.  This is the stratified garbage
   collection (SGC).
   <li>Very reliable.  People have huge chip verification suites which
   run for extended periods.  I have had computations which ran for weeks.
   There are no leaks.
   <li>Very fast.   I have numerous users who claim their code runs  two times
   under GCL, than in competitive lisps. 
   <li>New features such as fast regexp matching (using my new algorithm).
   <li>Socket code is being added.
   <li>A new Windows 95 port is in progress.
   <li>Can be used in commercial applications, since covered by the
   Gnu library license, which permits you to distribute a system including
   GCL, as long as you distribute your binary .o files as well.
   <li>built in interface to Tk widget system.  Allows a mixture
   of tcl and common lisp to be used in a user interface--your choice
   which you use.
   <li>Special permission can be given for other commercial applications.
   <li>Support available from the <a mailto:address@hidden>developer</a>.
   </ul>

   <P>
   <H4><A HREF="#TOCdownloading" NAME="downloading">Downloading GCL</A></H4>
   GCL can be found on <A 
HREF="http://ftp.gnu.org/gnu/gcl/";>http://ftp.gnu.org/gnu/gcl/</A>
   or one of <A HREF="/prep/ftp.html">the mirrors</A>.
   <P>
   GCL can also be downloaded from 
   <a 
href="http://www.ma.utexas.edu/users/wfs/pub/gcl/";>http://www.ma.utexas.edu/users/wfs/pub/gcl/</a>.
   <br>
   The source is now under <a href=http://www.ma.utexas.edu/cvs.html>cvs</a> 
and you can download various versions,
   including any changes.
   <P>
   <b>
   William F. Schelter
   </b>
   <!--
     * If needed, change the copyright block at the bottom. In general, all 
pages
       on the GNU web server should have the section about verbatim copying. 
Please
       do NOT remove this without talking with the webmasters first.
   -->
   <HR>

   [
   <!-- Please keep this list alphabetical -->
   <!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
     <A HREF="/software/gc/gcl.html">English</A>
   <!-- | A HREF="/boilerplate.LG.html" LANGUAGE /A  -->
   <!-- Please keep this list alphabetical -->
   <!-- PLEASE UPDATE THE LIST AT THE BOTTOM (OR TOP) OF THE PAGE TOO! -->
   ]

   <P>
   Return to <A HREF="/home.html">GNU's home page</A>.
   <P>

   Please send FSF &amp; GNU inquiries &amp; questions to 

   <A HREF="mailto:address@hidden";><EM>address@hidden</EM></A>.
   There are also <A HREF="/home.html#ContactInfo">other ways to
   contact</A> the FSF.
   <P>

   Please send comments on these web pages to

   <A HREF="mailto:address@hidden";><EM>address@hidden</EM></A>,
   send other questions to
   <A HREF="mailto:address@hidden";><EM>address@hidden</EM></A>.
   <P>
   Copyright (C) 2000 Free Software Foundation, Inc.,
   59 Temple Place - Suite 330, Boston, MA  02111,  USA
   <P>
   Verbatim copying and distribution of this entire article is
   permitted in any medium, provided this notice is preserved.
   <P>
   Updated:
   <!-- hhmts start -->
    3 Dec 2000 tower
   <!-- hhmts end -->
   <HR>
   </BODY>
   </HTML>
   =============================================================================

   "Gordon Shaw Novak" <address@hidden> writes:

   > Camm,
   >    I'm willing to volunteer for something if I can find something
   > where I can be useful.  I can hack web pages, but I'm not sure
   > I know enough about what should go there to be useful.
   > Best regards, Gordon
   > 
   > 

   -- 
   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]