A Survey of Rewriting Strategies in Program Transformation Systems (2001)

by Eelco Visser
Venue:In Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
Citations:24 - 1 self