This section contains information on the ideas, architecture, and design decisions behind Spoofax. For the Spoofax language reference, see the References section.
Publications: References to papers about the design and implementation of various aspects of Spoofax
Statix: More about the Statix language for Static semantics definition
- Stratego: Motivation for the design of the Stratego transformation language
- Documentation: Explanation of how this documentation works
Created: September 15, 2023