Re: Re: compiling XPath to Scheme source code

>>>>> "Oleg" == Oleg Kiselyov <[email protected]> writes:

Oleg> Isn't it like the specialization of the general sxpath function of the
Oleg> type
Oleg> 	sxpath:: SXPath -> SXML -> Nodelist
Oleg> to the particular value of SXPath? Then we are talking about Partial
Oleg> Evaluation (PE for short) -- which is a vast and developed area. I
Oleg> wonder why Michael Sperber hasn't said anything: he wrote several
Oleg> well-cited papers on this topic (as well as a partial evaluator for
Oleg> the full Scheme, right Mike?). 

You're right in that PE should completely cover this problem.  I wrote
some parts of PGG (but PGG is essentially the brainchild of Peter
Thiemann) at

http://www.informatik.uni-freiburg.de/proglang/software/pgg/

which should handle the task at hand just fine.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla


-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now. 
http://productguide.itmanagersjournal.com/