Stratego Semantics

Stratego -- Strategies for Program Transformation
The semantics of the core of Stratego is described in BuildingProgramOptimizersWithRewritingStrategies and ACoreLanguageForRewriting. Since those papers were written many new features have been added. Their semantics should be documented.

-- EelcoVisser - 09 Dec 2001


CategoryToDo? | ToDo