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

Documents Related by Co-Citation

110 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
73 editors. Language Prototyping: An Algebraic Specification Approach – A van Deursen, J Heering, P Klint
59 Term Rewriting With Traversal Functions – M.G.J. van den Brand, P. Klint, J. J. Vinju - 2001
131 Modern Compiler Implementation in ML – A W Appel - 1998
99 Efficient annotated terms – M. G. J. van den Brand, Hayco De Jong, Paul Klint, Pieter Olivier - 2000
25 A Core Language for Rewriting – Eelco Visser, Zine-el-abidine Benaissa - 1998
1312 Monads for functional programming – Philip Wadler - 1995
30 M.: Abstract Programming and Program Transformation—An Approach to Reusing Programs – James Boyle - 1989
26 The TAMPR program transformation system: simplifying the development of numerical software. Modern software tools for scientific computing – James M Boyle, Terence J Harmer, Victor L Winter - 1997
43 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
74 Generation of Components for Software Renovation Factories from Context-free Grammars – Mark Van Den Brand, Alex Sellink, Chris Verhoef
5 Compilation de règles de réécriture et de stratégies non-déterministes – P-E Moreau - 1999
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
18 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
134 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
86 ELAN: A logical framework based on computational systems – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek - 1997
958 Advanced Compiler Design and Implementation – Steven S Muchnick - 1997
300 Natural semantics – G. Kahn - 1987
11 Prological Language Processing – Ralf Lämmel, et al. - 2001