Hi Ralf:

thank you for your response. We are trying
to make traversal strategies more useful for other programming
paradigms. With Shriram Krishnamurty from Brown,
Pengcheng Wu and I work on a functional way of using
traversal strategies. A paper is in preparation.

For me the essence of strategic programming is to
parameterize programs with arguments which have a strategic type.
By a strategic type I mean a type where the actual parameters
are an "expansion" of the strategic type. 
In other words, the formal parameter is a succinct representation
of each of the actual parameters.

Simple Example: 
Strategy s1; 
Strategy s2;
f(ClassGraph(s1, s2) cg){...}

ClassGraph is a strategic type. We can use any class graph
which is an expansion of s1 and s2.

The problem is that the function body might make other assumptions
on the class graph that are not expressed by the strategic type.
Then the program would fail.

I look forward to checking this intuition against your paper.

-- Karl

From ralf@cwi.nl  Sun Mar 31 06:49:02 2002
To: Karl Lieberherr <lieber@ccs.neu.edu>
Cc: Joost.Visser@cwi.nl, Eelco Visser <visser@cs.uu.nl>
Subject: Re: Strategic Programming

Dear Karl,
(cc to Eelco, Joost),

> I found your interesting paper on the web.
> I think this is a fruitful direction to follow.

Thanks for this encouragement.

The most important contribution of the essence paper
is however anyway to define a language-independent
notion of strategies, and to show how this notion
can be incarnated in several programming paradigms.

It would be great to keep in touch with you and your
team to see what you find out about the relation,
and also to make sure that our characterisation is
fair in all respects.

> The Essence of Strategic Programming
> Authors
> Ralf Laemmel and Eelco Visser and Joost Visser
> 
> http://www.cwi.nl/~ralf/lvv02/
> ralf@cs.vu.nl

I updated the web page to list both long and short
version. I recommend the long one because
it discusses other approaches, and related work
in more detail. 

I forwarded your email to Eelco and Joost, as well.

Regards,
Ralf

-- 
Dr.-Ing. Ralf Laemmel
CWI & VU, Amsterdam, The Netherlands
http://www.cwi.nl/~ralf/
http://www.cs.vu.nl/~ralf/