From: see.signature
Subject: partial evaluation
Date: 
Message-ID: <slrn90o8l0.1ka.anyone@Flex111.dNWL.WAU.NL>
Hi lispers,

is there a partial evaluator for common lisp availiable?  Has someone
experience in using it?  

Has someone pointers to or experience with code generation from lisp
into fortran or C.  My interest lies in the abstract description of a
partial differential equation solver and then "compiling" this
description into "partial evaluated" fortran or C.  This kind of code
makes a lot of use of matrix manipulations.  Because there are a
number of very good optimized libraries availiable for fortran and C I
want to have the possibility to call them.

thanks for any help,

Marc

-- 
------------------------------------------------------------------------------
email: marc dot hoffmann at users dot whh dot wau dot nl
------------------------------------------------------------------------------

From: Kent M Pitman
Subject: Re: partial evaluation
Date: 
Message-ID: <sfwpuk33hf8.fsf@world.std.com>
······@No-Such-Domain.anywhere (see.signature) writes:

> Hi lispers,
> 
> is there a partial evaluator for common lisp availiable?  Has someone
> experience in using it?  
> 
> Has someone pointers to or experience with code generation from lisp
> into fortran or C.  My interest lies in the abstract description of a
> partial differential equation solver and then "compiling" this
> description into "partial evaluated" fortran or C.  This kind of code
> makes a lot of use of matrix manipulations.  Because there are a
> number of very good optimized libraries availiable for fortran and C I
> want to have the possibility to call them.
> 
> thanks for any help,

I'd say check out Macsyma (http://www.macsyma.com/), which is a
Lisp-based product that does all kidns of symbolic algebra.  I vaguely
recall that it has some capabilities already built in for generating
FORTRAN from certain symbolic expressions that might be handy to you.
But certainly its builtin algorithms and representations for matrices
and PDE's and other mathetmatical constructs are going to be handy.
It's not that you can't start from scratch in Lisp, but there are
hundreds of mathemetician-years of experience built into Macsyma
already and it would be a shame not to leverage them if you can afford
the price.  (I have literally no idea of the price these days.  You'll
have to ask them.)
From: Paolo Amoroso
Subject: Re: partial evaluation
Date: 
Message-ID: <0CQNOhkwRk5xvX7QEDSca70T8R50@4ax.com>
On 10 Nov 2000 16:35:14 +0100, ······@No-Such-Domain.anywhere
(see.signature) wrote:

> Has someone pointers to or experience with code generation from lisp
> into fortran or C.  My interest lies in the abstract description of a

You may check CLiCC, a translator from a subset of pre CLtL2 Common Lisp to
C:

  ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/clicc-0.6.4.tar.gz

It is no longer maintained.

Eclipse is a commercial Common Lisp to C translator by Howard Stearns:

 http://www.elwood.com/eclipse-info/

At that site you may be able to find the paper "Lisp/C Integration in
Eclipse" by Stearns.


Paolo
-- 
EncyCMUCLopedia * Extensive collection of CMU Common Lisp documentation
http://cvs2.cons.org:8000/cmucl/doc/EncyCMUCLopedia/
From: Martin ``rydis'' Rydstr|m
Subject: Re: partial evaluation
Date: 
Message-ID: <xf1r94i3dxl.fsf@licia.dtek.chalmers.se>
>>>>> "ss" == see signature <······@No-Such-Domain.anywhere> writes:
ss> Has someone pointers to or experience with code generation from lisp
ss> into fortran or C.  My interest lies in the abstract description of a
ss> partial differential equation solver and then "compiling" this
ss> description into "partial evaluated" fortran or C.  This kind of code
ss> makes a lot of use of matrix manipulations.  Because there are a
ss> number of very good optimized libraries availiable for fortran and C I
ss> want to have the possibility to call them.

You might want to take a look at <URL:http://matlisp.sourceforge.net>.
It's rather the other way around, calling C/Fortran libraries from CL,
but it might be interesting anyway.

TTFN,

'mr

-- 
Martin Rydstr|m,  ·····@cd.chalmers.se ; rationalize till I'm blue in the face,
				       ; you cannot lose if you throw the race.
     Looking for a LispM to play with. Any and all offers/ideas appreciated.