Spoofax
latest
The Spoofax Language Workbench
Examples
Publications
Tutorials
Installing Spoofax
Creating a Language Project
Using the API
Getting Support
Language Definition Reference
Language Definition with Spoofax
1. Syntax Definition
2. Abstract Syntax
3. Transformation
4. Static Semantics
5. Dynamic Semantics
6. Editor Services
7. Testing
8. Exercises
Abstract Syntax with ATerms
Syntax Definition with SDF3
Static Semantics with NaBL2
Static Semantics with Statix
Data-Flow Analysis with FlowSpec
Transformation with Stratego
Dynamic Semantics with DynSem
Editor Services with ESV
Language Testing with SPT
Language Development Reference
Build and Develop Languages
Configure Languages
Running Languages from Command-line
Programmatic API
Developing Spoofax
Releases
Latest Stable Release
Development Release
Release Archive
Migration Guides
Contributions
Contributions
Spoofax
Docs
»
Language Definition with Spoofax
»
7. Testing
Edit on GitHub
7. Testing
ΒΆ
Read the Docs
v: latest
Versions
latest
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.