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

Revision: r1.1 - 09 Dec 2001 - 21:29 - EelcoVisser
Stratego > ToDo > StrategoSemantics
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback