strategoxt | The Stratego program transformation language

strategoxt is a C library. strategoxt has no bugs, it has no vulnerabilities, it has a Permissive License and it has low support. You can download it from GitHub.

,-----------. | : | | /|\ | strategoxt | / | \ | | / | \ | stratego@cs.uu.nl | ///_\ | `-----------'. stratego is a modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. in stratego, basic transformation rules are expressed by means of labeled conditional rewrite rules. exhaustively applying all rewrite rules in a collection of valid rules is often not desirable; a system of rules can be non-terminating, or, more frequently, non-confluent. the latter means that different outcomes of the normalization process are possible depending on the position of application and the selection of rules. therefore, it is necessary to have more control over the application of rules. in standard systems based on rewriting, normalization is controlled by a fixed default rewriting strategy. in such systems more control is achieved by encoding the desired strategy with additional rewrite rules that spell out a traversal over the abstract syntax tree and apply the transformations in the desired order. to control the application of transformation rules, stratego provides a language for defining rewriting strategies based on primitives for sequential programming and abstract syntax tree traversal. a rewriting strategy selects a number of rules from the available rules and defines in what order these rules are applied to a program