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. -- Main.EelcoVisser - 09 Dec 2001
------ CategoryToDo | ToDo