Current Subject Term

Stratego -- Strategies for Program Transformation

Each rewrite rule or rewriting strategy applies to an implicit subject term. See rules versus strategies for a discussion.