Skip to content

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: October 17, 2024
Created: October 17, 2024