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
Science of Computer Programming ( ) – – Ralf Lämmel A, Simon Thompson B, Markus Kaiser A
5 Generic type-preserving traversal strategies – Ralf Lämmel - 2001
Abstract – Ralf Lämmel - 2002
26 Typed Generic Traversal With Term Rewriting Strategies – Ralf Lämmel - 2002
26 Language Independent Traversals for Program Transformation – Eelco Visser - 2000
13 The essence of strategic programming – Ralf Lämmel, Eelco Visser, Joost Visser - 2002
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
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
Progress - A Transformation Factory For Digital Signal Processing Software – S.D. Swierstra, E. Visser, J. Fokker, Dr. E. Visser, Drs J. Fokker
11 A Rule-Based Language for Programming Software Updates – Martin Erwig, Deling Ren - 2002
3 An update calculus for expressing type-safe program updates – Martin Erwig, Deling Ren - 2007
16 CodeBoost: A framework for the transformation of C++ programs – Otto Skrove Bagge, Magne Haveraaen, Eelco Visser - 2001