Fusing Logic and Control with Local Transformations: An Example Optimization (2001)

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