Background

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

---

Last update: April 19, 2024
Created: April 19, 2024