Searching for "Reduction strategies in rewriting and programming." – sorted by Relevance.
-
WRS’04 4th International Workshop on Reduction Strategies in Rewriting and Programming
- on Reduction Strategies in Rewriting and Programming Sergio Antoy and Yoshihito Toyama (eds.) ISSN 0935
- Add To MetaCart
-
A Survey of Strategies in Rule-Based Program Transformation Systems
- , number = 1, pages = {831-873}, note = {Special issue on Reduction Strategies in Rewriting and Programming
- Cited by 7 (1 self) – Add To MetaCart
-
1 Strategic Rewriting
- Workshop on Reduction Strategies in Rewriting and Programming. I sketch what I believe to be important
- Cited by 1 (0 self) – Add To MetaCart
-
Regular Sets of Descendants by
- ://www.univ-orleans.fr/SCIENCES/LIFO/Members/rety/ Keywords : term rewriting, strategy, tree automaton. 1 Introduction Reduction strategies in rewriting
- Add To MetaCart
-
The Seattle Sheraton Hotel and Towers
- on Reduction Strategies in Rewriting and Programming August 11th, 2006 Proceedings Editor: Sergio Antoy
- Add To MetaCart
-
Stratego - An Annotated Bibliography
- , editors, Workshop on Reduction Strategies in Rewriting and Programming (WRS'01), volume 57 of Electronic
- Add To MetaCart
-
Evaluation Strategies for Functional Logic Programming
- International Workshop on Reduction Strategies in Rewriting and Programming, (WRS'01), Utrecht
- Cited by 15 (10 self) – Add To MetaCart
-
From Reduction-Based to Reduction-Free Normalization
- of an invited article to appear in the proceedings of the Fourth International Workshop on Reduction Strategies
- Cited by 4 (4 self) – Add To MetaCart
-
Constant Propagation
- . In B. Gramlich and S. Lucas (editors) Second International Workshop on Reduction Strategies
- Add To MetaCart
-
Regular Sets of Descendants by Leftmost Strategy
- is not arbitrary), but allows rewrite rules forbidden by the other papers 5 . Reduction strategies in rewriting
- Cited by 1 (1 self) – Add To MetaCart

