Reference

These are the Spoofax and meta-language references. For more background information on the ideas, architecture, and design decisions behind Spoofax and its meta-languages, see the Background section.

Spoofax meta-languages

The following meta-languages are part of Spoofax. Note that some of the Spoofax meta-languages listed below have been superseded, and their use is now deprecated.

Syntax
SDF3	Reference Sources	Recommended
SDF2	Reference Sources	Available

Static Semantics
Statix	Reference Sources	Recommended
NaBL2	Reference Sources	Deprecated
NaBL	Reference Sources	Deprecated
TS	Reference Sources	Deprecated

Term Transformations
Stratego 2	Reference Sources	Recommended
Stratego	Reference Sources	Available

Testing
SPT	Reference Sources	Recommended

Dynamic Semantics
Dynamix	Reference Sources	Available
DynSem	Reference Sources	Available

Editor Services
ESV	Reference Sources	Available

Data Flow Analysis
FlowSpec	Reference Sources	Available

Build System
PIE	Reference Sources	Not Supported
Cfg	Reference Sources	Not Supported

Languages

The following language projects are among those developed using Spoofax.

Languages
Java Front	Reference Sources	Maintained

---

Last update: January 28, 2025
Created: January 28, 2025