Share This Author
Stratego/XT 0.17. A language and toolset for program transformation
Stratego: A Language for Program Transformation Based on Rewriting Strategies
- E. Visser
- Computer ScienceRTA
- 22 May 2001
Using a standard strategy for normalizing a program with a set of rewrite rules is not adequate for implementing program transformation systems, so restrictions may be necessary to apply a rule only in some phase of a transformation.
Building program optimizers with rewriting strategies
An extended language in which the side-conditions and contextual rules that arise in realistic optimizer specifications can themselves be expressed as strategy-driven rewrites, and a low-level core language which has a clear semantics, can be implemented straightforwardly and can itself be optimized.
Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9
- E. Visser
- Computer ScienceDomain-Specific Program Generation
This chapter gives an overview of the main ingredients involved in the composition of transformation systems with Stratego/XT, where the abstraction levels of rules, strategies, tools, and systems are distinguished.
The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions
MetaBorg is described, a method for providing concrete syntax for domain abstractions to application programmers by embedding domain-specific languages in a general purpose host language and assimilating the embedded domain code into the surrounding host code.
Disambiguation Filters for Scannerless Generalized LR Parsers
This combination of generalized LR parsing and scannerless parsing supports syntax definitions in which all aspects of the syntax of a language are defined explicitly in one formalism, thus allowing a natural syntax tree structure.
A survey of strategies in rule-based program transformation systems
- E. Visser
- Computer ScienceJ. Symb. Comput.
- 1 July 2005
Nix: A Safe and Policy-Free System for Software Deployment
Nix is presented, a deployment system that addresses safety and flexibility issues through a simple technique of using cryptographic hashes to compute unique paths for component instances.