From: Fernando D. Mato Mira
Subject: Self-applicable CL partial evaluator?
Date: 
Message-ID: <38C387DC.B1E6A7C7@iname.com>
Does anybody know if there's anything resembling a  CL->CL partial
evaluator written in CL around?

Thanks,

--
Fernando D. Mato Mira
Real-Time SW Eng & Networking
Advanced Systems Engineering Division
CSEM
Jaquet-Droz 1                   email: matomira AT acm DOT org
CH-2007 Neuchatel                 tel:       +41 (32) 720-5157
Switzerland                       FAX:       +41 (32) 720-5720

www.csem.ch      www.vrai.com     ligwww.epfl.ch/matomira.html
From: Hannu Koivisto
Subject: Re: Self-applicable CL partial evaluator?
Date: 
Message-ID: <87hfekupm0.fsf@senstation.vvf.fi>
"Fernando D. Mato Mira" <········@iname.com> writes:

| Does anybody know if there's anything resembling a  CL->CL partial
| evaluator written in CL around?

I don't know about its self-applicability, but I think the closest
to any CL partial evaluator you are going to find is Jeffrey Mark
Siskind's Partial, available at
<URL:http://www.neci.nj.nec.com/homepages/qobi/software.html>.

If you manage to find others, please inform about them here in
c.l.l or at least mail to me.

-- 
Hannu
From: Fernando D. Mato Mira
Subject: Re: Self-applicable CL partial evaluator?
Date: 
Message-ID: <38C3DF2C.584B55A4@iname.com>
Hannu Koivisto wrote:

> to any CL partial evaluator you are going to find is Jeffrey Mark
> Siskind's Partial, available at
> <URL:http://www.neci.nj.nec.com/homepages/qobi/software.html>.

Great! Now I only need some docs :->

Thanks,

--
Fernando D. Mato Mira
Real-Time SW Eng & Networking
Advanced Systems Engineering Division
CSEM
Jaquet-Droz 1                   email: matomira AT acm DOT org
CH-2007 Neuchatel                 tel:       +41 (32) 720-5157
Switzerland                       FAX:       +41 (32) 720-5720

www.csem.ch      www.vrai.com     ligwww.epfl.ch/matomira.html
comp.lang.lisp / 2000 / mar