Naming conventions are important in any platform. If the naming conventions are followed in the library and by the developers of a project, you can remember the name ...

The prim construct in Stratego allows calls to 'primitive' functions. This makes it easy to include external library functionality without further language extensions ...

The newname strategy is a variant of the new strategy, which generates a new unique string. Newname generates unique strings, just like new, but it also accepts a ...

The non-deterministic local choice operator s1 s2 chooses one of the strategies s1 or s2 to apply. If the one chose fails, the other one is tried. The operator is ...

A term is in normal form if no rule applies anywhere within the term. This implies that rules are applied everywhere in a term. This is not always appropriate. In ...