| WRS06 | The Sixth International Workshop on Reduction Strategies in Rewriting and Programming Seattle, August 11, 2006 |
Program
Friday, August 11th
Friday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Joint RULE/WRS Invited Talk
Location:
Suite 2628
| 09:00 | Claude Kirchner
(INRIA & LORIA, Nancy, France) Rewriting (your) Calculus [pdf] |
10:00‑10:30 Session 1
Location:
Suite 2828
| 10:00 | Naoki Nishida
, Tomohiro Mizutani and Masahiko Sakai
Transformation for Refining Unraveled Conditional Term Rewriting Systems |
10:30‑11:00 Break
11:00‑12:30 Session 2: Programming Languages and Implementations
Location:
Suite 2828
| 11:00 | Horatiu Cirstea, Germain Faure, Maribel Fernández
, Ian Mackie and Francois-Regis Sinot New Evaluation Strategies for Functional Languages |
| 11:30 | Mercedes Hidalgo-Herrero, Alberto Verdejo
and Yolanda Ortega-Mallen Using Maude and its strategies for analyzing Eden semantics |
| 12:00 | Muck van Weerdenburg An account of implementing applicative term rewriting |
12:30‑14:00 Lunch break
14:00‑15:00 Joint RULE/WRS Invited Talk
Location:
Suite 2628
| 14:00 | Dick Kieburtz
(OGI School of Science and Engineering, OHSU, Portland, Oregon) Programmed Strategies for Program Verification [ppt] |
15:00‑15:30 Session 3
Location:
Suite 2828
| 15:00 | Claudio Sacerdoti Coen
Reduction and conversion strategies for the Calculus of (co)Inductive Constructions: Part I |
15:30‑16:00 Break
16:00‑17:00 Session 4: Application of Strategies
Location:
Suite 2828
| 16:00 | Karl Trygve Kalleberg
and Eelco Visser
Strategic Graph Rewriting |
| 16:30 | Sandra Alves
, Maribel Fernández
, Mario Florido and Ian Mackie The Power of Closed Reduction Strategies |
17:00‑17:30 Session 5: WRS Business Meeting
Location:
Suite 2828
