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

Documents Related by Co-Citation

72 Language Prototyping: An Algebraic Specification Approach – A van Deursen, J Heering, P Klint, Eds - 1996
106 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
118 Modern Compiler Implementation in ML – A W Appel - 1998
93 Efficient annotated terms – M. G. J. van den Brand, Hayco De Jong, Paul Klint, Pieter Olivier - 2000
27 Abstract programming and program transformation – J M Boyle - 1989
24 The TAMPR program transforming system: Simplifying the development of numerical software – J M Boyle, T J Harmer, V L Winter - 1997
41 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
73 Generation of Components for Software Renovation Factories from Context-free Grammars – Mark Van Den Brand, Alex Sellink, Chris Verhoef
51 Term Rewriting With Traversal Functions – M.G.J. van den Brand, P. Klint, J. J. Vinju - 2001
22 A Core Language for Rewriting – Eelco Visser, Zine-el-abidine Benaissa - 1998
1224 Introduction to functional programming – Philip Wadler - 1995
18 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
120 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
81 ELAN: A logical framework based on computational systems – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek - 1997
843 Advanced Compiler Design and Implementation – S Muchnick - 1997
4 Compilation de règles de réécritures et de stratégies nondéterministes. Thèse de Doctorat d’Université, Université Henri Poincaré – Nancy 1 – Pierre-Etienne Moreau - 1999
24 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
4 Strategies for Fusing Logic and Control via Local, Application-Specific Transformations – Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser - 2003
3 The PROGRES Language Manual Version 9.x – A Schürr - 2004