Computer Science – Programming Languages
Scientific paper
2010-01-26
EPTCS 15, 2010
Computer Science
Programming Languages
Scientific paper
10.4204/EPTCS.15
This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which was held in Brasilia on the 28th June 2009, associated to RTA 2009 (the 20th International Conference on Rewriting Techniques and Applications) at RDP, the Federated Conference on Rewriting, Deduction and Programming. Reduction strategies define which (sub)expression(s) should be selected for evaluation and which rule(s) should be applied. These choices affect fundamental properties of reductions, such as completeness, laziness and efficiency in general. The WRS workshops promote research and collaboration in the area of reduction strategies and their applications in specification and programming, theorem proving, software engineering, etc.
No associations
LandOfFree
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-643878