The Stratego Reference Manual (2000)

by Eelco Visser , Eelco Visser
Venue:Utrecht University
Citations:5 - 3 self

Active Bibliography

6 The Stratego Tutorial – Eelco Visser, Eelco Visser - 2000
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
Strategies in Automated Deduction (STRATEGIES'99) – Bernhard Gramlich, Hélène Kirchner, Frank Pfenning (eds.) - 1999
2 The Stratego Compiler – Eelco Visser - 1999
5 Guiding Visitors: Separating Navigation from Computation – Martin Bravenboer, Eelco Visser - 2001
34 Strategic Pattern Matching – Eelco Visser - 1999
25 Typed generic traversal with term rewriting strategies – Ralf Lämmel - 2002
4 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
Programming errors in traversal . . . – Ralf Lämmel , Simon Thompson , Markus Kaiser
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
13 The essence of strategic programming – Ralf Lämmel, Eelco Visser, Joost Visser - 2002
17 Scoped Dynamic Rewrite Rules – Eelco Visser - 2001
Progress - A Transformation Factory For Digital Signal Processing Software – S.D. Swierstra, E. Visser, J. Fokker, Dr. E. Visser, Drs J. Fokker
132 Stratego: A Language for Program Transformation based on Rewriting Strategies - System Description of Stratego 0.5 – Eelco Visser - 2001
3 An update calculus for expressing type-safe program updates – Martin Erwig, Deling Ren - 2007
10 A Rule-Based Language for Programming Software Updates – Martin Erwig, Deling Ren - 2002
16 CodeBoost: A framework for the transformation of C++ programs – Otto Skrove Bagge, Magne Haveraaen, Eelco Visser - 2001
6 Matching Objects Without Language Extension – Joost Visser - 2006