sorry i haven't replied on your message about a subtrack in sts. I'll mail you back first change i get in 2005.
thomas.
>Dear source transformation people,
>
>we are considering the option of arranging a Source Transformation
>Systems Workshop next year (2005), but we need a "hands-up" count, to
>see if the interest of another one this soon is there.
>
>GPCE'05 is in Tallin, Estonia, 29.9.-1.10.2005, and the workshop would
>be on 27.9.05 and/or on 28.9.05, see
> http://www.program-transformation.org/Gpce05/
>for the general GPCE05 information.
>Unfortunately these dates are very close to SCAM 2005,
> http://www.dcs.kcl.ac.uk/staff/mark/scam2005/
>which is in Budapest, Hungary, 30.9.-1.10.05. as part of ICSM2005
>(25.-30.9.2005).
>There are plenty of connections from Tallin to Hungary (not necessarily
>direct), so it is possible to participate in both a STS05 and SCAM05,
>but you will miss out on the main conferences if you do that.
>
>
>So please reply directly to me or to stsw04(a)ii.uib.no with an answer to
>the following questions:
>
>- Will you want to attend a STS05 as part og GPCE05 in Tallin?
>
>
>- Do you think the STS04 format should be repeated (short position
> papers and discussion sessions for a full day)?
>
>
>- Should we rather have full papers (rather than position papers)?
> If so, in the form of many short presentations or a few long ones?
>
>
>- Would you like the addition of 1-3 special themes sessions (up to 1/2
> day each) focusing on one of the many research questions?
> In this case, what themes do you see as most important?
>
>
>
>Please add comments and suggestions along with your other answers.
>The sooner you respond, the easier it will be to deside about STS05.
>
>
>Have a nice Christmas and a happy new year,
> Magne
>
>
>_______________________________________________
>sts mailing list
>sts(a)lists.urchin.earth.li
>http://urchin.earth.li/mailman/listinfo/sts
>
>
Dear source transformation people,
we are considering the option of arranging a Source Transformation
Systems Workshop next year (2005), but we need a "hands-up" count, to
see if the interest of another one this soon is there.
GPCE'05 is in Tallin, Estonia, 29.9.-1.10.2005, and the workshop would
be on 27.9.05 and/or on 28.9.05, see
http://www.program-transformation.org/Gpce05/
for the general GPCE05 information.
Unfortunately these dates are very close to SCAM 2005,
http://www.dcs.kcl.ac.uk/staff/mark/scam2005/
which is in Budapest, Hungary, 30.9.-1.10.05. as part of ICSM2005
(25.-30.9.2005).
There are plenty of connections from Tallin to Hungary (not necessarily
direct), so it is possible to participate in both a STS05 and SCAM05,
but you will miss out on the main conferences if you do that.
So please reply directly to me or to stsw04(a)ii.uib.no with an answer to
the following questions:
- Will you want to attend a STS05 as part og GPCE05 in Tallin?
- Do you think the STS04 format should be repeated (short position
papers and discussion sessions for a full day)?
- Should we rather have full papers (rather than position papers)?
If so, in the form of many short presentations or a few long ones?
- Would you like the addition of 1-3 special themes sessions (up to 1/2
day each) focusing on one of the many research questions?
In this case, what themes do you see as most important?
Please add comments and suggestions along with your other answers.
The sooner you respond, the easier it will be to deside about STS05.
Have a nice Christmas and a happy new year,
Magne
Hi,
thanks to the upload efforts of Ganesh Sittampalam, the proceedings and
most of the slides from the Source Transformation Systems Workshop 2004
(STS04) are now online at
http://www.program-transformation.org/Sts/STS04
Enjoy!
Magne
At the STS workshop we had quite a discussion about dynamic rules after
a presentation which I had not intended to be about that subject. If
you want to find out all about the idea, I recommend the following two
recent papers, which cover the design and illustrate it with many
examples. The first paper gives a complete overview of dynamic rules,
including scope labels, extended dynamic rules, and union and
intersection of rulesets. The second paper extends these basic dynamic
rules with `dependent' dynamic rules.
You can find preprints on my publication page
http://www.cs.uu.nl/groups/ST/Visser/PublicationsByYear
or at the Stratego site http://www.stratego-language.org Comments or
even discussion are welcome of course.
cheers,
-- Eelco
------------------------------------------------------------------------
Martin Bravenboer, Arthur van Dam, Karina Olmos and Eelco Visser.
Program Transformation with Scoped Dynamic Rewrite Rules. Special issue
on Program Transformation of Fundamenta Informaticae (Conditionally
accepted November 2004).
------------------------------------------------------------------------
Abstract
The applicability of term rewriting to program transformation is limited
by the lack of control over rule application and by the context-free
nature of rewrite rules. The first problem is addressed by languages
supporting user-definable rewriting strategies. The second problem is
addressed by the extension of rewriting strategies with scoped dynamic
rewrite rules. Dynamic rules are defined at run-time and can access
variables available from their definition context. Rules defined within
a rule scope are automatically retracted at the end of that scope. In
this paper we explore the design space of dynamic rules, their
application to transformation problems, and their implementation. The
technique is formally defined by extending the operational semantics
underlying the program transformation language Stratego, and illustrated
by means of several program tranformations in Stratego, including
constant propagation, bound variable renaming, dead code elimination,
function inlining, and function specialization.
------------------------------------------------------------------------
Karina Olmos and Eelco Visser. Composing Source-to-Source Data-Flow
Transformations with Rewriting Strategies and Dependent Dynamic Rewrite
Rules. In R. Bodik, 14th International Conference on Compiler
Construction (CC'05). Edinburgh, April 2005. (Accepted for publication)
------------------------------------------------------------------------
Abstract
Data-flow transformations used in optimizing compilers are also useful
in other programming tools such as code generators, aspect weavers,
domain- and application-specific optimizers, and refactoring tools.
These applications require source-to-source transformations rather than
transformations on a low-level intermediate representation.
In this paper we describe the composition of source-to-source data-flow
transformations in the program transformation language Stratego. The
language supports the high-level specification of transformations by
means of rewriting strategy combinators that allow a natural modeling of
data- and control-flow without committing to a specific source language.
Data-flow facts are propagated using dynamic rewriting rules. In
particular, we introduce the concept of dependent dynamic rewrite rules,
for modeling the dependencies of data-flow facts on program entitities
such as variables. The approach supports the combination of analysis and
transformation, the combination of multiple transformations, the
combination with other types of transformations, and the correct
treatment of variable binding constructs and lexical scope to avoid
variable capture.
--
------------------------------------------------------------------------
Eelco Visser Institute of Information and Computing Sciences
mail:visser@cs.uu.nl Universiteit Utrecht
or:visser@acm.org P.O. Box 80089, 3508 TB Utrecht, The Netherlands
http://www.cs.uu.nl/~visser/ Phone: +31-30-253 4592 Fax: +31-30-251 3791
------------------------------------------------------------------------