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:10 - 7 self

Document Versions

Fusing Logic and Control with Local Transformations: An Example Optimization –Patricia Johann, Eelco Visser — 2001 — Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
Fusing Logic and Control with Local Transformations: An Example Optimization –Patricia Johann, Eelco Visser — 2001 — Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
Fusing logic and control with local transformations: An example optimization –Patricia Johann, Eelco Visser — 2001 — Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
Fusing logic and control with local transformations: An example optimization –Patricia Johann, Eelco Visser — 2001 — Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
Fusing logic and control with local transformations: An example optimization –Patricia Johann, Eelco Visser — 2001 — Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science