Skip to content


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: July 3, 2024
Created: July 3, 2024