Skip to content

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