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
    • Stratego Tutorial/Reference
    • The Stratego Library
      • 1. Introduction
      • 2. Arithmetic Operations
      • 3. Lists
      • 4 Strings
      • 5 Hashtables and Sets
      • 6 I/O
    • Concrete Syntax in Stratego Transformations
    • Incremental Compilation for 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 »
  • Transformation with Stratego »
  • The Stratego Library
  • Edit on GitHub

The Stratego LibraryΒΆ

  • 1. Introduction
  • 2. Arithmetic Operations
  • 3. Lists
  • 4 Strings
  • 5 Hashtables and Sets
  • 6 I/O
Next Previous

© Copyright 2016-2020, MetaBorg Revision cca02531.

Built with Sphinx using a theme provided by Read the Docs.
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.