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
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 »
Static Semantics Definition with NaBL2 »
6. Bibliography
Edit on GitHub

6. Bibliography¶

Relevant papers.

Next Previous

© Copyright 2016-2022, MetaBorg Revision 00805f91.

Built with Sphinx using a theme provided by Read the Docs.